|
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 |
fj.data.hlist
Class HPre.HCond<T,X,Y,Z>
java.lang.Object
fj.data.hlist.HPre.HCond<T,X,Y,Z>
- Type Parameters:
T
- A booleanX
- The type of Z if T is true.Y
- The type of Z if T is false.Z
- A type that is either X or Z, depending on T.
- Enclosing class:
- HPre
public static final class HPre.HCond<T,X,Y,Z>
- extends Object
A type-level conditional. The type of the last parameter is implied by the first three.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
v
public Z v()
hCond
public static <X,Y> HPre.HCond<HPre.HFalse,X,Y,Y> hCond(HPre.HFalse t,
X x,
Y y)
hCond
public static <X,Y> HPre.HCond<HPre.HTrue,X,Y,X> hCond(HPre.HTrue t,
X x,
Y y)
|
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 |