Foundation.Primitive

Different collections (list, vector, string, ..) unified under 1 API. an API to rules them all, and in the darkness bind them.

Documentation

class Eq ty => PrimType ty where

Represent the accessor for types that can be stored in the UArray and MUArray.

Types need to be a instance of storable and have fixed sized.

Minimal complete definition

primSizeInBytes, primBaUIndex, primMbaURead, primMbaUWrite, primAddrIndex, primAddrRead, primAddrWrite

Methods

primSizeInBytes :: Proxy ty -> Size8

get the size in bytes of a ty element

primBaUIndex :: ByteArray# -> Offset ty -> ty

return the element stored at a specific index

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset ty -> prim ty

Read an element at an index in a mutable array

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset ty -> ty -> prim ()

Write an element to a specific cell in a mutable array.

primAddrIndex :: Addr# -> Offset ty -> ty

Read from Address, without a state. the value read should be considered a constant for all pratical purpose, otherwise bad thing will happens.

primAddrRead :: PrimMonad prim => Addr# -> Offset ty -> prim ty

Read a value from Addr in a specific primitive monad

primAddrWrite :: PrimMonad prim => Addr# -> Offset ty -> ty -> prim ()

Write a value to Addr in a specific primitive monad

Instances

PrimType Char

Methods

primSizeInBytes :: Proxy * Char -> Size8

primBaUIndex :: ByteArray# -> Offset Char -> Char

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Char -> prim Char

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Char -> Char -> prim ()

primAddrIndex :: Addr# -> Offset Char -> Char

primAddrRead :: PrimMonad prim => Addr# -> Offset Char -> prim Char

primAddrWrite :: PrimMonad prim => Addr# -> Offset Char -> Char -> prim ()

PrimType Double

Methods

primSizeInBytes :: Proxy * Double -> Size8

primBaUIndex :: ByteArray# -> Offset Double -> Double

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Double -> prim Double

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Double -> Double -> prim ()

primAddrIndex :: Addr# -> Offset Double -> Double

primAddrRead :: PrimMonad prim => Addr# -> Offset Double -> prim Double

primAddrWrite :: PrimMonad prim => Addr# -> Offset Double -> Double -> prim ()

PrimType Float

Methods

primSizeInBytes :: Proxy * Float -> Size8

primBaUIndex :: ByteArray# -> Offset Float -> Float

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Float -> prim Float

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Float -> Float -> prim ()

primAddrIndex :: Addr# -> Offset Float -> Float

primAddrRead :: PrimMonad prim => Addr# -> Offset Float -> prim Float

primAddrWrite :: PrimMonad prim => Addr# -> Offset Float -> Float -> prim ()

PrimType Int

Methods

primSizeInBytes :: Proxy * Int -> Size8

primBaUIndex :: ByteArray# -> Offset Int -> Int

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int -> prim Int

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int -> Int -> prim ()

primAddrIndex :: Addr# -> Offset Int -> Int

primAddrRead :: PrimMonad prim => Addr# -> Offset Int -> prim Int

primAddrWrite :: PrimMonad prim => Addr# -> Offset Int -> Int -> prim ()

PrimType Int8

Methods

primSizeInBytes :: Proxy * Int8 -> Size8

primBaUIndex :: ByteArray# -> Offset Int8 -> Int8

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int8 -> prim Int8

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int8 -> Int8 -> prim ()

primAddrIndex :: Addr# -> Offset Int8 -> Int8

primAddrRead :: PrimMonad prim => Addr# -> Offset Int8 -> prim Int8

primAddrWrite :: PrimMonad prim => Addr# -> Offset Int8 -> Int8 -> prim ()

PrimType Int16

Methods

primSizeInBytes :: Proxy * Int16 -> Size8

primBaUIndex :: ByteArray# -> Offset Int16 -> Int16

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int16 -> prim Int16

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int16 -> Int16 -> prim ()

primAddrIndex :: Addr# -> Offset Int16 -> Int16

primAddrRead :: PrimMonad prim => Addr# -> Offset Int16 -> prim Int16

primAddrWrite :: PrimMonad prim => Addr# -> Offset Int16 -> Int16 -> prim ()

PrimType Int32

Methods

primSizeInBytes :: Proxy * Int32 -> Size8

primBaUIndex :: ByteArray# -> Offset Int32 -> Int32

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int32 -> prim Int32

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int32 -> Int32 -> prim ()

primAddrIndex :: Addr# -> Offset Int32 -> Int32

primAddrRead :: PrimMonad prim => Addr# -> Offset Int32 -> prim Int32

primAddrWrite :: PrimMonad prim => Addr# -> Offset Int32 -> Int32 -> prim ()

PrimType Int64

Methods

primSizeInBytes :: Proxy * Int64 -> Size8

primBaUIndex :: ByteArray# -> Offset Int64 -> Int64

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int64 -> prim Int64

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int64 -> Int64 -> prim ()

primAddrIndex :: Addr# -> Offset Int64 -> Int64

primAddrRead :: PrimMonad prim => Addr# -> Offset Int64 -> prim Int64

primAddrWrite :: PrimMonad prim => Addr# -> Offset Int64 -> Int64 -> prim ()

PrimType Word

Methods

primSizeInBytes :: Proxy * Word -> Size8

primBaUIndex :: ByteArray# -> Offset Word -> Word

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word -> prim Word

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word -> Word -> prim ()

primAddrIndex :: Addr# -> Offset Word -> Word

primAddrRead :: PrimMonad prim => Addr# -> Offset Word -> prim Word

primAddrWrite :: PrimMonad prim => Addr# -> Offset Word -> Word -> prim ()

PrimType Word8

Methods

primSizeInBytes :: Proxy * Word8 -> Size8

primBaUIndex :: ByteArray# -> Offset Word8 -> Word8

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word8 -> prim Word8

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word8 -> Word8 -> prim ()

primAddrIndex :: Addr# -> Offset Word8 -> Word8

primAddrRead :: PrimMonad prim => Addr# -> Offset Word8 -> prim Word8

primAddrWrite :: PrimMonad prim => Addr# -> Offset Word8 -> Word8 -> prim ()

PrimType Word16

Methods

primSizeInBytes :: Proxy * Word16 -> Size8

primBaUIndex :: ByteArray# -> Offset Word16 -> Word16

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word16 -> prim Word16

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word16 -> Word16 -> prim ()

primAddrIndex :: Addr# -> Offset Word16 -> Word16

primAddrRead :: PrimMonad prim => Addr# -> Offset Word16 -> prim Word16

primAddrWrite :: PrimMonad prim => Addr# -> Offset Word16 -> Word16 -> prim ()

PrimType Word32

Methods

primSizeInBytes :: Proxy * Word32 -> Size8

primBaUIndex :: ByteArray# -> Offset Word32 -> Word32

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word32 -> prim Word32

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word32 -> Word32 -> prim ()

primAddrIndex :: Addr# -> Offset Word32 -> Word32

primAddrRead :: PrimMonad prim => Addr# -> Offset Word32 -> prim Word32

primAddrWrite :: PrimMonad prim => Addr# -> Offset Word32 -> Word32 -> prim ()

PrimType Word64

Methods

primSizeInBytes :: Proxy * Word64 -> Size8

primBaUIndex :: ByteArray# -> Offset Word64 -> Word64

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word64 -> prim Word64

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word64 -> Word64 -> prim ()

primAddrIndex :: Addr# -> Offset Word64 -> Word64

primAddrRead :: PrimMonad prim => Addr# -> Offset Word64 -> prim Word64

primAddrWrite :: PrimMonad prim => Addr# -> Offset Word64 -> Word64 -> prim ()

PrimType CChar

Methods

primSizeInBytes :: Proxy * CChar -> Size8

primBaUIndex :: ByteArray# -> Offset CChar -> CChar

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset CChar -> prim CChar

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset CChar -> CChar -> prim ()

primAddrIndex :: Addr# -> Offset CChar -> CChar

primAddrRead :: PrimMonad prim => Addr# -> Offset CChar -> prim CChar

primAddrWrite :: PrimMonad prim => Addr# -> Offset CChar -> CChar -> prim ()

PrimType CUChar

Methods

primSizeInBytes :: Proxy * CUChar -> Size8

primBaUIndex :: ByteArray# -> Offset CUChar -> CUChar

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset CUChar -> prim CUChar

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset CUChar -> CUChar -> prim ()

primAddrIndex :: Addr# -> Offset CUChar -> CUChar

primAddrRead :: PrimMonad prim => Addr# -> Offset CUChar -> prim CUChar

primAddrWrite :: PrimMonad prim => Addr# -> Offset CUChar -> CUChar -> prim ()

PrimType a => PrimType (BE a)

Methods

primSizeInBytes :: Proxy * (BE a) -> Size8

primBaUIndex :: ByteArray# -> Offset (BE a) -> BE a

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset (BE a) -> prim (BE a)

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset (BE a) -> BE a -> prim ()

primAddrIndex :: Addr# -> Offset (BE a) -> BE a

primAddrRead :: PrimMonad prim => Addr# -> Offset (BE a) -> prim (BE a)

primAddrWrite :: PrimMonad prim => Addr# -> Offset (BE a) -> BE a -> prim ()

PrimType a => PrimType (LE a)

Methods

primSizeInBytes :: Proxy * (LE a) -> Size8

primBaUIndex :: ByteArray# -> Offset (LE a) -> LE a

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset (LE a) -> prim (LE a)

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset (LE a) -> LE a -> prim ()

primAddrIndex :: Addr# -> Offset (LE a) -> LE a

primAddrRead :: PrimMonad prim => Addr# -> Offset (LE a) -> prim (LE a)

primAddrWrite :: PrimMonad prim => Addr# -> Offset (LE a) -> LE a -> prim ()

class (Functor m, Applicative m, Monad m) => PrimMonad m where

Primitive monad that can handle mutation.

For example: IO and ST.

Minimal complete definition

primitive, primThrow, unPrimMonad, primVarNew, primVarRead, primVarWrite

Associated Types

type PrimState m

type of state token associated with the PrimMonad m

type PrimVar m :: * -> *

type of variable associated with the PrimMonad m

Methods

primitive :: (State# (PrimState m) -> (#State# (PrimState m), a#)) -> m a

Unwrap the State# token to pass to a function a primitive function that returns an unboxed state and a value.

primThrow :: Exception e => e -> m a

Throw Exception in the primitive monad

unPrimMonad :: m a -> State# (PrimState m) -> (#State# (PrimState m), a#)

Run a Prim monad from a dedicated state#

primVarNew :: a -> m (PrimVar m a)

Build a new variable in the Prim Monad

primVarRead :: PrimVar m a -> m a

Read the variable in the Prim Monad

primVarWrite :: PrimVar m a -> a -> m ()

Write the variable in the Prim Monad

Instances

PrimMonad IO

Associated Types

type PrimState (IO :: * -> *) :: *

type PrimVar (IO :: * -> *) :: * -> *

Methods

primitive :: (State# (PrimState IO) -> (#VoidRep, PtrRepLifted, State# (PrimState IO), a#)) -> IO a

primThrow :: Exception e => e -> IO a

unPrimMonad :: IO a -> State# (PrimState IO) -> (#VoidRep, PtrRepLifted, State# (PrimState IO), a#)

primVarNew :: a -> IO (PrimVar IO a)

primVarRead :: PrimVar IO a -> IO a

primVarWrite :: PrimVar IO a -> a -> IO ()

PrimMonad (ST s)

Associated Types

type PrimState (ST s :: * -> *) :: *

type PrimVar (ST s :: * -> *) :: * -> *

Methods

primitive :: (State# (PrimState (ST s)) -> (#VoidRep, PtrRepLifted, State# (PrimState (ST s)), a#)) -> ST s a

primThrow :: Exception e => e -> ST s a

unPrimMonad :: ST s a -> State# (PrimState (ST s)) -> (#VoidRep, PtrRepLifted, State# (PrimState (ST s)), a#)

primVarNew :: a -> ST s (PrimVar (ST s) a)

primVarRead :: PrimVar (ST s) a -> ST s a

primVarWrite :: PrimVar (ST s) a -> a -> ST s ()

endianess

class ByteSwap a

Class of types that can be byte-swapped.

e.g. Word16, Word32, Word64

Minimal complete definition

byteSwap

Instances

ByteSwap Word16

Methods

byteSwap :: Word16 -> Word16

ByteSwap Word32

Methods

byteSwap :: Word32 -> Word32

ByteSwap Word64

Methods

byteSwap :: Word64 -> Word64

newtype LE a

Little Endian value

Constructors

LE

Fields

• unLE :: a

Instances

Eq a => Eq (LE a)

Methods

(==) :: LE a -> LE a -> Bool

(/=) :: LE a -> LE a -> Bool

(ByteSwap a, Ord a) => Ord (LE a)

Methods

compare :: LE a -> LE a -> Ordering

(<) :: LE a -> LE a -> Bool

(<=) :: LE a -> LE a -> Bool

(>) :: LE a -> LE a -> Bool

(>=) :: LE a -> LE a -> Bool

max :: LE a -> LE a -> LE a

min :: LE a -> LE a -> LE a

Show a => Show (LE a)

Methods

showsPrec :: Int -> LE a -> ShowS

show :: LE a -> String

showList :: [LE a] -> ShowS

PrimType a => PrimType (LE a)

Methods

primSizeInBytes :: Proxy * (LE a) -> Size8

primBaUIndex :: ByteArray# -> Offset (LE a) -> LE a

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset (LE a) -> prim (LE a)

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset (LE a) -> LE a -> prim ()

primAddrIndex :: Addr# -> Offset (LE a) -> LE a

primAddrRead :: PrimMonad prim => Addr# -> Offset (LE a) -> prim (LE a)

primAddrWrite :: PrimMonad prim => Addr# -> Offset (LE a) -> LE a -> prim ()

StorableFixed (LE Word16)

Methods

size :: proxy (LE Word16) -> Size Word8

alignment :: proxy (LE Word16) -> Size Word8

StorableFixed (LE Word32)

Methods

size :: proxy (LE Word32) -> Size Word8

alignment :: proxy (LE Word32) -> Size Word8

StorableFixed (LE Word64)

Methods

size :: proxy (LE Word64) -> Size Word8

alignment :: proxy (LE Word64) -> Size Word8

Storable (LE Word16)

Methods

peek :: Ptr (LE Word16) -> IO (LE Word16)

poke :: Ptr (LE Word16) -> LE Word16 -> IO ()

Storable (LE Word32)

Methods

peek :: Ptr (LE Word32) -> IO (LE Word32)

poke :: Ptr (LE Word32) -> LE Word32 -> IO ()

Storable (LE Word64)

Methods

peek :: Ptr (LE Word64) -> IO (LE Word64)

poke :: Ptr (LE Word64) -> LE Word64 -> IO ()

toLE :: ByteSwap a => a -> LE a

Convert a value in cpu endianess to little endian

fromLE :: ByteSwap a => LE a -> a

Convert from a little endian value to the cpu endianness

newtype BE a

Big Endian value

Constructors

BE

Fields

• unBE :: a

Instances

Eq a => Eq (BE a)

Methods

(==) :: BE a -> BE a -> Bool

(/=) :: BE a -> BE a -> Bool

(ByteSwap a, Ord a) => Ord (BE a)

Methods

compare :: BE a -> BE a -> Ordering

(<) :: BE a -> BE a -> Bool

(<=) :: BE a -> BE a -> Bool

(>) :: BE a -> BE a -> Bool

(>=) :: BE a -> BE a -> Bool

max :: BE a -> BE a -> BE a

min :: BE a -> BE a -> BE a

Show a => Show (BE a)

Methods

showsPrec :: Int -> BE a -> ShowS

show :: BE a -> String

showList :: [BE a] -> ShowS

PrimType a => PrimType (BE a)

Methods

primSizeInBytes :: Proxy * (BE a) -> Size8

primBaUIndex :: ByteArray# -> Offset (BE a) -> BE a

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset (BE a) -> prim (BE a)

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset (BE a) -> BE a -> prim ()

primAddrIndex :: Addr# -> Offset (BE a) -> BE a

primAddrRead :: PrimMonad prim => Addr# -> Offset (BE a) -> prim (BE a)

primAddrWrite :: PrimMonad prim => Addr# -> Offset (BE a) -> BE a -> prim ()

StorableFixed (BE Word16)

Methods

size :: proxy (BE Word16) -> Size Word8

alignment :: proxy (BE Word16) -> Size Word8

StorableFixed (BE Word32)

Methods

size :: proxy (BE Word32) -> Size Word8

alignment :: proxy (BE Word32) -> Size Word8

StorableFixed (BE Word64)

Methods

size :: proxy (BE Word64) -> Size Word8

alignment :: proxy (BE Word64) -> Size Word8

Storable (BE Word16)

Methods

peek :: Ptr (BE Word16) -> IO (BE Word16)

poke :: Ptr (BE Word16) -> BE Word16 -> IO ()

Storable (BE Word32)

Methods

peek :: Ptr (BE Word32) -> IO (BE Word32)

poke :: Ptr (BE Word32) -> BE Word32 -> IO ()

Storable (BE Word64)

Methods

peek :: Ptr (BE Word64) -> IO (BE Word64)

poke :: Ptr (BE Word64) -> BE Word64 -> IO ()

toBE :: ByteSwap a => a -> BE a

Convert a value in cpu endianess to big endian

fromBE :: ByteSwap a => BE a -> a

Convert from a big endian value to the cpu endianness

Integral convertion

class IntegralUpsize a b where

Upsize an integral value

The destination type b size need to be greater or equal than the size type of a

Minimal complete definition

integralUpsize

Methods

integralUpsize :: a -> b

Instances

IntegralUpsize Int Int64

Methods

integralUpsize :: Int -> Int64

IntegralUpsize Int Integer

Methods

integralUpsize :: Int -> Integer

IntegralUpsize Int8 Int

Methods

integralUpsize :: Int8 -> Int

IntegralUpsize Int8 Int16

Methods

integralUpsize :: Int8 -> Int16

IntegralUpsize Int8 Int32

Methods

integralUpsize :: Int8 -> Int32

IntegralUpsize Int8 Int64

Methods

integralUpsize :: Int8 -> Int64

IntegralUpsize Int8 Integer

Methods

integralUpsize :: Int8 -> Integer

IntegralUpsize Int16 Int

Methods

integralUpsize :: Int16 -> Int

IntegralUpsize Int16 Int32

Methods

integralUpsize :: Int16 -> Int32

IntegralUpsize Int16 Int64

Methods

integralUpsize :: Int16 -> Int64

IntegralUpsize Int16 Integer

Methods

integralUpsize :: Int16 -> Integer

IntegralUpsize Int32 Int

Methods

integralUpsize :: Int32 -> Int

IntegralUpsize Int32 Int64

Methods

integralUpsize :: Int32 -> Int64

IntegralUpsize Int32 Integer

Methods

integralUpsize :: Int32 -> Integer

IntegralUpsize Int64 Integer

Methods

integralUpsize :: Int64 -> Integer

IntegralUpsize Word Integer

Methods

integralUpsize :: Word -> Integer

IntegralUpsize Word Word64

Methods

integralUpsize :: Word -> Word64

IntegralUpsize Word Natural

Methods

integralUpsize :: Word -> Natural

IntegralUpsize Word8 Int

Methods

integralUpsize :: Word8 -> Int

IntegralUpsize Word8 Int16

Methods

integralUpsize :: Word8 -> Int16

IntegralUpsize Word8 Int32

Methods

integralUpsize :: Word8 -> Int32

IntegralUpsize Word8 Int64

Methods

integralUpsize :: Word8 -> Int64

IntegralUpsize Word8 Integer

Methods

integralUpsize :: Word8 -> Integer

IntegralUpsize Word8 Word

Methods

integralUpsize :: Word8 -> Word

IntegralUpsize Word8 Word16

Methods

integralUpsize :: Word8 -> Word16

IntegralUpsize Word8 Word32

Methods

integralUpsize :: Word8 -> Word32

IntegralUpsize Word8 Word64

Methods

integralUpsize :: Word8 -> Word64

IntegralUpsize Word8 Natural

Methods

integralUpsize :: Word8 -> Natural

IntegralUpsize Word16 Integer

Methods

integralUpsize :: Word16 -> Integer

IntegralUpsize Word16 Word

Methods

integralUpsize :: Word16 -> Word

IntegralUpsize Word16 Word32

Methods

integralUpsize :: Word16 -> Word32

IntegralUpsize Word16 Word64

Methods

integralUpsize :: Word16 -> Word64

IntegralUpsize Word16 Natural

Methods

integralUpsize :: Word16 -> Natural

IntegralUpsize Word32 Integer

Methods

integralUpsize :: Word32 -> Integer

IntegralUpsize Word32 Word

Methods

integralUpsize :: Word32 -> Word

IntegralUpsize Word32 Word64

Methods

integralUpsize :: Word32 -> Word64

IntegralUpsize Word32 Natural

Methods

integralUpsize :: Word32 -> Natural

IntegralUpsize Word64 Integer

Methods

integralUpsize :: Word64 -> Integer

IntegralUpsize Word64 Natural

Methods

integralUpsize :: Word64 -> Natural

IntegralUpsize Natural Integer

Methods

integralUpsize :: Natural -> Integer

class IntegralDownsize a b where

Downsize an integral value

Minimal complete definition

integralDownsizeCheck

Methods

integralDownsize :: a -> b

integralDownsize :: a ~ b => a -> b

integralDownsizeCheck :: a -> Maybe b

Instances

IntegralDownsize Int Int8

Methods

integralDownsize :: Int -> Int8

integralDownsizeCheck :: Int -> Maybe Int8

IntegralDownsize Int Int16

Methods

integralDownsize :: Int -> Int16

integralDownsizeCheck :: Int -> Maybe Int16

IntegralDownsize Int Int32

Methods

integralDownsize :: Int -> Int32

integralDownsizeCheck :: Int -> Maybe Int32

IntegralDownsize Integer Int8

Methods

integralDownsize :: Integer -> Int8

integralDownsizeCheck :: Integer -> Maybe Int8

IntegralDownsize Integer Int16

Methods

integralDownsize :: Integer -> Int16

integralDownsizeCheck :: Integer -> Maybe Int16

IntegralDownsize Integer Int32

Methods

integralDownsize :: Integer -> Int32

integralDownsizeCheck :: Integer -> Maybe Int32

IntegralDownsize Integer Int64

Methods

integralDownsize :: Integer -> Int64

integralDownsizeCheck :: Integer -> Maybe Int64

IntegralDownsize Integer Word8

Methods

integralDownsize :: Integer -> Word8

integralDownsizeCheck :: Integer -> Maybe Word8

IntegralDownsize Integer Word16

Methods

integralDownsize :: Integer -> Word16

integralDownsizeCheck :: Integer -> Maybe Word16

IntegralDownsize Integer Word32

Methods

integralDownsize :: Integer -> Word32

integralDownsizeCheck :: Integer -> Maybe Word32

IntegralDownsize Integer Word64

Methods

integralDownsize :: Integer -> Word64

integralDownsizeCheck :: Integer -> Maybe Word64

IntegralDownsize Integer Natural

Methods

integralDownsize :: Integer -> Natural

integralDownsizeCheck :: Integer -> Maybe Natural

IntegralDownsize Word16 Word8

Methods

integralDownsize :: Word16 -> Word8

integralDownsizeCheck :: Word16 -> Maybe Word8

IntegralDownsize Word32 Word8

Methods

integralDownsize :: Word32 -> Word8

integralDownsizeCheck :: Word32 -> Maybe Word8

IntegralDownsize Word32 Word16

Methods

integralDownsize :: Word32 -> Word16

integralDownsizeCheck :: Word32 -> Maybe Word16

IntegralDownsize Word64 Word8

Methods

integralDownsize :: Word64 -> Word8

integralDownsizeCheck :: Word64 -> Maybe Word8

IntegralDownsize Word64 Word16

Methods

integralDownsize :: Word64 -> Word16

integralDownsizeCheck :: Word64 -> Maybe Word16

IntegralDownsize Word64 Word32

Methods

integralDownsize :: Word64 -> Word32

integralDownsizeCheck :: Word64 -> Maybe Word32

IntegralDownsize Natural Word8

Methods

integralDownsize :: Natural -> Word8

integralDownsizeCheck :: Natural -> Maybe Word8

IntegralDownsize Natural Word16

Methods

integralDownsize :: Natural -> Word16

integralDownsizeCheck :: Natural -> Maybe Word16

IntegralDownsize Natural Word32

Methods

integralDownsize :: Natural -> Word32

integralDownsizeCheck :: Natural -> Maybe Word32

IntegralDownsize Natural Word64

Methods

integralDownsize :: Natural -> Word64

integralDownsizeCheck :: Natural -> Maybe Word64

class IntegralCast a b where

Cast an integral value to another value that have the same representional size

Methods

integralCast :: a -> b

integralCast :: a ~ b => a -> b

Instances

IntegralCast Int Word

Methods

integralCast :: Int -> Word

IntegralCast Int64 Word64

Methods

integralCast :: Int64 -> Word64

IntegralCast Word Int

Methods

integralCast :: Word -> Int

IntegralCast Word64 Int64

Methods

integralCast :: Word64 -> Int64

Evaluation

class NormalForm a where

Data that can be fully evaluated in Normal Form

Minimal complete definition

toNormalForm

Methods

toNormalForm :: a -> ()

Instances

NormalForm Bool

Methods

toNormalForm :: Bool -> ()

NormalForm Char

Methods

toNormalForm :: Char -> ()

NormalForm Double

Methods

toNormalForm :: Double -> ()

NormalForm Float

Methods

toNormalForm :: Float -> ()

NormalForm Int

Methods

toNormalForm :: Int -> ()

NormalForm Int8

Methods

toNormalForm :: Int8 -> ()

NormalForm Int16

Methods

toNormalForm :: Int16 -> ()

NormalForm Int32

Methods

toNormalForm :: Int32 -> ()

NormalForm Int64

Methods

toNormalForm :: Int64 -> ()

NormalForm Integer

Methods

toNormalForm :: Integer -> ()

NormalForm Word

Methods

toNormalForm :: Word -> ()

NormalForm Word8

Methods

toNormalForm :: Word8 -> ()

NormalForm Word16

Methods

toNormalForm :: Word16 -> ()

NormalForm Word32

Methods

toNormalForm :: Word32 -> ()

NormalForm Word64

Methods

toNormalForm :: Word64 -> ()

NormalForm ()

Methods

toNormalForm :: () -> ()

NormalForm Natural

Methods

toNormalForm :: Natural -> ()

NormalForm CChar

Methods

toNormalForm :: CChar -> ()

NormalForm CSChar

Methods

toNormalForm :: CSChar -> ()

NormalForm CUChar

Methods

toNormalForm :: CUChar -> ()

NormalForm CShort

Methods

toNormalForm :: CShort -> ()

NormalForm CUShort

Methods

toNormalForm :: CUShort -> ()

NormalForm CInt

Methods

toNormalForm :: CInt -> ()

NormalForm CUInt

Methods

toNormalForm :: CUInt -> ()

NormalForm CLong

Methods

toNormalForm :: CLong -> ()

NormalForm CULong

Methods

toNormalForm :: CULong -> ()

NormalForm CLLong

Methods

toNormalForm :: CLLong -> ()

NormalForm CULLong

Methods

toNormalForm :: CULLong -> ()

NormalForm CFloat

Methods

toNormalForm :: CFloat -> ()

NormalForm CDouble

Methods

toNormalForm :: CDouble -> ()

NormalForm String

Methods

toNormalForm :: String -> ()

NormalForm IPv4

Methods

toNormalForm :: IPv4 -> ()

NormalForm IPv6

Methods

toNormalForm :: IPv6 -> ()

NormalForm UUID

Methods

toNormalForm :: UUID -> ()

NormalForm a => NormalForm [a]

Methods

toNormalForm :: [a] -> ()

NormalForm a => NormalForm (Maybe a)

Methods

toNormalForm :: Maybe a -> ()

NormalForm (Ptr a)

Methods

toNormalForm :: Ptr a -> ()

NormalForm (Size a)

Methods

toNormalForm :: Size a -> ()

NormalForm (Offset a)

Methods

toNormalForm :: Offset a -> ()

NormalForm (UArray ty)

Methods

toNormalForm :: UArray ty -> ()

NormalForm a => NormalForm (Array a)

Methods

toNormalForm :: Array a -> ()

NormalForm (ChunkedUArray ty)

Methods

toNormalForm :: ChunkedUArray ty -> ()

(NormalForm l, NormalForm r) => NormalForm (Either l r)

Methods

toNormalForm :: Either l r -> ()

(NormalForm a, NormalForm b) => NormalForm (a, b)

Methods

toNormalForm :: (a, b) -> ()

(NormalForm a, NormalForm b) => NormalForm (Tuple2 a b)

Methods

toNormalForm :: Tuple2 a b -> ()

(NormalForm a, NormalForm b, NormalForm c) => NormalForm (a, b, c)

Methods

toNormalForm :: (a, b, c) -> ()

(NormalForm a, NormalForm b, NormalForm c) => NormalForm (Tuple3 a b c)

Methods

toNormalForm :: Tuple3 a b c -> ()

(NormalForm a, NormalForm b, NormalForm c, NormalForm d) => NormalForm (a, b, c, d)

Methods

toNormalForm :: (a, b, c, d) -> ()

(NormalForm a, NormalForm b, NormalForm c, NormalForm d) => NormalForm (Tuple4 a b c d)

Methods

toNormalForm :: Tuple4 a b c d -> ()

(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e) => NormalForm (a, b, c, d, e)

Methods

toNormalForm :: (a, b, c, d, e) -> ()

(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e, NormalForm f) => NormalForm (a, b, c, d, e, f)

Methods

toNormalForm :: (a, b, c, d, e, f) -> ()

(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e, NormalForm f, NormalForm g) => NormalForm (a, b, c, d, e, f, g)

Methods

toNormalForm :: (a, b, c, d, e, f, g) -> ()

(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e, NormalForm f, NormalForm g, NormalForm h) => NormalForm (a, b, c, d, e, f, g, h)

Methods

toNormalForm :: (a, b, c, d, e, f, g, h) -> ()

force :: NormalForm a => a -> a

deepseq :: NormalForm a => a -> b -> b