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