Data.Finite

data Finite n

packFinite

packFiniteProxy

finite

finiteProxy

getFinite

finites

finitesProxy

equals

cmp

natToFinite

weaken

strengthen

shift

unshift

weakenN

strengthenN

shiftN

unshiftN

weakenProxy

strengthenProxy

shiftProxy

unshiftProxy

add

sub

multiply

combineSum

combineProduct

separateSum

separateProduct

isValidFinite