finite-typelits-0.2.0.0: A type inhabited by finitely many values, indexed by type-level naturals

Index

add 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
cmp 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
combineExponential 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
combineOne 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
combineProduct 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
combineSum 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
combineZero 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
equals 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
Finite 
1 (Type/Class)Data.Finite.Internal.Integral, Data.Finite.Integral
2 (Data Constructor)Data.Finite.Internal.Integral
3 (Type/Class)Data.Finite.Internal, Data.Finite
4 (Data Constructor)Data.Finite.Internal
finite 
1 (Function)Data.Finite.Internal.Integral, Data.Finite.Integral
2 (Function)Data.Finite.Internal, Data.Finite
finiteProxy 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
finites 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
finitesProxy 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
getFinite 
1 (Function)Data.Finite.Internal.Integral, Data.Finite.Integral
2 (Function)Data.Finite.Internal, Data.Finite
intValData.Finite.Internal.Integral, Data.Finite.Integral
isValidFinite 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
KnownIntegralData.Finite.Internal.Integral, Data.Finite.Integral
LimitData.Finite.Internal.Integral
LimitedData.Finite.Internal.Integral, Data.Finite.Integral
modAddData.Finite.Internal.Integral
modMulData.Finite.Internal.Integral
modSubData.Finite.Internal.Integral
modulo 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
moduloProxy 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
multiply 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
natToFinite 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
packFinite 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
packFiniteProxy 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
SaneIntegralData.Finite.Internal.Integral, Data.Finite.Integral
separateExponential 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
separateOne 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
separateProduct 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
separateSum 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
separateZero 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
shift 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
shiftN 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
shiftProxy 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
strengthen 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
strengthenN 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
strengthenProxy 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
sub 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
unshift 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
unshiftN 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
unshiftProxy 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
weaken 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
weakenN 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
weakenProxy 
1 (Function)Data.Finite.Integral
2 (Function)Data.Finite
withIntegralData.Finite.Internal.Integral, Data.Finite.Integral
withLimitedData.Finite.Internal.Integral