Safe Haskell | None |
---|---|
Language | Haskell98 |
Unsigned, fixed sized numbers.
Copyright: (c) 2009 University of Kansas License: BSD3
Maintainer: Andy Gill andygill@ku.edu Stability: unstable Portability: ghc
- data Unsigned ix
- toVector :: forall ix. SingI ix => Unsigned ix -> Vector ix Bool
- fromVector :: SingI ix => Vector ix Bool -> Unsigned ix
- showBits :: SingI ix => Unsigned ix -> String
- type U1 = Unsigned 1
- type U2 = Unsigned 2
- type U3 = Unsigned 3
- type U4 = Unsigned 4
- type U5 = Unsigned 5
- type U6 = Unsigned 6
- type U7 = Unsigned 7
- type U8 = Unsigned 8
- type U9 = Unsigned 9
- type U10 = Unsigned 10
- type U11 = Unsigned 11
- type U12 = Unsigned 12
- type U13 = Unsigned 13
- type U14 = Unsigned 14
- type U15 = Unsigned 15
- type U16 = Unsigned 16
- type U17 = Unsigned 17
- type U18 = Unsigned 18
- type U19 = Unsigned 19
- type U20 = Unsigned 20
- type U21 = Unsigned 21
- type U22 = Unsigned 22
- type U23 = Unsigned 23
- type U24 = Unsigned 24
- type U25 = Unsigned 25
- type U26 = Unsigned 26
- type U27 = Unsigned 27
- type U28 = Unsigned 28
- type U29 = Unsigned 29
- type U30 = Unsigned 30
- type U31 = Unsigned 31
- type U32 = Unsigned 32
Documentation
SingI Nat ix => Bounded (Unsigned ix) | |
SingI Nat ix => Enum (Unsigned ix) | |
Eq (Unsigned ix) | |
SingI Nat ix => Integral (Unsigned ix) | |
SingI Nat ix => Num (Unsigned ix) | |
Ord (Unsigned ix) | |
SingI Nat ix => Read (Unsigned ix) | |
SingI Nat ix => Real (Unsigned ix) | |
Show (Unsigned ix) | |
SingI Nat ix => Ix (Unsigned ix) | |
SingI Nat ix => Bits (Unsigned ix) | |
SingI Nat ix => FiniteBits (Unsigned ix) | |
Typeable (Nat -> *) Unsigned |