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
.
- Alphabetic
- By Inheritance
- Zipper
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Zipper(prefix: L, suffix: R, parent: P)
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- 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. - 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
. - final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def first(implicit first: First[Self]): ops.zipper.First.Out
Moves the cursor to the leftmost position.
- 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. - final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def insert[E](e: E)(implicit insert: Insert[Self, E]): ops.zipper.Insert.Out
Inserts a new element to the left of the cursor.
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def last(implicit last: Last[Self]): ops.zipper.Last.Out
Moves the cursor to the rightmost position.
- 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.
- 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.
- 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.
- 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 typeT
to the left of the cursor. - final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- val parent: P
- val prefix: L
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- 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. - def reify(implicit reify: Reify[Self]): ops.zipper.Reify.Out
Reifies the current level of this
Zipper
. - 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.
- 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.
- 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.
- 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 typeT
to the right of the cursor. - def root(implicit root: Root[Self]): ops.zipper.Root.Out
Moves the cursor to root of this Zipper.
- val suffix: R
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- 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.
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()