|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfj.data.hlist.HList.Apply<F$,A,R>
F$
- The type of the function to apply.A
- The domain of the function.R
- The function's codomain.public abstract static class HList.Apply<F$,A,R>
Type-level function application operators.
Constructor Summary | |
---|---|
HList.Apply()
|
Method Summary | ||
---|---|---|
static
|
append()
A function application operator for concatenating heterogeneous lists. |
|
abstract R |
apply(F$ f,
A a)
|
|
static
|
comp()
A function application operator for function composition. |
|
static
|
cons()
An operator for the construction of heterogeneous lists. |
|
static
|
f()
Function application operator. |
|
static
|
id()
Identity operator |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public HList.Apply()
Method Detail |
---|
public abstract R apply(F$ f, A a)
public static <X,Y> HList.Apply<F<X,Y>,X,Y> f()
public static <X> HList.Apply<Unit,X,X> id()
public static <X,Y,Z> HList.Apply<Unit,P2<F<X,Y>,F<Y,Z>>,F<X,Z>> comp()
X
- The domain.Y
- The type through which to compose.Z
- The codomain.
public static <E,L extends HList<L>> HList.Apply<Unit,P2<E,L>,HList.HCons<E,L>> cons()
public static <A,B,C> HList.Apply<HList.HAppend<A,B,C>,P2<A,B>,C> append()
A
- The type of the list to which to append.B
- The type of the list to append.C
- The type of the concatenated list.
|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |