Data.Repa.Array.Auto.Format

Documentation

module Data.Repa.Convert.Format

module Data.Repa.Convert.Formats

Packing

packFormat

Arguments

:: Packable format

=> format

Format for the value.

-> Value format

Source value.

-> Maybe (Array Word8)

Packed binary data.

Pack a value into a buffer using the given format.

packsFormat

Arguments

:: (Packable format, Show format, Bulk A (Value format))

=> format

Format for each value

-> Array (Value format)

Source values.

-> Maybe (Array Word8)

Packed binary data.

Pack an array of values into a buffer using the given format.

• The bytes representing each value are concatenated together with no delimitor.

packsFormatLn

Arguments

:: (Packable format, Bulk A (Value format))

=> format

Format for each value

-> Array (Value format)

Source values.

-> Maybe (Array Word8)

Packed binary data.

Like packsFormat, but append a newline character after every packed element.

• If a value cannot be converted then this function just returns error.

Unpacking

unpackFormat

Arguments

:: Unpackable format

=> format

Format for the value.

-> Array Word8

Packed binary data.

-> Maybe (Value format)

Unpacked value.

Unpack a value from a buffer using the given format.

unpacksFormatLn

Arguments

:: UnpackableRow format

=> Sep format

Format of each row.

-> Array Word8

Source data.

-> Array (Value (Sep format))

Array of rows.

Unpack an encoded table of values from an array of bytes.

type UnpackableRow format = (SepFormat format, Unpackables (Sep format), Target A (Value (Sep format)))

Dictionaries needed to unpack a row of the given format.

class Unpackables format

Minimal complete definition

unpacksToBuffer

Instances

Unpackables VarText

Methods

unpacksToBuffer :: VarText -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value VarText) -> IO (Maybe (Int, Int))

Unpackables VarTextString

Methods

unpacksToBuffer :: VarTextString -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value VarTextString) -> IO (Maybe (Int, Int))

Unpackables VarChars

Methods

unpacksToBuffer :: VarChars -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value VarChars) -> IO (Maybe (Int, Int))

Unpackables VarCharString

Methods

unpacksToBuffer :: VarCharString -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value VarCharString) -> IO (Maybe (Int, Int))

Unpackables YYYYsMMsDD

Methods

unpacksToBuffer :: YYYYsMMsDD -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value YYYYsMMsDD) -> IO (Maybe (Int, Int))

Unpackables DDsMMsYYYY

Methods

unpacksToBuffer :: DDsMMsYYYY -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value DDsMMsYYYY) -> IO (Maybe (Int, Int))

Unpackables IntAsc

Methods

unpacksToBuffer :: IntAsc -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value IntAsc) -> IO (Maybe (Int, Int))

Unpackables IntAsc0

Methods

unpacksToBuffer :: IntAsc0 -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value IntAsc0) -> IO (Maybe (Int, Int))

Unpackables DoubleAsc

Methods

unpacksToBuffer :: DoubleAsc -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value DoubleAsc) -> IO (Maybe (Int, Int))

Unpackables DoubleFixedPack

Methods

unpacksToBuffer :: DoubleFixedPack -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value DoubleFixedPack) -> IO (Maybe (Int, Int))

Unpackables (Sep ())

Methods

unpacksToBuffer :: Sep () -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value (Sep ())) -> IO (Maybe (Int, Int))

(Unpackables f1, Unpackables (Sep fs), (~) * (Value (Sep fs)) (Value fs)) => Unpackables (Sep ((:*:) f1 fs))

Methods

unpacksToBuffer :: Sep (f1 :*: fs) -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value (Sep (f1 :*: fs))) -> IO (Maybe (Int, Int))

Unpackable a => Unpackables (MaybeChars a)

Methods

unpacksToBuffer :: MaybeChars a -> Word8 -> Array F Word8 -> Buffer A Int -> Buffer A Int -> Buffer A (Value (MaybeChars a)) -> IO (Maybe (Int, Int))