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

Safe HaskellNone

Data.SizedWord

Documentation

data NaturalT nT => SizedWord nT Source

Instances

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