Packages

case class Zipper[C, L <: HList, R <: HList, P](prefix: L, suffix: R, parent: P) extends Product with Serializable

Generic Zipper for any type with a representation via Generic.

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Zipper
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Zipper(prefix: L, suffix: R, parent: P)

Type Members

  1. type Self = Zipper[C, L, R, P]

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  6. def delete(implicit delete: Delete[Self]): ops.zipper.Delete.Out

    Removes the element at the cursor.

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

  7. def down(implicit down: Down[Self]): ops.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.

  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. def first(implicit first: First[Self]): ops.zipper.First.Out

    Moves the cursor to the leftmost position.

  11. def get(implicit get: Get[Self]): ops.zipper.Get.Out

    Returns the element at the cursor.

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

  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def insert[E](e: E)(implicit insert: Insert[Self, E]): ops.zipper.Insert.Out

    Inserts a new element to the left of the cursor.

  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. def last(implicit last: Last[Self]): ops.zipper.Last.Out

    Moves the cursor to the rightmost position.

  16. def left(implicit left: Left[Self]): ops.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.

  17. def leftBy(n: Nat)(implicit leftBy: LeftBy[Self, N]): ops.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.

  18. def leftBy[N <: Nat](implicit leftBy: LeftBy[Self, N]): ops.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.

  19. def leftTo[T](implicit leftTo: LeftTo[Self, T]): ops.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.

  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  22. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. val parent: P
  24. val prefix: L
  25. def put[E](e: E)(implicit put: Put[Self, E]): ops.zipper.Put.Out

    Replaces the element at the cursor.

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

  26. def reify(implicit reify: Reify[Self]): ops.zipper.Reify.Out

    Reifies the current level of this Zipper.

  27. def right(implicit right: Right[Self]): ops.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.

  28. def rightBy(n: Nat)(implicit rightBy: RightBy[Self, N]): ops.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.

  29. def rightBy[N <: Nat](implicit rightBy: RightBy[Self, N]): ops.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.

  30. def rightTo[T](implicit rightTo: RightTo[Self, T]): ops.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.

  31. def root(implicit root: Root[Self]): ops.zipper.Root.Out

    Moves the cursor to root of this Zipper.

  32. val suffix: R
  33. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  34. def up(implicit up: Up[Self]): ops.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.

  35. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped