Cgm.Data.Len

Documentation

data Len u n

Instances

Typeable2 Len

Functor (Len u)

Bounded n => Bounded (Len u n)

Enum n => Enum (Len u n)

Eq n => Eq (Len u n)

Integral n => Integral (Len u n)

Num n => Num (Len u n)

Ord n => Ord (Len u n)

Real n => Real (Len u n)

Show n => Show (Len u n)

Structured (Len u0 n0)

Super a b => Super (Len u a) (Len u b)

showLen :: forall n u. (Show n, LgMultiple u Bool) => Len u n -> String

bitLen :: Integral a => Len Bool a

word8 :: Integral a => Len Word8 a

word16 :: Integral a => Len Word16 a

word32 :: Integral a => Len Word32 a

word64 :: Integral a => Len Word64 a

word :: Integral a => Len Word a

class LgMultiple a b where

Methods

lgMul :: LgMul a b

Instances

LgMultiple Bool Bool

LgMultiple Word Bool

LgMultiple Word Word8

LgMultiple Word Word16

LgMultiple Word Word32

LgMultiple Word8 Bool

LgMultiple Word8 Word8

LgMultiple Word16 Bool

LgMultiple Word16 Word8

LgMultiple Word16 Word16

LgMultiple Word32 Bool

LgMultiple Word32 Word8

LgMultiple Word32 Word16

LgMultiple Word32 Word32

LgMultiple Word64 Bool

LgMultiple Word64 Word

LgMultiple Word64 Word8

LgMultiple Word64 Word16

LgMultiple Word64 Word32

LgMultiple Word64 Word64

unsafeLen :: n -> Len u n

getLen :: Len u n -> n

wordLenB :: WordConv a => Bijection' (Len Word b) (Len a b)

bitSizeLen :: forall a b. (Bits a, Integral b) => Tagged a (Len Bool b)

refineLen :: forall u v n. (Bits n, LgMultiple u v) => Len u n -> Len v n

coarsenLen :: forall u v n. (Bits n, LgMultiple v u) => Len u n -> Len v n

coarseRem :: forall u v n. (Bits n, LgMultiple v u) => Len u n -> (Len v n, Len u n)

ceilDivPower2 :: Bits a => Int -> a -> a

roundUpPower2 :: Bits a => Int -> a -> a