OpenAFP.Prelude.Utils

This module provides various AFP manipulation utilities.

Documentation

inlinePerformIO :: IO a -> a

applyToChunk :: (Monad m, Rec a, Chunk c) => (a -> x) -> c -> m x

withChunk :: Chunk a => a -> (forall r. Rec r => r -> x) -> x

splitRecords :: (Chunk c, Typeable t) => t -> [c] -> [[c]]

findRecord :: (a -> Bool) -> [Record a] -> a

matchRecord :: (DataOf a ~ b, RecOf b ~ a, RecData a b, Eq c) => c -> (b -> c) -> a -> b

matchRecordMaybe :: (DataOf a ~ b, RecOf b ~ a, RecData a b, Eq c) => c -> (b -> c) -> a -> Maybe b

findRecordMaybe :: (a -> Bool) -> [Record a] -> Maybe a

fromA :: (Binary a, Storable a) => a -> String

trim :: String -> String

catBuf :: Buf a => a -> a -> a

subBuf :: (Buf a, Integral b, Integral c) => a -> b -> c -> a

subBufs :: (Buf a, Integral b, Integral c) => [a] -> b -> c -> a

showBitmap :: (Integral i, Show a) => [a] -> i -> IOm ()

toA8 :: String -> A8

packA8 :: A8 -> ByteString

fromA8 :: A8 -> String

warn :: String -> IOm ()

die :: String -> IOm a

requiredOpt :: (String -> IO a) -> String -> a

io :: MonadIO m => IO a -> m a