StrategyLibContentsIndex
MonadicFunctions
Synopsis
newtype Id a = Id a
succeed :: Maybe x -> x
argtype :: MonadPlus m => (x -> y) -> x -> m ()
valtype :: MonadPlus m => x -> x -> m ()
ifM :: MonadPlus m => m a -> (a -> m c) -> m c -> m c
Produced by Haddock version 0.6