core
API
Generated with
core/org.hungerford.generic.schema.types/Zipper

Zipper

org.hungerford.generic.schema.types.Zipper$
See theZipper companion trait
object Zipper

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Zipper.type

Members list

Concise view

Type members

Types

type Aux[A, B, Res] = Zipper[A, B] { type Out = Res; }

Givens

Givens

inline given `given_Zipper_*:_*:`[HeadL, TailL <: Tuple, HeadR, TailR <: Tuple, Res <: Tuple](using zip: Aux[TailL, TailR, Res]): `given_Zipper_*:_*:`[HeadL, TailL, HeadR, TailR, Res]
inline given given_Zipper_EmptyTuple_EmptyTuple: given_Zipper_EmptyTuple_EmptyTuple
Generated with