Control.Supermonad

Representation of supermonads in Haskell.

Supermonads

class (Functor m, Functor n, Functor p) => Bind m n p where

Representation of bind operations for supermonads. A proper supermonad consists of an instance for Bind, Return and optionally Fail.

The instances are required to follow a certain scheme. If the type constructor of your supermonad is M there may only be exactly one Bind and one Return instance that look as follows:

instance Bind (M ...) (M ...) (M ...) where
  ...
instance Return (M ...) where
  ...

This is enforced by the plugin. A compilation error will result from either instance missing or multiple instances for M.

For supermonads we expect the usual monad laws to hold:

• return a >>= k  =  k a

• m >>= return  =  m

• m >>= (\x -> k x >>= h)  =  (m >>= k) >>= h

• fmap f xs  =  xs >>= return . f

Minimal complete definition

(>>=)

Associated Types

type BindCts m n p :: Constraint

Methods

(>>=) :: BindCts m n p => m a -> (a -> n b) -> p b

(>>) :: BindCts m n p => m a -> n b -> p b

Instances

Bind [] [] []

Associated Types

type BindCts ([] :: * -> *) ([] :: * -> *) ([] :: * -> *) :: Constraint

Methods

(>>=) :: BindCts [] [] [] => [a] -> (a -> [b]) -> [b]

(>>) :: BindCts [] [] [] => [a] -> [b] -> [b]

Bind Maybe Maybe Maybe

Associated Types

type BindCts (Maybe :: * -> *) (Maybe :: * -> *) (Maybe :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Maybe Maybe Maybe => Maybe a -> (a -> Maybe b) -> Maybe b

(>>) :: BindCts Maybe Maybe Maybe => Maybe a -> Maybe b -> Maybe b

Bind IO IO IO

Associated Types

type BindCts (IO :: * -> *) (IO :: * -> *) (IO :: * -> *) :: Constraint

Methods

(>>=) :: BindCts IO IO IO => IO a -> (a -> IO b) -> IO b

(>>) :: BindCts IO IO IO => IO a -> IO b -> IO b

Bind Identity Identity Identity

Associated Types

type BindCts (Identity :: * -> *) (Identity :: * -> *) (Identity :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Identity Identity Identity => Identity a -> (a -> Identity b) -> Identity b

(>>) :: BindCts Identity Identity Identity => Identity a -> Identity b -> Identity b

Bind Min Min Min

Associated Types

type BindCts (Min :: * -> *) (Min :: * -> *) (Min :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Min Min Min => Min a -> (a -> Min b) -> Min b

(>>) :: BindCts Min Min Min => Min a -> Min b -> Min b

Bind Max Max Max

Associated Types

type BindCts (Max :: * -> *) (Max :: * -> *) (Max :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Max Max Max => Max a -> (a -> Max b) -> Max b

(>>) :: BindCts Max Max Max => Max a -> Max b -> Max b

Bind First First First

Associated Types

type BindCts (First :: * -> *) (First :: * -> *) (First :: * -> *) :: Constraint

Methods

(>>=) :: BindCts First First First => First a -> (a -> First b) -> First b

(>>) :: BindCts First First First => First a -> First b -> First b

Bind Last Last Last

Associated Types

type BindCts (Last :: * -> *) (Last :: * -> *) (Last :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Last Last Last => Last a -> (a -> Last b) -> Last b

(>>) :: BindCts Last Last Last => Last a -> Last b -> Last b

Bind Option Option Option

Associated Types

type BindCts (Option :: * -> *) (Option :: * -> *) (Option :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Option Option Option => Option a -> (a -> Option b) -> Option b

(>>) :: BindCts Option Option Option => Option a -> Option b -> Option b

Bind NonEmpty NonEmpty NonEmpty

Associated Types

type BindCts (NonEmpty :: * -> *) (NonEmpty :: * -> *) (NonEmpty :: * -> *) :: Constraint

Methods

(>>=) :: BindCts NonEmpty NonEmpty NonEmpty => NonEmpty a -> (a -> NonEmpty b) -> NonEmpty b

(>>) :: BindCts NonEmpty NonEmpty NonEmpty => NonEmpty a -> NonEmpty b -> NonEmpty b

Bind Complex Complex Complex

Associated Types

type BindCts (Complex :: * -> *) (Complex :: * -> *) (Complex :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Complex Complex Complex => Complex a -> (a -> Complex b) -> Complex b

(>>) :: BindCts Complex Complex Complex => Complex a -> Complex b -> Complex b

Bind STM STM STM

Associated Types

type BindCts (STM :: * -> *) (STM :: * -> *) (STM :: * -> *) :: Constraint

Methods

(>>=) :: BindCts STM STM STM => STM a -> (a -> STM b) -> STM b

(>>) :: BindCts STM STM STM => STM a -> STM b -> STM b

Bind Dual Dual Dual

Associated Types

type BindCts (Dual :: * -> *) (Dual :: * -> *) (Dual :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Dual Dual Dual => Dual a -> (a -> Dual b) -> Dual b

(>>) :: BindCts Dual Dual Dual => Dual a -> Dual b -> Dual b

Bind Sum Sum Sum

Associated Types

type BindCts (Sum :: * -> *) (Sum :: * -> *) (Sum :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Sum Sum Sum => Sum a -> (a -> Sum b) -> Sum b

(>>) :: BindCts Sum Sum Sum => Sum a -> Sum b -> Sum b

Bind Product Product Product

Associated Types

type BindCts (Product :: * -> *) (Product :: * -> *) (Product :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Product Product Product => Product a -> (a -> Product b) -> Product b

(>>) :: BindCts Product Product Product => Product a -> Product b -> Product b

Bind First First First

Associated Types

type BindCts (First :: * -> *) (First :: * -> *) (First :: * -> *) :: Constraint

Methods

(>>=) :: BindCts First First First => First a -> (a -> First b) -> First b

(>>) :: BindCts First First First => First a -> First b -> First b

Bind Last Last Last

Associated Types

type BindCts (Last :: * -> *) (Last :: * -> *) (Last :: * -> *) :: Constraint

Methods

(>>=) :: BindCts Last Last Last => Last a -> (a -> Last b) -> Last b

(>>) :: BindCts Last Last Last => Last a -> Last b -> Last b

Bind ReadPrec ReadPrec ReadPrec

Associated Types

type BindCts (ReadPrec :: * -> *) (ReadPrec :: * -> *) (ReadPrec :: * -> *) :: Constraint

Methods

(>>=) :: BindCts ReadPrec ReadPrec ReadPrec => ReadPrec a -> (a -> ReadPrec b) -> ReadPrec b

(>>) :: BindCts ReadPrec ReadPrec ReadPrec => ReadPrec a -> ReadPrec b -> ReadPrec b

Bind ReadP ReadP ReadP

Associated Types

type BindCts (ReadP :: * -> *) (ReadP :: * -> *) (ReadP :: * -> *) :: Constraint

Methods

(>>=) :: BindCts ReadP ReadP ReadP => ReadP a -> (a -> ReadP b) -> ReadP b

(>>) :: BindCts ReadP ReadP ReadP => ReadP a -> ReadP b -> ReadP b

Bind ((->) r) ((->) r) ((->) r)

Associated Types

type BindCts ((->) r :: * -> *) ((->) r :: * -> *) ((->) r :: * -> *) :: Constraint

Methods

(>>=) :: BindCts ((->) r) ((->) r) ((->) r) => (r -> a) -> (a -> r -> b) -> r -> b

(>>) :: BindCts ((->) r) ((->) r) ((->) r) => (r -> a) -> (r -> b) -> r -> b

Bind (Either e) (Either e) (Either e)

Associated Types

type BindCts (Either e :: * -> *) (Either e :: * -> *) (Either e :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (Either e) (Either e) (Either e) => Either e a -> (a -> Either e b) -> Either e b

(>>) :: BindCts (Either e) (Either e) (Either e) => Either e a -> Either e b -> Either e b

Bind (ST s) (ST s) (ST s)

Associated Types

type BindCts (ST s :: * -> *) (ST s :: * -> *) (ST s :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (ST s) (ST s) (ST s) => ST s a -> (a -> ST s b) -> ST s b

(>>) :: BindCts (ST s) (ST s) (ST s) => ST s a -> ST s b -> ST s b

Bind (ST s) (ST s) (ST s)

Associated Types

type BindCts (ST s :: * -> *) (ST s :: * -> *) (ST s :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (ST s) (ST s) (ST s) => ST s a -> (a -> ST s b) -> ST s b

(>>) :: BindCts (ST s) (ST s) (ST s) => ST s a -> ST s b -> ST s b

(Bind m m m, Monad m) => Bind (WrappedMonad m) (WrappedMonad m) (WrappedMonad m)

TODO / FIXME: The wrapped monad instances for Functor and Monad are both based on m being a monad, although the functor instance should only be dependend on m being a functor (as can be seen below). This can only be fixed by either giving a custom version of WrappedMonad here or by fixing the version of WrappedMonad in base. Once this issue is fixed we can replace the Monad constraint with a Functor constraint.

instance (Functor m) => Functor (App.WrappedMonad m) where
  fmap f m = App.WrapMonad $ fmap (App.unwrapMonad m) f

Associated Types

type BindCts (WrappedMonad m :: * -> *) (WrappedMonad m :: * -> *) (WrappedMonad m :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (WrappedMonad m) (WrappedMonad m) (WrappedMonad m) => WrappedMonad m a -> (a -> WrappedMonad m b) -> WrappedMonad m b

(>>) :: BindCts (WrappedMonad m) (WrappedMonad m) (WrappedMonad m) => WrappedMonad m a -> WrappedMonad m b -> WrappedMonad m b

ArrowApply a => Bind (ArrowMonad a) (ArrowMonad a) (ArrowMonad a)

Associated Types

type BindCts (ArrowMonad a :: * -> *) (ArrowMonad a :: * -> *) (ArrowMonad a :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (ArrowMonad a) (ArrowMonad a) (ArrowMonad a) => ArrowMonad a a -> (a -> ArrowMonad a b) -> ArrowMonad a b

(>>) :: BindCts (ArrowMonad a) (ArrowMonad a) (ArrowMonad a) => ArrowMonad a a -> ArrowMonad a b -> ArrowMonad a b

Bind (Proxy *) (Proxy *) (Proxy *)

Associated Types

type BindCts (Proxy * :: * -> *) (Proxy * :: * -> *) (Proxy * :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (Proxy *) (Proxy *) (Proxy *) => Proxy * a -> (a -> Proxy * b) -> Proxy * b

(>>) :: BindCts (Proxy *) (Proxy *) (Proxy *) => Proxy * a -> Proxy * b -> Proxy * b

(Return n, Bind m n p) => Bind (MaybeT m) (MaybeT n) (MaybeT p)

Associated Types

type BindCts (MaybeT m :: * -> *) (MaybeT n :: * -> *) (MaybeT p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (MaybeT m) (MaybeT n) (MaybeT p) => MaybeT m a -> (a -> MaybeT n b) -> MaybeT p b

(>>) :: BindCts (MaybeT m) (MaybeT n) (MaybeT p) => MaybeT m a -> MaybeT n b -> MaybeT p b

(Bind m n p, Bind n n n, Return n) => Bind (ListT m) (ListT n) (ListT p)

Associated Types

type BindCts (ListT m :: * -> *) (ListT n :: * -> *) (ListT p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (ListT m) (ListT n) (ListT p) => ListT m a -> (a -> ListT n b) -> ListT p b

(>>) :: BindCts (ListT m) (ListT n) (ListT p) => ListT m a -> ListT n b -> ListT p b

Bind m n p => Bind (Alt * m) (Alt * n) (Alt * p)

Associated Types

type BindCts (Alt * m :: * -> *) (Alt * n :: * -> *) (Alt * p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (Alt * m) (Alt * n) (Alt * p) => Alt * m a -> (a -> Alt * n b) -> Alt * p b

(>>) :: BindCts (Alt * m) (Alt * n) (Alt * p) => Alt * m a -> Alt * n b -> Alt * p b

(Bind m n p, Return n) => Bind (ExceptT e m) (ExceptT e n) (ExceptT e p)

Associated Types

type BindCts (ExceptT e m :: * -> *) (ExceptT e n :: * -> *) (ExceptT e p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (ExceptT e m) (ExceptT e n) (ExceptT e p) => ExceptT e m a -> (a -> ExceptT e n b) -> ExceptT e p b

(>>) :: BindCts (ExceptT e m) (ExceptT e n) (ExceptT e p) => ExceptT e m a -> ExceptT e n b -> ExceptT e p b

Bind m n p => Bind (StateT s m) (StateT s n) (StateT s p)

Associated Types

type BindCts (StateT s m :: * -> *) (StateT s n :: * -> *) (StateT s p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (StateT s m) (StateT s n) (StateT s p) => StateT s m a -> (a -> StateT s n b) -> StateT s p b

(>>) :: BindCts (StateT s m) (StateT s n) (StateT s p) => StateT s m a -> StateT s n b -> StateT s p b

Bind m n p => Bind (StateT s m) (StateT s n) (StateT s p)

Associated Types

type BindCts (StateT s m :: * -> *) (StateT s n :: * -> *) (StateT s p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (StateT s m) (StateT s n) (StateT s p) => StateT s m a -> (a -> StateT s n b) -> StateT s p b

(>>) :: BindCts (StateT s m) (StateT s n) (StateT s p) => StateT s m a -> StateT s n b -> StateT s p b

(Monoid w, Bind m n p) => Bind (WriterT w m) (WriterT w n) (WriterT w p)

Associated Types

type BindCts (WriterT w m :: * -> *) (WriterT w n :: * -> *) (WriterT w p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (WriterT w m) (WriterT w n) (WriterT w p) => WriterT w m a -> (a -> WriterT w n b) -> WriterT w p b

(>>) :: BindCts (WriterT w m) (WriterT w n) (WriterT w p) => WriterT w m a -> WriterT w n b -> WriterT w p b

(Monoid w, Bind m n p) => Bind (WriterT w m) (WriterT w n) (WriterT w p)

Associated Types

type BindCts (WriterT w m :: * -> *) (WriterT w n :: * -> *) (WriterT w p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (WriterT w m) (WriterT w n) (WriterT w p) => WriterT w m a -> (a -> WriterT w n b) -> WriterT w p b

(>>) :: BindCts (WriterT w m) (WriterT w n) (WriterT w p) => WriterT w m a -> WriterT w n b -> WriterT w p b

Bind m n p => Bind (IdentityT * m) (IdentityT * n) (IdentityT * p)

Associated Types

type BindCts (IdentityT * m :: * -> *) (IdentityT * n :: * -> *) (IdentityT * p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (IdentityT * m) (IdentityT * n) (IdentityT * p) => IdentityT * m a -> (a -> IdentityT * n b) -> IdentityT * p b

(>>) :: BindCts (IdentityT * m) (IdentityT * n) (IdentityT * p) => IdentityT * m a -> IdentityT * n b -> IdentityT * p b

(Bind m1 n1 p1, Bind m2 n2 p2) => Bind (Product * m1 m2) (Product * n1 n2) (Product * p1 p2)

Associated Types

type BindCts (Product * m1 m2 :: * -> *) (Product * n1 n2 :: * -> *) (Product * p1 p2 :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (Product * m1 m2) (Product * n1 n2) (Product * p1 p2) => Product * m1 m2 a -> (a -> Product * n1 n2 b) -> Product * p1 p2 b

(>>) :: BindCts (Product * m1 m2) (Product * n1 n2) (Product * p1 p2) => Product * m1 m2 a -> Product * n1 n2 b -> Product * p1 p2 b

Bind (ContT * r m) (ContT * r m) (ContT * r m)

TODO / FIXME: Still need to figure out how and if we can generalize the continuation implementation.

Associated Types

type BindCts (ContT * r m :: * -> *) (ContT * r m :: * -> *) (ContT * r m :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (ContT * r m) (ContT * r m) (ContT * r m) => ContT * r m a -> (a -> ContT * r m b) -> ContT * r m b

(>>) :: BindCts (ContT * r m) (ContT * r m) (ContT * r m) => ContT * r m a -> ContT * r m b -> ContT * r m b

Bind m n p => Bind (ReaderT * r m) (ReaderT * r n) (ReaderT * r p)

Associated Types

type BindCts (ReaderT * r m :: * -> *) (ReaderT * r n :: * -> *) (ReaderT * r p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (ReaderT * r m) (ReaderT * r n) (ReaderT * r p) => ReaderT * r m a -> (a -> ReaderT * r n b) -> ReaderT * r p b

(>>) :: BindCts (ReaderT * r m) (ReaderT * r n) (ReaderT * r p) => ReaderT * r m a -> ReaderT * r n b -> ReaderT * r p b

(Monoid w, Bind m n p) => Bind (RWST r w s m) (RWST r w s n) (RWST r w s p)

Associated Types

type BindCts (RWST r w s m :: * -> *) (RWST r w s n :: * -> *) (RWST r w s p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (RWST r w s m) (RWST r w s n) (RWST r w s p) => RWST r w s m a -> (a -> RWST r w s n b) -> RWST r w s p b

(>>) :: BindCts (RWST r w s m) (RWST r w s n) (RWST r w s p) => RWST r w s m a -> RWST r w s n b -> RWST r w s p b

(Monoid w, Bind m n p) => Bind (RWST r w s m) (RWST r w s n) (RWST r w s p)

Associated Types

type BindCts (RWST r w s m :: * -> *) (RWST r w s n :: * -> *) (RWST r w s p :: * -> *) :: Constraint

Methods

(>>=) :: BindCts (RWST r w s m) (RWST r w s n) (RWST r w s p) => RWST r w s m a -> (a -> RWST r w s n b) -> RWST r w s p b

(>>) :: BindCts (RWST r w s m) (RWST r w s n) (RWST r w s p) => RWST r w s m a -> RWST r w s n b -> RWST r w s p b

class Functor m => Return m where

See Bind for details on laws and requirements.

Minimal complete definition

return

Associated Types

type ReturnCts m :: Constraint

Methods

return :: ReturnCts m => a -> m a

Instances

Return []

Associated Types

type ReturnCts ([] :: * -> *) :: Constraint

Methods

return :: ReturnCts [] => a -> [a]

Return Maybe

Associated Types

type ReturnCts (Maybe :: * -> *) :: Constraint

Methods

return :: ReturnCts Maybe => a -> Maybe a

Return IO

Associated Types

type ReturnCts (IO :: * -> *) :: Constraint

Methods

return :: ReturnCts IO => a -> IO a

Return Identity

Associated Types

type ReturnCts (Identity :: * -> *) :: Constraint

Methods

return :: ReturnCts Identity => a -> Identity a

Return Min

Associated Types

type ReturnCts (Min :: * -> *) :: Constraint

Methods

return :: ReturnCts Min => a -> Min a

Return Max

Associated Types

type ReturnCts (Max :: * -> *) :: Constraint

Methods

return :: ReturnCts Max => a -> Max a

Return First

Associated Types

type ReturnCts (First :: * -> *) :: Constraint

Methods

return :: ReturnCts First => a -> First a

Return Last

Associated Types

type ReturnCts (Last :: * -> *) :: Constraint

Methods

return :: ReturnCts Last => a -> Last a

Return Option

Associated Types

type ReturnCts (Option :: * -> *) :: Constraint

Methods

return :: ReturnCts Option => a -> Option a

Return NonEmpty

Associated Types

type ReturnCts (NonEmpty :: * -> *) :: Constraint

Methods

return :: ReturnCts NonEmpty => a -> NonEmpty a

Return Complex

Associated Types

type ReturnCts (Complex :: * -> *) :: Constraint

Methods

return :: ReturnCts Complex => a -> Complex a

Return STM

Associated Types

type ReturnCts (STM :: * -> *) :: Constraint

Methods

return :: ReturnCts STM => a -> STM a

Return Dual

Associated Types

type ReturnCts (Dual :: * -> *) :: Constraint

Methods

return :: ReturnCts Dual => a -> Dual a

Return Sum

Associated Types

type ReturnCts (Sum :: * -> *) :: Constraint

Methods

return :: ReturnCts Sum => a -> Sum a

Return Product

Associated Types

type ReturnCts (Product :: * -> *) :: Constraint

Methods

return :: ReturnCts Product => a -> Product a

Return First

Associated Types

type ReturnCts (First :: * -> *) :: Constraint

Methods

return :: ReturnCts First => a -> First a

Return Last

Associated Types

type ReturnCts (Last :: * -> *) :: Constraint

Methods

return :: ReturnCts Last => a -> Last a

Return ReadPrec

Associated Types

type ReturnCts (ReadPrec :: * -> *) :: Constraint

Methods

return :: ReturnCts ReadPrec => a -> ReadPrec a

Return ReadP

Associated Types

type ReturnCts (ReadP :: * -> *) :: Constraint

Methods

return :: ReturnCts ReadP => a -> ReadP a

Return ((->) r)

Associated Types

type ReturnCts ((->) r :: * -> *) :: Constraint

Methods

return :: ReturnCts ((->) r) => a -> r -> a

Return (Either e)

Associated Types

type ReturnCts (Either e :: * -> *) :: Constraint

Methods

return :: ReturnCts (Either e) => a -> Either e a

Return (ST s)

Associated Types

type ReturnCts (ST s :: * -> *) :: Constraint

Methods

return :: ReturnCts (ST s) => a -> ST s a

Return (ST s)

Associated Types

type ReturnCts (ST s :: * -> *) :: Constraint

Methods

return :: ReturnCts (ST s) => a -> ST s a

(Return m, Monad m) => Return (WrappedMonad m)

TODO / FIXME: This has the same issue as the Bind instance for WrappedMonad.

Associated Types

type ReturnCts (WrappedMonad m :: * -> *) :: Constraint

Methods

return :: ReturnCts (WrappedMonad m) => a -> WrappedMonad m a

ArrowApply a => Return (ArrowMonad a)

Associated Types

type ReturnCts (ArrowMonad a :: * -> *) :: Constraint

Methods

return :: ReturnCts (ArrowMonad a) => a -> ArrowMonad a a

Return (Proxy *)

Associated Types

type ReturnCts (Proxy * :: * -> *) :: Constraint

Methods

return :: ReturnCts (Proxy *) => a -> Proxy * a

Return m => Return (MaybeT m)

Associated Types

type ReturnCts (MaybeT m :: * -> *) :: Constraint

Methods

return :: ReturnCts (MaybeT m) => a -> MaybeT m a

Return m => Return (ListT m)

Associated Types

type ReturnCts (ListT m :: * -> *) :: Constraint

Methods

return :: ReturnCts (ListT m) => a -> ListT m a

Return a => Return (Alt * a)

Associated Types

type ReturnCts (Alt * a :: * -> *) :: Constraint

Methods

return :: ReturnCts (Alt * a) => a -> Alt * a a

Return m => Return (ExceptT e m)

Associated Types

type ReturnCts (ExceptT e m :: * -> *) :: Constraint

Methods

return :: ReturnCts (ExceptT e m) => a -> ExceptT e m a

Return m => Return (StateT s m)

Associated Types

type ReturnCts (StateT s m :: * -> *) :: Constraint

Methods

return :: ReturnCts (StateT s m) => a -> StateT s m a

Return m => Return (StateT s m)

Associated Types

type ReturnCts (StateT s m :: * -> *) :: Constraint

Methods

return :: ReturnCts (StateT s m) => a -> StateT s m a

(Monoid w, Return m) => Return (WriterT w m)

Associated Types

type ReturnCts (WriterT w m :: * -> *) :: Constraint

Methods

return :: ReturnCts (WriterT w m) => a -> WriterT w m a

(Monoid w, Return m) => Return (WriterT w m)

Associated Types

type ReturnCts (WriterT w m :: * -> *) :: Constraint

Methods

return :: ReturnCts (WriterT w m) => a -> WriterT w m a

Return m => Return (IdentityT * m)

Associated Types

type ReturnCts (IdentityT * m :: * -> *) :: Constraint

Methods

return :: ReturnCts (IdentityT * m) => a -> IdentityT * m a

(Return m1, Return m2) => Return (Product * m1 m2)

Associated Types

type ReturnCts (Product * m1 m2 :: * -> *) :: Constraint

Methods

return :: ReturnCts (Product * m1 m2) => a -> Product * m1 m2 a

Return (ContT * r m)

Associated Types

type ReturnCts (ContT * r m :: * -> *) :: Constraint

Methods

return :: ReturnCts (ContT * r m) => a -> ContT * r m a

Return m => Return (ReaderT * r m)

Associated Types

type ReturnCts (ReaderT * r m :: * -> *) :: Constraint

Methods

return :: ReturnCts (ReaderT * r m) => a -> ReaderT * r m a

(Monoid w, Return m) => Return (RWST r w s m)

Associated Types

type ReturnCts (RWST r w s m :: * -> *) :: Constraint

Methods

return :: ReturnCts (RWST r w s m) => a -> RWST r w s m a

(Monoid w, Return m) => Return (RWST r w s m)

Associated Types

type ReturnCts (RWST r w s m :: * -> *) :: Constraint

Methods

return :: ReturnCts (RWST r w s m) => a -> RWST r w s m a

class Fail m where

See Bind for details on laws and requirements.

Minimal complete definition

fail

Associated Types

type FailCts m :: Constraint

Methods

fail :: FailCts m => String -> m a

Instances

Fail []

Associated Types

type FailCts ([] :: * -> *) :: Constraint

Methods

fail :: FailCts [] => String -> [a]

Fail Maybe

Associated Types

type FailCts (Maybe :: * -> *) :: Constraint

Methods

fail :: FailCts Maybe => String -> Maybe a

Fail IO

Associated Types

type FailCts (IO :: * -> *) :: Constraint

Methods

fail :: FailCts IO => String -> IO a

Fail Identity

Associated Types

type FailCts (Identity :: * -> *) :: Constraint

Methods

fail :: FailCts Identity => String -> Identity a

Fail Min

Associated Types

type FailCts (Min :: * -> *) :: Constraint

Methods

fail :: FailCts Min => String -> Min a

Fail Max

Associated Types

type FailCts (Max :: * -> *) :: Constraint

Methods

fail :: FailCts Max => String -> Max a

Fail First

Associated Types

type FailCts (First :: * -> *) :: Constraint

Methods

fail :: FailCts First => String -> First a

Fail Last

Associated Types

type FailCts (Last :: * -> *) :: Constraint

Methods

fail :: FailCts Last => String -> Last a

Fail Option

Associated Types

type FailCts (Option :: * -> *) :: Constraint

Methods

fail :: FailCts Option => String -> Option a

Fail NonEmpty

Associated Types

type FailCts (NonEmpty :: * -> *) :: Constraint

Methods

fail :: FailCts NonEmpty => String -> NonEmpty a

Fail Complex

Associated Types

type FailCts (Complex :: * -> *) :: Constraint

Methods

fail :: FailCts Complex => String -> Complex a

Fail STM

Associated Types

type FailCts (STM :: * -> *) :: Constraint

Methods

fail :: FailCts STM => String -> STM a

Fail Dual

Associated Types

type FailCts (Dual :: * -> *) :: Constraint

Methods

fail :: FailCts Dual => String -> Dual a

Fail Sum

Associated Types

type FailCts (Sum :: * -> *) :: Constraint

Methods

fail :: FailCts Sum => String -> Sum a

Fail Product

Associated Types

type FailCts (Product :: * -> *) :: Constraint

Methods

fail :: FailCts Product => String -> Product a

Fail First

Associated Types

type FailCts (First :: * -> *) :: Constraint

Methods

fail :: FailCts First => String -> First a

Fail Last

Associated Types

type FailCts (Last :: * -> *) :: Constraint

Methods

fail :: FailCts Last => String -> Last a

Fail ReadPrec

Associated Types

type FailCts (ReadPrec :: * -> *) :: Constraint

Methods

fail :: FailCts ReadPrec => String -> ReadPrec a

Fail ReadP

Associated Types

type FailCts (ReadP :: * -> *) :: Constraint

Methods

fail :: FailCts ReadP => String -> ReadP a

Fail ((->) r)

Associated Types

type FailCts ((->) r :: * -> *) :: Constraint

Methods

fail :: FailCts ((->) r) => String -> r -> a

Fail (Either e)

Associated Types

type FailCts (Either e :: * -> *) :: Constraint

Methods

fail :: FailCts (Either e) => String -> Either e a

Fail (ST s)

Associated Types

type FailCts (ST s :: * -> *) :: Constraint

Methods

fail :: FailCts (ST s) => String -> ST s a

Fail (ST s)

Associated Types

type FailCts (ST s :: * -> *) :: Constraint

Methods

fail :: FailCts (ST s) => String -> ST s a

(Fail m, Monad m) => Fail (WrappedMonad m)

TODO / FIXME: This has the same issue as the Bind instance for WrappedMonad.

Associated Types

type FailCts (WrappedMonad m :: * -> *) :: Constraint

Methods

fail :: FailCts (WrappedMonad m) => String -> WrappedMonad m a

ArrowApply a => Fail (ArrowMonad a)

Associated Types

type FailCts (ArrowMonad a :: * -> *) :: Constraint

Methods

fail :: FailCts (ArrowMonad a) => String -> ArrowMonad a a

Fail (Proxy *)

Associated Types

type FailCts (Proxy * :: * -> *) :: Constraint

Methods

fail :: FailCts (Proxy *) => String -> Proxy * a

Return m => Fail (MaybeT m)

Associated Types

type FailCts (MaybeT m :: * -> *) :: Constraint

Methods

fail :: FailCts (MaybeT m) => String -> MaybeT m a

Return m => Fail (ListT m)

Associated Types

type FailCts (ListT m :: * -> *) :: Constraint

Methods

fail :: FailCts (ListT m) => String -> ListT m a

Fail a => Fail (Alt * a)

Associated Types

type FailCts (Alt * a :: * -> *) :: Constraint

Methods

fail :: FailCts (Alt * a) => String -> Alt * a a

Fail m => Fail (ExceptT e m)

Associated Types

type FailCts (ExceptT e m :: * -> *) :: Constraint

Methods

fail :: FailCts (ExceptT e m) => String -> ExceptT e m a

Fail m => Fail (StateT s m)

Associated Types

type FailCts (StateT s m :: * -> *) :: Constraint

Methods

fail :: FailCts (StateT s m) => String -> StateT s m a

Fail m => Fail (StateT s m)

Associated Types

type FailCts (StateT s m :: * -> *) :: Constraint

Methods

fail :: FailCts (StateT s m) => String -> StateT s m a

(Monoid w, Fail m) => Fail (WriterT w m)

Associated Types

type FailCts (WriterT w m :: * -> *) :: Constraint

Methods

fail :: FailCts (WriterT w m) => String -> WriterT w m a

(Monoid w, Fail m) => Fail (WriterT w m)

Associated Types

type FailCts (WriterT w m :: * -> *) :: Constraint

Methods

fail :: FailCts (WriterT w m) => String -> WriterT w m a

Fail m => Fail (IdentityT * m)

Associated Types

type FailCts (IdentityT * m :: * -> *) :: Constraint

Methods

fail :: FailCts (IdentityT * m) => String -> IdentityT * m a

(Fail m1, Fail m2) => Fail (Product * m1 m2)

Associated Types

type FailCts (Product * m1 m2 :: * -> *) :: Constraint

Methods

fail :: FailCts (Product * m1 m2) => String -> Product * m1 m2 a

Fail m => Fail (ContT * r m)

Associated Types

type FailCts (ContT * r m :: * -> *) :: Constraint

Methods

fail :: FailCts (ContT * r m) => String -> ContT * r m a

Fail m => Fail (ReaderT * r m)

Associated Types

type FailCts (ReaderT * r m :: * -> *) :: Constraint

Methods

fail :: FailCts (ReaderT * r m) => String -> ReaderT * r m a

(Monoid w, Fail m) => Fail (RWST r w s m)

Associated Types

type FailCts (RWST r w s m :: * -> *) :: Constraint

Methods

fail :: FailCts (RWST r w s m) => String -> RWST r w s m a

(Monoid w, Fail m) => Fail (RWST r w s m)

Associated Types

type FailCts (RWST r w s m :: * -> *) :: Constraint

Methods

fail :: FailCts (RWST r w s m) => String -> RWST r w s m a

Conveniences

type family Monad m :: Constraint where ...

A short-hand for writing polymorphic standard monad functions.

Equations

Monad m = (Bind m m m, Return m, Fail m)