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

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

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

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

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

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

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

(%%=) :: (Ix i, Foldable t, MonadIO m, MonadReader t1 m) => (t1 -> IOArray i e) -> t (i, e) -> m () infixl 5

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