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.HZero

java.lang.Object
  extended by fj.data.hlist.HPre.HNat<HPre.HZero>
      extended by fj.data.hlist.HPre.HZero
Enclosing class:
HPre

public static final class HPre.HZero
extends HPre.HNat<HPre.HZero>

Type-level zero


Method Summary
 Show<HPre.HZero> show()
           
 Integer toInteger()
           
 
Methods inherited from class fj.data.hlist.HPre.HNat
hPred, hSucc, hZero
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

show

public Show<HPre.HZero> show()
Specified by:
show in class HPre.HNat<HPre.HZero>

toInteger

public Integer toInteger()
Specified by:
toInteger in class HPre.HNat<HPre.HZero>

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.