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

Safe HaskellSafe-Inferred

Data.SizedInt

Documentation

data SizedInt nT Source

Instances

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