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

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.SizedWord

Documentation

data SizedWord nT Source

Instances

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