Documentation

Methods

liftBase :: m α -> Itself m α #

Methods

liftBaseWith :: (RunInBase (Itself m) m -> m a) -> Itself m a #

restoreM :: StM (Itself m) a -> Itself m a #

Methods

(>>=) :: Itself m a -> (a -> Itself m b) -> Itself m b #

(>>) :: Itself m a -> Itself m b -> Itself m b #

return :: a -> Itself m a #

fail :: String -> Itself m a #

Methods

fmap :: (a -> b) -> Itself m a -> Itself m b #

(<$) :: a -> Itself m b -> Itself m a #

Methods

pure :: a -> Itself m a #

(<*>) :: Itself m (a -> b) -> Itself m a -> Itself m b #

liftA2 :: (a -> b -> c) -> Itself m a -> Itself m b -> Itself m c #

(*>) :: Itself m a -> Itself m b -> Itself m b #

(<*) :: Itself m a -> Itself m b -> Itself m a #

Methods

algPrims :: Algebra' (Prims (Itself m)) (Itself m) a Source #

reformulate :: Monad z => Reformulation' (Derivs (Itself m)) (Prims (Itself m)) (Itself m) z a Source #

algDerivs :: Algebra' (Derivs (Itself m)) (Itself m) a Source #