Zipper

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. def delete(implicit delete: Delete[Self]): Zipper.Delete.Out

   Removes the element at the cursor.

   Removes the element at the cursor. Available only if the underlying HList is non-empty.

9. def down(implicit down: Down[Self]): Zipper.Down.Out

   Moves the cursor down to the next level, placing it at the first element on the left.

   Moves the cursor down to the next level, placing it at the first element on the left. Available only if the element current at the cursor has a representation via Generic.

10. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

11. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

12. def first(implicit first: First[Self]): Zipper.First.Out

    Moves the cursor to the leftmost position.

13. def get(implicit get: Get[Self]): Zipper.Get.Out

    Returns the element at the cursor.

    Returns the element at the cursor. Available only if the underlying HList is non-empty.

14. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

15. def insert[E](e: E)(implicit insert: Insert[Self, E]): Zipper.Insert.Out

    Inserts a new element to the left of the cursor.

16. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

17. def last(implicit last: Last[Self]): Zipper.Last.Out

    Moves the cursor to the rightmost position.

18. def left(implicit left: Left[Self]): Zipper.Left.Out

    Move the cursor one place to the left.

    Move the cursor one place to the left. Available only if not already at the leftmost element.

19. def leftBy(n: Nat)(implicit leftBy: LeftBy[Self, N]): Zipper.LeftBy.Out

    Move the cursor n places to the left.

    Move the cursor n places to the left. Available only if there are n places to the right of the cursor.

20. def leftBy[N <: Nat](implicit leftBy: LeftBy[Self, N]): Zipper.LeftBy.Out

    Move the cursor n places to the left.

    Move the cursor n places to the left. Requires an explicit type argument. Available only if there are n places to the left of the cursor.

21. def leftTo[T](implicit leftTo: LeftTo[Self, T]): Zipper.LeftTo.Out

    Move the cursor to the first element of type T to the left.

    Move the cursor to the first element of type T to the left. Available only if there is an element of type T to the left of the cursor.

22. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

23. final def notify(): Unit

    Definition Classes

    AnyRef

24. final def notifyAll(): Unit

    Definition Classes

    AnyRef

25. val parent: P

26. val prefix: L

27. def put[E](e: E)(implicit put: Put[Self, E]): Zipper.Put.Out

    Replaces the element at the cursor.

    Replaces the element at the cursor. Available only if the underlying HList is non-empty.

28. def reify(implicit reify: Reify[Self]): Zipper.Reify.Out

    Reifies the current level of this Zipper.

29. def right(implicit right: Right[Self]): Zipper.Right.Out

    Move the cursor one place to the right.

    Move the cursor one place to the right. Available only if not already at the rightmost element.

30. def rightBy(n: Nat)(implicit rightBy: RightBy[Self, N]): Zipper.RightBy.Out

    Move the cursor n places to the right.

    Move the cursor n places to the right. Available only if there are n places to the right of the cursor.

31. def rightBy[N <: Nat](implicit rightBy: RightBy[Self, N]): Zipper.RightBy.Out

    Move the cursor n places to the right.

    Move the cursor n places to the right. Requires an explicit type argument. Available only if there are n places to the right of the cursor.

32. def rightTo[T](implicit rightTo: RightTo[Self, T]): Zipper.RightTo.Out

    Move the cursor to the first element of type T to the right.

    Move the cursor to the first element of type T to the right. Available only if there is an element of type T to the right of the cursor.

33. def root(implicit root: Root[Self]): Zipper.Root.Out

    Moves the cursor to root of this Zipper.

34. val suffix: R

35. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

36. def up(implicit up: Up[Self]): Zipper.Up.Out

    Moves the cursor up to the next level.

    Moves the cursor up to the next level. The element at the new cursor position will be updated with the reification of the current level.

37. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

38. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

39. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )