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.

fj.data.hlist
Class HPre.HCond<T,X,Y,Z>

java.lang.Object
  extended by fj.data.hlist.HPre.HCond<T,X,Y,Z>
Type Parameters:
T - A boolean
X - 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.


Method Summary
static
<X,Y> HPre.HCond<HPre.HFalse,X,Y,Y>
hCond(HPre.HFalse t, X x, Y y)
           
static
<X,Y> HPre.HCond<HPre.HTrue,X,Y,X>
hCond(HPre.HTrue t, X x, Y y)
           
 Z v()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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.