Source codeContentsIndex
Computation
type Answer a = Either Exception a
done :: (Monad m) => m ()
(#) :: a -> (a -> b) -> b
propagate :: Answer a -> IO a
tryUntilOK :: IO a -> IO a
raise :: IOError -> IO a
incase :: Maybe a -> (a -> IO b) -> IO ()
forever :: (Monad m) => m a -> m ()
foreach :: (Monad m) => [a] -> (a -> m b) -> m ()
while :: (Monad m) => m a -> (a -> Bool) -> m a
type Config w = w -> IO w
configure :: w -> [Config w] -> IO w
config :: IO () -> Config w
class HasConfig option configuration where
Methods
($$) :: option -> configuration -> configuration
configUsed :: option -> configuration -> Bool
type WithError a = Either String a
mapWithError :: (a -> b) -> WithError a -> WithError b
mapWithError' :: (a -> WithError b) -> WithError a -> WithError b
pairWithError :: WithError a -> WithError b -> WithError (a, b)
coerceWithError :: WithError a -> a
Produced by Haddock version 0.3