HPre.HNat (Functional Java 2.22)

Class

Tree

Index

Help

Copyright 2008 - 2010 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.HNat<A extends HPre.HNat<A>>

java.lang.Object
  fj.data.hlist.HPre.HNat<A>

Direct Known Subclasses:: HPre.HSucc, HPre.HZero

Enclosing class:: HPre

public abstract static class HPre.HNat<A extends HPre.HNat<A>>
extends Object
extends Object

Type-level natural numbers.

Constructor Summary
`HPre.HNat()`

Method Summary

static



<N extends HPre.HNat<N>> 


N

hPred(HPre.HSucc<N> n)

static



<N extends HPre.HNat<N>> 


HPre.HSucc<N>

hSucc(N n)

static HPre.HZero hZero()

abstract Show<A> show()

abstract Integer toInteger()

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

HPre.HNat

public HPre.HNat()

Method Detail

show

public abstract Show<A> show()

toInteger

public abstract Integer toInteger()

hZero

public static HPre.HZero hZero()

hSucc

public static <N extends HPre.HNat<N>> HPre.HSucc<N> hSucc(N n)

hPred

public static <N extends HPre.HNat<N>> N hPred(HPre.HSucc<N> n)

Overview

Package