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.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>

java.lang.Object
  extended by fj.data.hlist.HPre.HAnd<A,B,C>
Type Parameters:
A - A boolean
B - A boolean
C - The logical implication of A and B
Enclosing class:
HPre

public static final class HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
extends Object

Type-level boolean conjunction. A value of this type represents evidence that AB -> C


Method Summary
static HPre.HAnd<HPre.HFalse,HPre.HFalse,HPre.HFalse> hAnd(HPre.HFalse a, HPre.HFalse b)
           
static HPre.HAnd<HPre.HFalse,HPre.HTrue,HPre.HFalse> hAnd(HPre.HFalse a, HPre.HTrue b)
           
static HPre.HAnd<HPre.HTrue,HPre.HFalse,HPre.HFalse> hAnd(HPre.HTrue a, HPre.HFalse b)
           
static HPre.HAnd<HPre.HTrue,HPre.HTrue,HPre.HTrue> hAnd(HPre.HTrue a, HPre.HTrue b)
           
 C v()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

v

public C v()

hAnd

public static HPre.HAnd<HPre.HFalse,HPre.HFalse,HPre.HFalse> hAnd(HPre.HFalse a,
                                                                  HPre.HFalse b)

hAnd

public static HPre.HAnd<HPre.HTrue,HPre.HFalse,HPre.HFalse> hAnd(HPre.HTrue a,
                                                                 HPre.HFalse b)

hAnd

public static HPre.HAnd<HPre.HFalse,HPre.HTrue,HPre.HFalse> hAnd(HPre.HFalse a,
                                                                 HPre.HTrue b)

hAnd

public static HPre.HAnd<HPre.HTrue,HPre.HTrue,HPre.HTrue> hAnd(HPre.HTrue a,
                                                               HPre.HTrue b)

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.