Control.Supermonad.Constrained

Definition of supermonads that support constrained monads.

Supermonads

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

See Control.Supermonad.Bind for details on laws and requirements.

Minimal complete definition

(>>=)

Associated Types

type BindCts m n p (a :: *) (b :: *) :: Constraint

Methods

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

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

Instances

Bind [] [] []

Associated Types

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

Methods

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

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

Bind Maybe Maybe Maybe

Associated Types

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

Methods

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

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

Bind IO IO IO

Associated Types

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

Methods

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

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

Bind Identity Identity Identity

Associated Types

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

Methods

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

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

Bind Min Min Min

Associated Types

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

Methods

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

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

Bind Max Max Max

Associated Types

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

Methods

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

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

Bind First First First

Associated Types

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

Methods

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

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

Bind Last Last Last

Associated Types

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

Methods

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

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

Bind Option Option Option

Associated Types

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

Methods

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

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

Bind NonEmpty NonEmpty NonEmpty

Associated Types

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

Methods

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

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

Bind Complex Complex Complex

Associated Types

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

Methods

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

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

Bind STM STM STM

Associated Types

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

Methods

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

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

Bind Dual Dual Dual

Associated Types

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

Methods

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

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

Bind Sum Sum Sum

Associated Types

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

Methods

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

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

Bind Product Product Product

Associated Types

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

Methods

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

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

Bind First First First

Associated Types

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

Methods

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

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

Bind Last Last Last

Associated Types

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

Methods

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

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

Bind ReadPrec ReadPrec ReadPrec

Associated Types

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

Methods

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

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

Bind ReadP ReadP ReadP

Associated Types

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

Methods

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

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

Bind Set Set Set

Associated Types

type BindCts (Set :: * -> *) (Set :: * -> *) (Set :: * -> *) a b :: Constraint

Methods

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

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

(>>) :: BindCts (Either e) (Either e) (Either e) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (ST s) (ST s) (ST s) a b => 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 :: * -> *) a b :: Constraint

Methods

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

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

Bind m m m => Bind (WrappedMonad m) (WrappedMonad m) (WrappedMonad m)

Associated Types

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

Methods

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

(>>) :: BindCts (WrappedMonad m) (WrappedMonad m) (WrappedMonad m) a b => 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 :: * -> *) a b :: Constraint

Methods

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

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

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

Associated Types

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

Methods

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

(>>) :: BindCts (Proxy *) (Proxy *) (Proxy *) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (MaybeT m) (MaybeT n) (MaybeT p) a b => 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 :: * -> *) a b :: Constraint

Methods

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

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

Bind f f f => Bind (Alt * f) (Alt * f) (Alt * f)

Associated Types

type BindCts (Alt * f :: * -> *) (Alt * f :: * -> *) (Alt * f :: * -> *) a b :: Constraint

Methods

(>>=) :: BindCts (Alt * f) (Alt * f) (Alt * f) a b => Alt * f a -> (a -> Alt * f b) -> Alt * f b

(>>) :: BindCts (Alt * f) (Alt * f) (Alt * f) a b => Alt * f a -> Alt * f b -> Alt * f 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (ExceptT e m) (ExceptT e n) (ExceptT e p) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (StateT s m) (StateT s n) (StateT s p) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (StateT s m) (StateT s n) (StateT s p) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (WriterT w m) (WriterT w n) (WriterT w p) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (WriterT w m) (WriterT w n) (WriterT w p) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (IdentityT * m) (IdentityT * n) (IdentityT * p) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (Product * m1 m2) (Product * n1 n2) (Product * p1 p2) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (ContT * r m) (ContT * r m) (ContT * r m) a b => 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 :: * -> *) a b :: Constraint

Methods

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

(>>) :: BindCts (ReaderT * r m) (ReaderT * r n) (ReaderT * r p) a b => 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 :: * -> *) a b :: Constraint

Methods

(>>=) :: BindCts (RWST r w s m) (RWST r w s n) (RWST r w s p) a b => 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) a b => 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 :: * -> *) a b :: Constraint

Methods

(>>=) :: BindCts (RWST r w s m) (RWST r w s n) (RWST r w s p) a b => 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) a b => RWST r w s m a -> RWST r w s n b -> RWST r w s p b

class CFunctor m => Return m where

See Bind for details on laws and requirements.

Minimal complete definition

return

Associated Types

type ReturnCts m (a :: *) :: Constraint

Methods

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

Instances

Return []

Associated Types

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

Methods

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

Return Maybe

Associated Types

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

Methods

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

Return IO

Associated Types

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

Methods

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

Return Identity

Associated Types

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

Methods

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

Return Min

Associated Types

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

Methods

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

Return Max

Associated Types

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

Methods

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

Return First

Associated Types

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

Methods

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

Return Last

Associated Types

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

Methods

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

Return Option

Associated Types

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

Methods

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

Return NonEmpty

Associated Types

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

Methods

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

Return Complex

Associated Types

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

Methods

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

Return STM

Associated Types

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

Methods

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

Return Dual

Associated Types

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

Methods

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

Return Sum

Associated Types

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

Methods

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

Return Product

Associated Types

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

Methods

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

Return First

Associated Types

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

Methods

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

Return Last

Associated Types

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

Methods

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

Return ReadPrec

Associated Types

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

Methods

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

Return ReadP

Associated Types

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

Methods

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

Return Set

Associated Types

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

Methods

return :: ReturnCts Set a => a -> Set a

Return ((->) r)

Associated Types

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

Methods

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

Return (Either e)

Associated Types

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

Methods

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

Return (ST s)

Associated Types

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

Methods

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

Return (ST s)

Associated Types

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

Methods

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

Return m => Return (WrappedMonad m)

Associated Types

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

Methods

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

ArrowApply a => Return (ArrowMonad a)

Associated Types

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

Methods

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

Return (Proxy *)

Associated Types

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

Methods

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

Return m => Return (MaybeT m)

Associated Types

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

Methods

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

Return m => Return (ListT m)

Associated Types

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

Methods

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

Return m => Return (Alt * m)

Associated Types

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

Methods

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

Return m => Return (ExceptT e m)

Associated Types

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

Methods

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

Return m => Return (StateT s m)

Associated Types

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

Methods

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

Return m => Return (StateT s m)

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

Return m => Return (IdentityT * m)

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

Return (ContT * r m)

Associated Types

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

Methods

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

Return m => Return (ReaderT * r m)

Associated Types

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

Methods

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

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

Associated Types

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

Methods

return :: ReturnCts (RWST r w s m) a => 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 :: * -> *) a :: Constraint

Methods

return :: ReturnCts (RWST r w s m) a => 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 (a :: *) :: Constraint

Methods

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

Instances

Fail []

Associated Types

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

Methods

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

Fail Maybe

Associated Types

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

Methods

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

Fail IO

Associated Types

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

Methods

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

Fail Identity

Associated Types

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

Methods

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

Fail Min

Associated Types

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

Methods

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

Fail Max

Associated Types

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

Methods

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

Fail First

Associated Types

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

Methods

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

Fail Last

Associated Types

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

Methods

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

Fail Option

Associated Types

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

Methods

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

Fail NonEmpty

Associated Types

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

Methods

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

Fail Complex

Associated Types

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

Methods

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

Fail STM

Associated Types

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

Methods

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

Fail Dual

Associated Types

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

Methods

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

Fail Sum

Associated Types

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

Methods

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

Fail Product

Associated Types

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

Methods

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

Fail First

Associated Types

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

Methods

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

Fail Last

Associated Types

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

Methods

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

Fail ReadPrec

Associated Types

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

Methods

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

Fail ReadP

Associated Types

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

Methods

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

Fail Set

Associated Types

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

Methods

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

Fail ((->) r)

Associated Types

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

Methods

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

Fail (Either e)

Associated Types

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

Methods

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

Fail (ST s)

Associated Types

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

Methods

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

Fail (ST s)

Associated Types

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

Methods

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

Fail m => Fail (WrappedMonad m)

Associated Types

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

Methods

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

ArrowApply a => Fail (ArrowMonad a)

Associated Types

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

Methods

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

Fail (Proxy *)

Associated Types

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

Methods

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

Return m => Fail (MaybeT m)

Associated Types

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

Methods

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

Return m => Fail (ListT m)

Associated Types

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

Methods

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

Fail m => Fail (Alt * m)

Associated Types

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

Methods

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

Fail m => Fail (ExceptT e m)

Associated Types

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

Methods

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

Fail m => Fail (StateT s m)

Associated Types

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

Methods

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

Fail m => Fail (StateT s m)

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

Fail m => Fail (IdentityT * m)

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

Fail m => Fail (ContT * r m)

Associated Types

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

Methods

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

Fail m => Fail (ReaderT * r m)

Associated Types

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

Methods

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

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

Associated Types

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

Methods

fail :: FailCts (RWST r w s m) a => 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 :: * -> *) a :: Constraint

Methods

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

class CFunctor f where

Class for constrained functors. Obeys all of the same laws as the standard Functor class, but allows to constrain the functors result type.

Minimal complete definition

fmap

Associated Types

type CFunctorCts f (a :: *) (b :: *) :: Constraint

Methods

fmap :: CFunctorCts f a b => (a -> b) -> f a -> f b

(<$) :: CFunctorCts f b a => a -> f b -> f a

Instances

CFunctor []

Associated Types

type CFunctorCts ([] :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts [] a b => (a -> b) -> [a] -> [b]

(<$) :: CFunctorCts [] b a => a -> [b] -> [a]

CFunctor Maybe

Associated Types

type CFunctorCts (Maybe :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Maybe a b => (a -> b) -> Maybe a -> Maybe b

(<$) :: CFunctorCts Maybe b a => a -> Maybe b -> Maybe a

CFunctor IO

Associated Types

type CFunctorCts (IO :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts IO a b => (a -> b) -> IO a -> IO b

(<$) :: CFunctorCts IO b a => a -> IO b -> IO a

CFunctor Identity

Associated Types

type CFunctorCts (Identity :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Identity a b => (a -> b) -> Identity a -> Identity b

(<$) :: CFunctorCts Identity b a => a -> Identity b -> Identity a

CFunctor Min

Associated Types

type CFunctorCts (Min :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Min a b => (a -> b) -> Min a -> Min b

(<$) :: CFunctorCts Min b a => a -> Min b -> Min a

CFunctor Max

Associated Types

type CFunctorCts (Max :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Max a b => (a -> b) -> Max a -> Max b

(<$) :: CFunctorCts Max b a => a -> Max b -> Max a

CFunctor First

Associated Types

type CFunctorCts (First :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts First a b => (a -> b) -> First a -> First b

(<$) :: CFunctorCts First b a => a -> First b -> First a

CFunctor Last

Associated Types

type CFunctorCts (Last :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Last a b => (a -> b) -> Last a -> Last b

(<$) :: CFunctorCts Last b a => a -> Last b -> Last a

CFunctor Option

Associated Types

type CFunctorCts (Option :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Option a b => (a -> b) -> Option a -> Option b

(<$) :: CFunctorCts Option b a => a -> Option b -> Option a

CFunctor NonEmpty

Associated Types

type CFunctorCts (NonEmpty :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts NonEmpty a b => (a -> b) -> NonEmpty a -> NonEmpty b

(<$) :: CFunctorCts NonEmpty b a => a -> NonEmpty b -> NonEmpty a

CFunctor Complex

Associated Types

type CFunctorCts (Complex :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Complex a b => (a -> b) -> Complex a -> Complex b

(<$) :: CFunctorCts Complex b a => a -> Complex b -> Complex a

CFunctor STM

Associated Types

type CFunctorCts (STM :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts STM a b => (a -> b) -> STM a -> STM b

(<$) :: CFunctorCts STM b a => a -> STM b -> STM a

CFunctor Dual

Associated Types

type CFunctorCts (Dual :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Dual a b => (a -> b) -> Dual a -> Dual b

(<$) :: CFunctorCts Dual b a => a -> Dual b -> Dual a

CFunctor Sum

Associated Types

type CFunctorCts (Sum :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Sum a b => (a -> b) -> Sum a -> Sum b

(<$) :: CFunctorCts Sum b a => a -> Sum b -> Sum a

CFunctor Product

Associated Types

type CFunctorCts (Product :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Product a b => (a -> b) -> Product a -> Product b

(<$) :: CFunctorCts Product b a => a -> Product b -> Product a

CFunctor First

Associated Types

type CFunctorCts (First :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts First a b => (a -> b) -> First a -> First b

(<$) :: CFunctorCts First b a => a -> First b -> First a

CFunctor Last

Associated Types

type CFunctorCts (Last :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Last a b => (a -> b) -> Last a -> Last b

(<$) :: CFunctorCts Last b a => a -> Last b -> Last a

CFunctor ReadPrec

Associated Types

type CFunctorCts (ReadPrec :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts ReadPrec a b => (a -> b) -> ReadPrec a -> ReadPrec b

(<$) :: CFunctorCts ReadPrec b a => a -> ReadPrec b -> ReadPrec a

CFunctor ReadP

Associated Types

type CFunctorCts (ReadP :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts ReadP a b => (a -> b) -> ReadP a -> ReadP b

(<$) :: CFunctorCts ReadP b a => a -> ReadP b -> ReadP a

CFunctor Set

Associated Types

type CFunctorCts (Set :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts Set a b => (a -> b) -> Set a -> Set b

(<$) :: CFunctorCts Set b a => a -> Set b -> Set a

CFunctor ((->) r)

Associated Types

type CFunctorCts ((->) r :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts ((->) r) a b => (a -> b) -> (r -> a) -> r -> b

(<$) :: CFunctorCts ((->) r) b a => a -> (r -> b) -> r -> a

CFunctor (Either e)

Associated Types

type CFunctorCts (Either e :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (Either e) a b => (a -> b) -> Either e a -> Either e b

(<$) :: CFunctorCts (Either e) b a => a -> Either e b -> Either e a

CFunctor (ST s)

Associated Types

type CFunctorCts (ST s :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (ST s) a b => (a -> b) -> ST s a -> ST s b

(<$) :: CFunctorCts (ST s) b a => a -> ST s b -> ST s a

CFunctor (ST s)

Associated Types

type CFunctorCts (ST s :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (ST s) a b => (a -> b) -> ST s a -> ST s b

(<$) :: CFunctorCts (ST s) b a => a -> ST s b -> ST s a

CFunctor m => CFunctor (WrappedMonad m)

Associated Types

type CFunctorCts (WrappedMonad m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (WrappedMonad m) a b => (a -> b) -> WrappedMonad m a -> WrappedMonad m b

(<$) :: CFunctorCts (WrappedMonad m) b a => a -> WrappedMonad m b -> WrappedMonad m a

ArrowApply a => CFunctor (ArrowMonad a)

Associated Types

type CFunctorCts (ArrowMonad a :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (ArrowMonad a) a b => (a -> b) -> ArrowMonad a a -> ArrowMonad a b

(<$) :: CFunctorCts (ArrowMonad a) b a => a -> ArrowMonad a b -> ArrowMonad a a

CFunctor (Proxy *)

Associated Types

type CFunctorCts (Proxy * :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (Proxy *) a b => (a -> b) -> Proxy * a -> Proxy * b

(<$) :: CFunctorCts (Proxy *) b a => a -> Proxy * b -> Proxy * a

CFunctor m => CFunctor (MaybeT m)

Associated Types

type CFunctorCts (MaybeT m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (MaybeT m) a b => (a -> b) -> MaybeT m a -> MaybeT m b

(<$) :: CFunctorCts (MaybeT m) b a => a -> MaybeT m b -> MaybeT m a

CFunctor m => CFunctor (ListT m)

Associated Types

type CFunctorCts (ListT m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (ListT m) a b => (a -> b) -> ListT m a -> ListT m b

(<$) :: CFunctorCts (ListT m) b a => a -> ListT m b -> ListT m a

CFunctor f => CFunctor (Alt * f)

Associated Types

type CFunctorCts (Alt * f :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (Alt * f) a b => (a -> b) -> Alt * f a -> Alt * f b

(<$) :: CFunctorCts (Alt * f) b a => a -> Alt * f b -> Alt * f a

CFunctor m => CFunctor (ExceptT e m)

Associated Types

type CFunctorCts (ExceptT e m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (ExceptT e m) a b => (a -> b) -> ExceptT e m a -> ExceptT e m b

(<$) :: CFunctorCts (ExceptT e m) b a => a -> ExceptT e m b -> ExceptT e m a

CFunctor m => CFunctor (StateT s m)

Associated Types

type CFunctorCts (StateT s m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (StateT s m) a b => (a -> b) -> StateT s m a -> StateT s m b

(<$) :: CFunctorCts (StateT s m) b a => a -> StateT s m b -> StateT s m a

CFunctor m => CFunctor (StateT s m)

Associated Types

type CFunctorCts (StateT s m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (StateT s m) a b => (a -> b) -> StateT s m a -> StateT s m b

(<$) :: CFunctorCts (StateT s m) b a => a -> StateT s m b -> StateT s m a

CFunctor m => CFunctor (WriterT w m)

Associated Types

type CFunctorCts (WriterT w m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (WriterT w m) a b => (a -> b) -> WriterT w m a -> WriterT w m b

(<$) :: CFunctorCts (WriterT w m) b a => a -> WriterT w m b -> WriterT w m a

CFunctor m => CFunctor (WriterT w m)

Associated Types

type CFunctorCts (WriterT w m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (WriterT w m) a b => (a -> b) -> WriterT w m a -> WriterT w m b

(<$) :: CFunctorCts (WriterT w m) b a => a -> WriterT w m b -> WriterT w m a

CFunctor m => CFunctor (IdentityT * m)

Associated Types

type CFunctorCts (IdentityT * m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (IdentityT * m) a b => (a -> b) -> IdentityT * m a -> IdentityT * m b

(<$) :: CFunctorCts (IdentityT * m) b a => a -> IdentityT * m b -> IdentityT * m a

(CFunctor f, CFunctor g) => CFunctor (Product * f g)

Associated Types

type CFunctorCts (Product * f g :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (Product * f g) a b => (a -> b) -> Product * f g a -> Product * f g b

(<$) :: CFunctorCts (Product * f g) b a => a -> Product * f g b -> Product * f g a

CFunctor (ContT * r m)

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

Associated Types

type CFunctorCts (ContT * r m :: * -> *) a b :: Constraint

Methods

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

(<$) :: CFunctorCts (ContT * r m) b a => a -> ContT * r m b -> ContT * r m a

CFunctor m => CFunctor (ReaderT * r m)

Associated Types

type CFunctorCts (ReaderT * r m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (ReaderT * r m) a b => (a -> b) -> ReaderT * r m a -> ReaderT * r m b

(<$) :: CFunctorCts (ReaderT * r m) b a => a -> ReaderT * r m b -> ReaderT * r m a

CFunctor m => CFunctor (RWST r w s m)

Associated Types

type CFunctorCts (RWST r w s m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (RWST r w s m) a b => (a -> b) -> RWST r w s m a -> RWST r w s m b

(<$) :: CFunctorCts (RWST r w s m) b a => a -> RWST r w s m b -> RWST r w s m a

CFunctor m => CFunctor (RWST r w s m)

Associated Types

type CFunctorCts (RWST r w s m :: * -> *) a b :: Constraint

Methods

fmap :: CFunctorCts (RWST r w s m) a b => (a -> b) -> RWST r w s m a -> RWST r w s m b

(<$) :: CFunctorCts (RWST r w s m) b a => a -> RWST r w s m b -> 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)