tfp-1.0: Type-level integers, booleans, lists using type families

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.SizedInt

Documentation

data SizedInt nT Source

Instances

Natural nT => Bounded (SizedInt nT) 
Natural nT => Enum (SizedInt nT) 
Natural nT => Eq (SizedInt nT) 
Natural nT => Integral (SizedInt nT) 
Natural nT => Num (SizedInt nT) 
Natural nT => Ord (SizedInt nT) 
Natural nT => Read (SizedInt nT) 
Natural nT => Real (SizedInt nT) 
Natural nT => Show (SizedInt nT) 
Natural nT => Bits (SizedInt nT)