Std.Data.PrimArray.QQ

This module provides functions for writing PrimArray related literals QuasiQuote.

PrimArray literal quoters

arrASCII :: QuasiQuoter

arrW8 :: QuasiQuoter

arrW16 :: QuasiQuoter

arrW32 :: QuasiQuoter

arrW64 :: QuasiQuoter

arrWord :: QuasiQuoter

arrI8 :: QuasiQuoter

arrI16 :: QuasiQuoter

arrI32 :: QuasiQuoter

arrI64 :: QuasiQuoter

arrInt :: QuasiQuoter

quoter helpers

asciiLiteral

Arguments

:: (ExpQ -> ExpQ -> ExpQ)

Construction function which receive a byte length Int and a Addr# LitE expression.

-> String

Quoter input

-> ExpQ

Final Quoter

Construct data with ASCII encoded literals.

Example usage:

arrASCII :: QuasiQuoter
arrASCII = QuasiQuoter
    (asciiLiteral $  len addr -> [| word8ArrayFromAddr $(len) $(addr) |])
    ...

word8ArrayFromAddr :: Int -> Addr# -> PrimArray Word8
{--}
word8ArrayFromAddr l addr# = runST $ do
    mba <- newPrimArray (I# l)
    copyPtrToMutablePrimArray mba 0 (Ptr addr#) l
    unsafeFreezePrimArray mba

utf8Literal :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

Construct data with UTF-8 encoded literals.

Smiliar to asciIILiteral, the

word8Literal :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

word16Literal :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

word32Literal :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

word64Literal :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

wordLiteral :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

int8Literal :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

int16Literal :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

int32Literal :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

int64Literal :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

intLiteral :: (ExpQ -> ExpQ -> ExpQ) -> String -> ExpQ

word8ArrayFromAddr :: Int -> Addr# -> PrimArray Word8

word16ArrayFromAddr :: Int -> Addr# -> PrimArray Word16

word32ArrayFromAddr :: Int -> Addr# -> PrimArray Word32

word64ArrayFromAddr :: Int -> Addr# -> PrimArray Word64

wordArrayFromAddr :: Int -> Addr# -> PrimArray Word

int8ArrayFromAddr :: Int -> Addr# -> PrimArray Int8

int16ArrayFromAddr :: Int -> Addr# -> PrimArray Int16

int32ArrayFromAddr :: Int -> Addr# -> PrimArray Int32

int64ArrayFromAddr :: Int -> Addr# -> PrimArray Int64

intArrayFromAddr :: Int -> Addr# -> PrimArray Int