cognimeta-utils-0.1.2: Utilities for Cognimeta products (such as perdure). API may change often.

Safe Haskell	None

Cgm.Data.Len

Documentation

data Len u n Source

Instances

Typeable2 Len
Functor (Len u)
Bounded n => Bounded (Len u n)
Enum n => Enum (Len u n)
Eq n => Eq (Len u n)
(Real (Len u n), Enum (Len u n), Integral n) => Integral (Len u n)
Num n => Num (Len u n)
(Eq (Len u n), Ord n) => Ord (Len u n)
(Num (Len u 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 Source

bitLen :: Integral a => Len Bool aSource

word8 :: Integral a => Len Word8 aSource

word16 :: Integral a => Len Word16 aSource

word32 :: Integral a => Len Word32 aSource

word64 :: Integral a => Len Word64 aSource

word :: Integral a => Len Word aSource

unsafeLen :: n -> Len u nSource

getLen :: Len u n -> nSource

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

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

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

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

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

ceilDivPower2 :: (Num a, Bits a) => Int -> a -> aSource

roundUpPower2 :: (Num a, Bits a) => Int -> a -> aSource