OpenAFP.Prelude.Utils

This module provides various AFP manipulation utilities.

Documentation

hashByteString :: ByteString -> Int32

inlinePerformIO :: IO a -> a

readVar :: (MonadIO m, MonadReader t m) => (t -> IORef b) -> m b

readArray :: (Ix i, MonadIO m, MonadReader t m) => (t -> IOArray i b) -> i -> m b

($$) :: (MonadIO m, MonadReader t m) => (t -> Bool) -> [Char] -> m ()

($=) :: (MonadIO m, MonadReader t m) => (t -> IORef a) -> (t1 -> a) -> t1 -> m ()

(+=) :: (Num a, MonadIO m, MonadReader t m) => (t -> IORef a) -> (t1 -> a) -> t1 -> m ()

(@=) :: (MonadIO m, MonadReader t m) => (t -> IORef [a]) -> a -> m ()

(%=) :: (Eq k, Hashable k, MonadIO m, MonadReader t m) => (t -> HashTable k v) -> (k, v) -> m ()

(%?) :: (Eq k, Hashable k, MonadIO m, MonadReader t m) => (t -> HashTable k v) -> k -> m (Maybe v)

(%:) :: (Eq k, Hashable k, MonadIO m, MonadReader t m) => (t -> HashTable k b) -> k -> m b

(%%=) :: (Ix i, MonadIO m, MonadReader t m) => (t -> IOArray i e) -> [(i, e)] -> m ()

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

fromJust' :: Maybe t -> t

fromJust'' :: Maybe t -> t

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 ()

hex2bin :: Char -> [Char]

toA8 :: String -> A8

packA8 :: A8 -> ByteString

fromA8 :: A8 -> String

warn :: String -> IOm ()

die :: String -> IOm a

reqArg :: [Char] -> [String] -> String -> String -> (String -> a) -> OptDescr a

noArg :: [Char] -> [String] -> String -> a -> OptDescr a

showUsage :: [OptDescr a] -> (String -> [Char]) -> [Char] -> IO b

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

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