Uses of Class
com.jnape.palatable.lambda.adt.hlist.HList.HCons
-
Packages that use HList.HCons Package Description com.jnape.palatable.lambda.adt.hlist com.jnape.palatable.lambda.adt.hmap com.jnape.palatable.lambda.optics.lenses -
-
Uses of HList.HCons in com.jnape.palatable.lambda.adt.hlist
Classes in com.jnape.palatable.lambda.adt.hlist with type parameters of type HList.HCons Modifier and Type Class Description class
Index<Target,TargetList extends HList.HCons<?,?>>
HList indexes representing a value at arbitrary depth in some compatible HList.private static class
Index.N<Target,Head,List extends HList.HCons<?,?>,PreviousIndex extends Index<Target,List>>
Subclasses of HList.HCons in com.jnape.palatable.lambda.adt.hlist Modifier and Type Class Description class
SingletonHList<_1>
A singleton HList.class
Tuple2<_1,_2>
A 2-element tuple product type, implemented as a specialized HList.class
Tuple3<_1,_2,_3>
A 3-element tuple product type, implemented as a specialized HList.class
Tuple4<_1,_2,_3,_4>
A 4-element tuple product type, implemented as a specialized HList.class
Tuple5<_1,_2,_3,_4,_5>
A 5-element tuple product type, implemented as a specialized HList.class
Tuple6<_1,_2,_3,_4,_5,_6>
A 6-element tuple product type, implemented as a specialized HList.class
Tuple7<_1,_2,_3,_4,_5,_6,_7>
A 7-element tuple product type, implemented as a specialized HList.class
Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>
An 8-element tuple product type, implemented as a specialized HList.Methods in com.jnape.palatable.lambda.adt.hlist with type parameters of type HList.HCons Modifier and Type Method Description <L extends HList.HCons<Head,? extends List>>
LIndex.N. set(Target newElement, L hList)
<L extends HList.HCons<Target,?>>
LIndex.Z. set(Target newElement, L hList)
Methods in com.jnape.palatable.lambda.adt.hlist that return HList.HCons Modifier and Type Method Description static <Head,Tail extends HList>
HList.HCons<Head,Tail>HList. cons(Head head, Tail tail)
Static factory method for creating an HList from the given head and tail.abstract <NewHead> HList.HCons<NewHead,? extends HList>
HList. cons(NewHead newHead)
Cons an element onto the front of this HList.<NewHead> HList.HCons<NewHead,? extends HList.HCons<Head,Tail>>
HList.HCons. cons(NewHead newHead)
<_0> HList.HCons<_0,Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>>
Tuple8. cons(_0 _0)
Cons an element onto the front of this HList.<_9> HList.HCons<_1,Tuple8<_2,_3,_4,_5,_6,_7,_8,_9>>
Tuple8. snoc(_9 _9)
Snoc an element onto the back of thisTuple8
.Methods in com.jnape.palatable.lambda.adt.hlist that return types with arguments of type HList.HCons Modifier and Type Method Description <NewHead> Index<Target,HList.HCons<NewHead,? extends TargetList>>
Index. after()
Nest this index deeper by one element.<NewHead> HList.HCons<NewHead,? extends HList.HCons<Head,Tail>>
HList.HCons. cons(NewHead newHead)
static <Target> Index<Target,HList.HCons<Target,?>>
Index. index()
Create a root index for a head value of typeTarget
.Methods in com.jnape.palatable.lambda.adt.hlist with parameters of type HList.HCons Modifier and Type Method Description Target
Index.N. get(HList.HCons<Head,? extends List> hList)
Target
Index.Z. get(HList.HCons<Target,?> hList)
-
Uses of HList.HCons in com.jnape.palatable.lambda.adt.hmap
Methods in com.jnape.palatable.lambda.adt.hmap with type parameters of type HList.HCons Modifier and Type Method Description default <A,NewValues extends HList.HCons<A,Values>>
Schema<NewValues>Schema. add(TypeSafeKey<?,A> key)
Add a newTypeSafeKey
to the head of thisSchema
. -
Uses of HList.HCons in com.jnape.palatable.lambda.optics.lenses
Methods in com.jnape.palatable.lambda.optics.lenses with type parameters of type HList.HCons Modifier and Type Method Description static <E,List extends HList.HCons<?,?>>
Lens.Simple<List,E>HListLens. elementAt(Index<E,List> index)
Methods in com.jnape.palatable.lambda.optics.lenses that return types with arguments of type HList.HCons Modifier and Type Method Description static <Head,Tail extends HList>
Lens.Simple<HList.HCons<Head,? extends Tail>,Head>HListLens. head()
Focus on the head of anHList
.static <Head,Tail extends HList>
Lens.Simple<HList.HCons<Head,? extends Tail>,Tail>HListLens. tail()
Focus on the tail of anHList
.
-