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

Index

addData.Finite
cmpData.Finite
combineProductData.Finite
combineSumData.Finite
equalsData.Finite
Finite 
1 (Type/Class)Data.Finite.Internal, Data.Finite
2 (Data Constructor)Data.Finite.Internal
finiteData.Finite.Internal, Data.Finite
finiteProxyData.Finite
finitesData.Finite
finitesProxyData.Finite
getFiniteData.Finite.Internal, Data.Finite
isValidFiniteData.Finite
multiplyData.Finite
natToFiniteData.Finite
packFiniteData.Finite
packFiniteProxyData.Finite
separateProductData.Finite
separateSumData.Finite
shiftData.Finite
shiftNData.Finite
shiftProxyData.Finite
strengthenData.Finite
strengthenNData.Finite
strengthenProxyData.Finite
subData.Finite
unshiftData.Finite
unshiftNData.Finite
unshiftProxyData.Finite
weakenData.Finite
weakenNData.Finite
weakenProxyData.Finite