| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.SizedInt
Documentation
Instances
tfp-1.0.0.2: Type-level integers, booleans, lists using type families
| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.SizedInt
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) # | |