OpenAFP-1.3.2: IBM AFP document format parser and generator

Portabilitynon-portable (GHC-only)
Stabilityexperimental
Maintaineraudreyt@audreyt.org
Safe HaskellNone

OpenAFP.Prelude.Utils

Description

This module provides various AFP manipulation utilities.

Documentation

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

(%=) :: (MonadIO m, MonadReader t m) => (t -> HashTable key val) -> (key, val) -> m ()

(%?) :: (MonadIO m, MonadReader t m) => (t -> HashTable key val) -> key -> m (Maybe val)

(%:) :: (MonadIO m, MonadReader t m) => (t -> HashTable key b) -> key -> 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

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

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