tfp-0.4: Type-level programming library using type families

Safe HaskellNone

Data.SizedInt

Documentation

data NaturalT nT => 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)