Haskus.Number.Word

Unsigned primitive words

Documentation

type family WordAtLeast (n :: Nat) where ...

Return a Word with at least n bits

Equations

WordAtLeast n = If (n <=? 8) Word8 (If (n <=? 16) Word16 (If (n <=? 32) Word32 (Assert (n <=? 64) Word64 (Text "Cannot find Word with size " :<>: ShowType n))))

type family WordN (n :: Nat) where ...

Return a Word with exactly n bits

Equations

WordN 8 = Word8

WordN 16 = Word16

WordN 32 = Word32

WordN 64 = Word64

WordN n = TypeError (Text "Cannot find Word with size " :<>: ShowType n)

Unlifted

module GHC.Word

data Word# :: TYPE WordRep

plusWord# :: Word# -> Word# -> Word#

minusWord# :: Word# -> Word# -> Word#

ltWord# :: Word# -> Word# -> Int#

leWord# :: Word# -> Word# -> Int#

gtWord# :: Word# -> Word# -> Int#

geWord# :: Word# -> Word# -> Int#

eqWord# :: Word# -> Word# -> Int#