Prologue

Documentation

(++) :: Monoid a => a -> a -> a

print :: (MonadIO m, Show s) => s -> m ()

printLn :: MonadIO m => m ()

putStr :: MonadIO m => String -> m ()

putStrLn :: MonadIO m => String -> m ()

pprint :: (MonadIO m, Show s) => s -> m ()

swap :: (a, b) -> (b, a)

fromJustM :: Monad m => Maybe a -> m a

whenLeft :: Monad m => Either a b -> (a -> m ()) -> m ()

whenLeft' :: Monad m => Either a b -> m () -> m ()

whenRight :: Monad m => Either a b -> (b -> m ()) -> m ()

whenRight' :: Monad m => Either a b -> m () -> m ()

($>) :: Functor f => a -> f b -> f b

withJust :: Monad m => Maybe a -> (a -> m ()) -> m ()

lift2 :: (Monad (t1 m), Monad m, MonadTrans t, MonadTrans t1) => m a -> t (t1 m) a

lift3 :: (Monad (t1 (t2 m)), Monad (t2 m), Monad m, MonadTrans t, MonadTrans t1, MonadTrans t2) => m a -> t (t1 (t2 m)) a

switch :: Monad m => m Bool -> a -> a -> m a

show' :: (Show a, IsString s) => a -> s

foldlDef :: (a -> a -> a) -> a -> [a] -> a

mapOver :: Lens' a b -> (b -> (b, out)) -> a -> (a, out)

mapOverM :: Monad m => Lens' a b -> (b -> m (b, out)) -> a -> m (a, out)

ifElseId :: Bool -> (a -> a) -> a -> a

curry :: Curry a b => a -> b

uncurry :: Curry a b => b -> a

tryHead :: [a] -> Maybe a

fromJustNote :: String -> Maybe a -> a