HPre.HSucc (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.HSucc<N extends HPre.HNat<N>>

java.lang.Object
  fj.data.hlist.HPre.HNat<HPre.HSucc<N>>
      fj.data.hlist.HPre.HSucc<N>


Type Parameters:: N - The predecessor of this number.

Enclosing class:: HPre

public static final class HPre.HSucc<N extends HPre.HNat<N>>
extends HPre.HNat<HPre.HSucc<N>>
extends HPre.HNat<HPre.HSucc<N>>

A natural number N + 1

Method Summary
`Show<HPre.HSucc<N>>`	`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.HSucc<N>> show()

Specified by:: show in class HPre.HNat<HPre.HSucc<N extends HPre.HNat<N>>>

toInteger

public Integer toInteger()

Specified by:: toInteger in class HPre.HNat<HPre.HSucc<N extends HPre.HNat<N>>>

Overview

Package