Control.Super.Monad.Constrained

Definition of supermonads that support constrained monads.

Supermonads

class (Functor m, Functor n, Functor 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 infixl 1

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

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 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 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 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 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 (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 (U1 *) (U1 *) (U1 *)

Associated Types

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

Methods

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

(>>) :: BindCts (U1 *) (U1 *) (U1 *) a b => U1 * a -> U1 * b -> U1 * 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 n p => Bind (WrappedMonad m) (WrappedMonad n) (WrappedMonad p)

Associated Types

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

Methods

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

(>>) :: BindCts (WrappedMonad m) (WrappedMonad n) (WrappedMonad p) a b => WrappedMonad m a -> WrappedMonad n b -> WrappedMonad p 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 m n p => Bind (Rec1 * m) (Rec1 * n) (Rec1 * p)

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

(>>) :: BindCts (Alt * f) (Alt * g) (Alt * h) a b => Alt * f a -> Alt * g b -> Alt * h 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 ((->) LiftedRep LiftedRep r) ((->) LiftedRep LiftedRep r) ((->) LiftedRep LiftedRep r)

Associated Types

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

Methods

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

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

(Bind f g h, Bind f' g' h') => Bind ((:*:) * f f') ((:*:) * g g') ((:*:) * h h')

Associated Types

type BindCts ((* :*: f) f' :: * -> *) ((* :*: g) g' :: * -> *) ((* :*: h) h' :: * -> *) a b :: Constraint

Methods

(>>=) :: BindCts ((* :*: f) f') ((* :*: g) g') ((* :*: h) h') a b => (* :*: f) f' a -> (a -> (* :*: g) g' b) -> (* :*: h) h' b

(>>) :: BindCts ((* :*: f) f') ((* :*: g) g') ((* :*: h) h') a b => (* :*: f) f' a -> (* :*: g) g' b -> (* :*: h) h' 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

Bind f g h => Bind (M1 * i c f) (M1 * i c g) (M1 * i c h)

Associated Types

type BindCts (M1 * i c f :: * -> *) (M1 * i c g :: * -> *) (M1 * i c h :: * -> *) a b :: Constraint

Methods

(>>=) :: BindCts (M1 * i c f) (M1 * i c g) (M1 * i c h) a b => M1 * i c f a -> (a -> M1 * i c g b) -> M1 * i c h b

(>>) :: BindCts (M1 * i c f) (M1 * i c g) (M1 * i c h) a b => M1 * i c f a -> M1 * i c g b -> M1 * i c h 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 Functor 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 Complex

Associated Types

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

Methods

return :: ReturnCts Complex a => a -> Complex 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 Identity

Associated Types

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

Methods

return :: ReturnCts Identity a => a -> Identity 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 (Either e)

Associated Types

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

Methods

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

Return (U1 *)

Associated Types

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

Methods

return :: ReturnCts (U1 *) a => a -> U1 * 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 (Rec1 * m)

Associated Types

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

Methods

return :: ReturnCts (Rec1 * m) a => a -> Rec1 * 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 ((->) LiftedRep LiftedRep r)

Associated Types

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

Methods

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

(Return f, Return g) => Return ((:*:) * f g)

Associated Types

type ReturnCts ((* :*: f) g :: * -> *) a :: Constraint

Methods

return :: ReturnCts ((* :*: f) g) a => a -> (* :*: f) g 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

Return f => Return (M1 * i c f)

Associated Types

type ReturnCts (M1 * i c f :: * -> *) a :: Constraint

Methods

return :: ReturnCts (M1 * i c f) a => a -> M1 * i c f a

(Return f, Return g) => Return ((:.:) * * f g)

Associated Types

type ReturnCts ((* :.: *) f g :: * -> *) a :: Constraint

Methods

return :: ReturnCts ((* :.: *) f g) a => a -> (* :.: *) f g a

(Return f, Return f') => Return (Compose * * f f')

Associated Types

type ReturnCts (Compose * * f f' :: * -> *) a :: Constraint

Methods

return :: ReturnCts (Compose * * f f') a => a -> Compose * * f f' 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 Complex

Associated Types

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

Methods

fail :: FailCts Complex a => String -> Complex 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 Identity

Associated Types

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

Methods

fail :: FailCts Identity a => String -> Identity 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 (Either e)

Associated Types

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

Methods

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

Fail (U1 *)

Associated Types

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

Methods

fail :: FailCts (U1 *) a => String -> U1 * 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 (Rec1 * m)

Associated Types

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

Methods

fail :: FailCts (Rec1 * m) a => String -> Rec1 * 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 ((->) LiftedRep LiftedRep r)

Associated Types

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

Methods

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

(Fail f, Fail g) => Fail ((:*:) * f g)

Associated Types

type FailCts ((* :*: f) g :: * -> *) a :: Constraint

Methods

fail :: FailCts ((* :*: f) g) a => String -> (* :*: f) g 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

Fail f => Fail (M1 * i c f)

Associated Types

type FailCts (M1 * i c f :: * -> *) a :: Constraint

Methods

fail :: FailCts (M1 * i c f) a => String -> M1 * i c f 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

Super-Applicatives

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

TODO

Minimal complete definition

(<*>), (*>), (<*)

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts m n p a b => m (a -> b) -> n a -> p b infixl 4

(*>) :: ApplicativeCtsR m n p a b => m a -> n b -> p b infixl 4

(<*) :: ApplicativeCtsL m n p a b => m a -> n b -> p a infixl 4

Instances

Applicative [] [] []

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts [] [] [] a b => [a -> b] -> [a] -> [b]

(*>) :: ApplicativeCtsR [] [] [] a b => [a] -> [b] -> [b]

(<*) :: ApplicativeCtsL [] [] [] a b => [a] -> [b] -> [a]

Applicative Maybe Maybe Maybe

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Maybe Maybe Maybe a b => Maybe (a -> b) -> Maybe a -> Maybe b

(*>) :: ApplicativeCtsR Maybe Maybe Maybe a b => Maybe a -> Maybe b -> Maybe b

(<*) :: ApplicativeCtsL Maybe Maybe Maybe a b => Maybe a -> Maybe b -> Maybe a

Applicative IO IO IO

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts IO IO IO a b => IO (a -> b) -> IO a -> IO b

(*>) :: ApplicativeCtsR IO IO IO a b => IO a -> IO b -> IO b

(<*) :: ApplicativeCtsL IO IO IO a b => IO a -> IO b -> IO a

Applicative Complex Complex Complex

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Complex Complex Complex a b => Complex (a -> b) -> Complex a -> Complex b

(*>) :: ApplicativeCtsR Complex Complex Complex a b => Complex a -> Complex b -> Complex b

(<*) :: ApplicativeCtsL Complex Complex Complex a b => Complex a -> Complex b -> Complex a

Applicative Min Min Min

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Min Min Min a b => Min (a -> b) -> Min a -> Min b

(*>) :: ApplicativeCtsR Min Min Min a b => Min a -> Min b -> Min b

(<*) :: ApplicativeCtsL Min Min Min a b => Min a -> Min b -> Min a

Applicative Max Max Max

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Max Max Max a b => Max (a -> b) -> Max a -> Max b

(*>) :: ApplicativeCtsR Max Max Max a b => Max a -> Max b -> Max b

(<*) :: ApplicativeCtsL Max Max Max a b => Max a -> Max b -> Max a

Applicative First First First

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts First First First a b => First (a -> b) -> First a -> First b

(*>) :: ApplicativeCtsR First First First a b => First a -> First b -> First b

(<*) :: ApplicativeCtsL First First First a b => First a -> First b -> First a

Applicative Last Last Last

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Last Last Last a b => Last (a -> b) -> Last a -> Last b

(*>) :: ApplicativeCtsR Last Last Last a b => Last a -> Last b -> Last b

(<*) :: ApplicativeCtsL Last Last Last a b => Last a -> Last b -> Last a

Applicative Option Option Option

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Option Option Option a b => Option (a -> b) -> Option a -> Option b

(*>) :: ApplicativeCtsR Option Option Option a b => Option a -> Option b -> Option b

(<*) :: ApplicativeCtsL Option Option Option a b => Option a -> Option b -> Option a

Applicative NonEmpty NonEmpty NonEmpty

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts NonEmpty NonEmpty NonEmpty a b => NonEmpty (a -> b) -> NonEmpty a -> NonEmpty b

(*>) :: ApplicativeCtsR NonEmpty NonEmpty NonEmpty a b => NonEmpty a -> NonEmpty b -> NonEmpty b

(<*) :: ApplicativeCtsL NonEmpty NonEmpty NonEmpty a b => NonEmpty a -> NonEmpty b -> NonEmpty a

Applicative Identity Identity Identity

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Identity Identity Identity a b => Identity (a -> b) -> Identity a -> Identity b

(*>) :: ApplicativeCtsR Identity Identity Identity a b => Identity a -> Identity b -> Identity b

(<*) :: ApplicativeCtsL Identity Identity Identity a b => Identity a -> Identity b -> Identity a

Applicative STM STM STM

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts STM STM STM a b => STM (a -> b) -> STM a -> STM b

(*>) :: ApplicativeCtsR STM STM STM a b => STM a -> STM b -> STM b

(<*) :: ApplicativeCtsL STM STM STM a b => STM a -> STM b -> STM a

Applicative Dual Dual Dual

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Dual Dual Dual a b => Dual (a -> b) -> Dual a -> Dual b

(*>) :: ApplicativeCtsR Dual Dual Dual a b => Dual a -> Dual b -> Dual b

(<*) :: ApplicativeCtsL Dual Dual Dual a b => Dual a -> Dual b -> Dual a

Applicative Sum Sum Sum

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Sum Sum Sum a b => Sum (a -> b) -> Sum a -> Sum b

(*>) :: ApplicativeCtsR Sum Sum Sum a b => Sum a -> Sum b -> Sum b

(<*) :: ApplicativeCtsL Sum Sum Sum a b => Sum a -> Sum b -> Sum a

Applicative Product Product Product

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Product Product Product a b => Product (a -> b) -> Product a -> Product b

(*>) :: ApplicativeCtsR Product Product Product a b => Product a -> Product b -> Product b

(<*) :: ApplicativeCtsL Product Product Product a b => Product a -> Product b -> Product a

Applicative First First First

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts First First First a b => First (a -> b) -> First a -> First b

(*>) :: ApplicativeCtsR First First First a b => First a -> First b -> First b

(<*) :: ApplicativeCtsL First First First a b => First a -> First b -> First a

Applicative Last Last Last

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Last Last Last a b => Last (a -> b) -> Last a -> Last b

(*>) :: ApplicativeCtsR Last Last Last a b => Last a -> Last b -> Last b

(<*) :: ApplicativeCtsL Last Last Last a b => Last a -> Last b -> Last a

Applicative ReadPrec ReadPrec ReadPrec

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts ReadPrec ReadPrec ReadPrec a b => ReadPrec (a -> b) -> ReadPrec a -> ReadPrec b

(*>) :: ApplicativeCtsR ReadPrec ReadPrec ReadPrec a b => ReadPrec a -> ReadPrec b -> ReadPrec b

(<*) :: ApplicativeCtsL ReadPrec ReadPrec ReadPrec a b => ReadPrec a -> ReadPrec b -> ReadPrec a

Applicative ReadP ReadP ReadP

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts ReadP ReadP ReadP a b => ReadP (a -> b) -> ReadP a -> ReadP b

(*>) :: ApplicativeCtsR ReadP ReadP ReadP a b => ReadP a -> ReadP b -> ReadP b

(<*) :: ApplicativeCtsL ReadP ReadP ReadP a b => ReadP a -> ReadP b -> ReadP a

Applicative Set Set Set

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts Set Set Set a b => Set (a -> b) -> Set a -> Set b

(*>) :: ApplicativeCtsR Set Set Set a b => Set a -> Set b -> Set b

(<*) :: ApplicativeCtsL Set Set Set a b => Set a -> Set b -> Set a

Applicative (Either e) (Either e) (Either e)

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts (Either e) (Either e) (Either e) a b => Either e (a -> b) -> Either e a -> Either e b

(*>) :: ApplicativeCtsR (Either e) (Either e) (Either e) a b => Either e a -> Either e b -> Either e b

(<*) :: ApplicativeCtsL (Either e) (Either e) (Either e) a b => Either e a -> Either e b -> Either e a

Applicative (U1 *) (U1 *) (U1 *)

Associated Types

type ApplicativeCts (U1 * :: * -> *) (U1 * :: * -> *) (U1 * :: * -> *) a b :: Constraint

type ApplicativeCtsR (U1 * :: * -> *) (U1 * :: * -> *) (U1 * :: * -> *) a b :: Constraint

type ApplicativeCtsL (U1 * :: * -> *) (U1 * :: * -> *) (U1 * :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (U1 *) (U1 *) (U1 *) a b => U1 * (a -> b) -> U1 * a -> U1 * b

(*>) :: ApplicativeCtsR (U1 *) (U1 *) (U1 *) a b => U1 * a -> U1 * b -> U1 * b

(<*) :: ApplicativeCtsL (U1 *) (U1 *) (U1 *) a b => U1 * a -> U1 * b -> U1 * a

Applicative (ST s) (ST s) (ST s)

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts (ST s) (ST s) (ST s) a b => ST s (a -> b) -> ST s a -> ST s b

(*>) :: ApplicativeCtsR (ST s) (ST s) (ST s) a b => ST s a -> ST s b -> ST s b

(<*) :: ApplicativeCtsL (ST s) (ST s) (ST s) a b => ST s a -> ST s b -> ST s a

Applicative (ST s) (ST s) (ST s)

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts (ST s) (ST s) (ST s) a b => ST s (a -> b) -> ST s a -> ST s b

(*>) :: ApplicativeCtsR (ST s) (ST s) (ST s) a b => ST s a -> ST s b -> ST s b

(<*) :: ApplicativeCtsL (ST s) (ST s) (ST s) a b => ST s a -> ST s b -> ST s a

Applicative m n p => Applicative (WrappedMonad m) (WrappedMonad n) (WrappedMonad p)

Associated Types

type ApplicativeCts (WrappedMonad m :: * -> *) (WrappedMonad n :: * -> *) (WrappedMonad p :: * -> *) a b :: Constraint

type ApplicativeCtsR (WrappedMonad m :: * -> *) (WrappedMonad n :: * -> *) (WrappedMonad p :: * -> *) a b :: Constraint

type ApplicativeCtsL (WrappedMonad m :: * -> *) (WrappedMonad n :: * -> *) (WrappedMonad p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (WrappedMonad m) (WrappedMonad n) (WrappedMonad p) a b => WrappedMonad m (a -> b) -> WrappedMonad n a -> WrappedMonad p b

(*>) :: ApplicativeCtsR (WrappedMonad m) (WrappedMonad n) (WrappedMonad p) a b => WrappedMonad m a -> WrappedMonad n b -> WrappedMonad p b

(<*) :: ApplicativeCtsL (WrappedMonad m) (WrappedMonad n) (WrappedMonad p) a b => WrappedMonad m a -> WrappedMonad n b -> WrappedMonad p a

(Arrow a, ArrowApply a) => Applicative (ArrowMonad a) (ArrowMonad a) (ArrowMonad a)

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts (ArrowMonad a) (ArrowMonad a) (ArrowMonad a) a b => ArrowMonad a (a -> b) -> ArrowMonad a a -> ArrowMonad a b

(*>) :: ApplicativeCtsR (ArrowMonad a) (ArrowMonad a) (ArrowMonad a) a b => ArrowMonad a a -> ArrowMonad a b -> ArrowMonad a b

(<*) :: ApplicativeCtsL (ArrowMonad a) (ArrowMonad a) (ArrowMonad a) a b => ArrowMonad a a -> ArrowMonad a b -> ArrowMonad a a

Applicative (Proxy *) (Proxy *) (Proxy *)

Associated Types

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

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

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

Methods

(<*>) :: ApplicativeCts (Proxy *) (Proxy *) (Proxy *) a b => Proxy * (a -> b) -> Proxy * a -> Proxy * b

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

(<*) :: ApplicativeCtsL (Proxy *) (Proxy *) (Proxy *) a b => Proxy * a -> Proxy * b -> Proxy * a

Applicative m n p => Applicative (MaybeT m) (MaybeT n) (MaybeT p)

Associated Types

type ApplicativeCts (MaybeT m :: * -> *) (MaybeT n :: * -> *) (MaybeT p :: * -> *) a b :: Constraint

type ApplicativeCtsR (MaybeT m :: * -> *) (MaybeT n :: * -> *) (MaybeT p :: * -> *) a b :: Constraint

type ApplicativeCtsL (MaybeT m :: * -> *) (MaybeT n :: * -> *) (MaybeT p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (MaybeT m) (MaybeT n) (MaybeT p) a b => MaybeT m (a -> b) -> MaybeT n a -> MaybeT p b

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

(<*) :: ApplicativeCtsL (MaybeT m) (MaybeT n) (MaybeT p) a b => MaybeT m a -> MaybeT n b -> MaybeT p a

Applicative m n p => Applicative (ListT m) (ListT n) (ListT p)

Associated Types

type ApplicativeCts (ListT m :: * -> *) (ListT n :: * -> *) (ListT p :: * -> *) a b :: Constraint

type ApplicativeCtsR (ListT m :: * -> *) (ListT n :: * -> *) (ListT p :: * -> *) a b :: Constraint

type ApplicativeCtsL (ListT m :: * -> *) (ListT n :: * -> *) (ListT p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (ListT m) (ListT n) (ListT p) a b => ListT m (a -> b) -> ListT n a -> ListT p b

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

(<*) :: ApplicativeCtsL (ListT m) (ListT n) (ListT p) a b => ListT m a -> ListT n b -> ListT p a

Applicative f g h => Applicative (Rec1 * f) (Rec1 * g) (Rec1 * h)

Associated Types

type ApplicativeCts (Rec1 * f :: * -> *) (Rec1 * g :: * -> *) (Rec1 * h :: * -> *) a b :: Constraint

type ApplicativeCtsR (Rec1 * f :: * -> *) (Rec1 * g :: * -> *) (Rec1 * h :: * -> *) a b :: Constraint

type ApplicativeCtsL (Rec1 * f :: * -> *) (Rec1 * g :: * -> *) (Rec1 * h :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (Rec1 * f) (Rec1 * g) (Rec1 * h) a b => Rec1 * f (a -> b) -> Rec1 * g a -> Rec1 * h b

(*>) :: ApplicativeCtsR (Rec1 * f) (Rec1 * g) (Rec1 * h) a b => Rec1 * f a -> Rec1 * g b -> Rec1 * h b

(<*) :: ApplicativeCtsL (Rec1 * f) (Rec1 * g) (Rec1 * h) a b => Rec1 * f a -> Rec1 * g b -> Rec1 * h a

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

Associated Types

type ApplicativeCts (Alt * m :: * -> *) (Alt * n :: * -> *) (Alt * p :: * -> *) a b :: Constraint

type ApplicativeCtsR (Alt * m :: * -> *) (Alt * n :: * -> *) (Alt * p :: * -> *) a b :: Constraint

type ApplicativeCtsL (Alt * m :: * -> *) (Alt * n :: * -> *) (Alt * p :: * -> *) a b :: Constraint

Methods

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

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

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

Applicative m n p => Applicative (ExceptT e m) (ExceptT e n) (ExceptT e p)

Associated Types

type ApplicativeCts (ExceptT e m :: * -> *) (ExceptT e n :: * -> *) (ExceptT e p :: * -> *) a b :: Constraint

type ApplicativeCtsR (ExceptT e m :: * -> *) (ExceptT e n :: * -> *) (ExceptT e p :: * -> *) a b :: Constraint

type ApplicativeCtsL (ExceptT e m :: * -> *) (ExceptT e n :: * -> *) (ExceptT e p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (ExceptT e m) (ExceptT e n) (ExceptT e p) a b => ExceptT e m (a -> b) -> ExceptT e n a -> ExceptT e p b

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

(<*) :: ApplicativeCtsL (ExceptT e m) (ExceptT e n) (ExceptT e p) a b => ExceptT e m a -> ExceptT e n b -> ExceptT e p a

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

Associated Types

type ApplicativeCts (StateT s m :: * -> *) (StateT s n :: * -> *) (StateT s p :: * -> *) a b :: Constraint

type ApplicativeCtsR (StateT s m :: * -> *) (StateT s n :: * -> *) (StateT s p :: * -> *) a b :: Constraint

type ApplicativeCtsL (StateT s m :: * -> *) (StateT s n :: * -> *) (StateT s p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (StateT s m) (StateT s n) (StateT s p) a b => StateT s m (a -> b) -> StateT s n a -> StateT s p b

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

(<*) :: ApplicativeCtsL (StateT s m) (StateT s n) (StateT s p) a b => StateT s m a -> StateT s n b -> StateT s p a

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

Associated Types

type ApplicativeCts (StateT s m :: * -> *) (StateT s n :: * -> *) (StateT s p :: * -> *) a b :: Constraint

type ApplicativeCtsR (StateT s m :: * -> *) (StateT s n :: * -> *) (StateT s p :: * -> *) a b :: Constraint

type ApplicativeCtsL (StateT s m :: * -> *) (StateT s n :: * -> *) (StateT s p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (StateT s m) (StateT s n) (StateT s p) a b => StateT s m (a -> b) -> StateT s n a -> StateT s p b

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

(<*) :: ApplicativeCtsL (StateT s m) (StateT s n) (StateT s p) a b => StateT s m a -> StateT s n b -> StateT s p a

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

Associated Types

type ApplicativeCts (WriterT w m :: * -> *) (WriterT w n :: * -> *) (WriterT w p :: * -> *) a b :: Constraint

type ApplicativeCtsR (WriterT w m :: * -> *) (WriterT w n :: * -> *) (WriterT w p :: * -> *) a b :: Constraint

type ApplicativeCtsL (WriterT w m :: * -> *) (WriterT w n :: * -> *) (WriterT w p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (WriterT w m) (WriterT w n) (WriterT w p) a b => WriterT w m (a -> b) -> WriterT w n a -> WriterT w p b

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

(<*) :: ApplicativeCtsL (WriterT w m) (WriterT w n) (WriterT w p) a b => WriterT w m a -> WriterT w n b -> WriterT w p a

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

Associated Types

type ApplicativeCts (WriterT w m :: * -> *) (WriterT w n :: * -> *) (WriterT w p :: * -> *) a b :: Constraint

type ApplicativeCtsR (WriterT w m :: * -> *) (WriterT w n :: * -> *) (WriterT w p :: * -> *) a b :: Constraint

type ApplicativeCtsL (WriterT w m :: * -> *) (WriterT w n :: * -> *) (WriterT w p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (WriterT w m) (WriterT w n) (WriterT w p) a b => WriterT w m (a -> b) -> WriterT w n a -> WriterT w p b

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

(<*) :: ApplicativeCtsL (WriterT w m) (WriterT w n) (WriterT w p) a b => WriterT w m a -> WriterT w n b -> WriterT w p a

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

Associated Types

type ApplicativeCts (IdentityT * m :: * -> *) (IdentityT * n :: * -> *) (IdentityT * p :: * -> *) a b :: Constraint

type ApplicativeCtsR (IdentityT * m :: * -> *) (IdentityT * n :: * -> *) (IdentityT * p :: * -> *) a b :: Constraint

type ApplicativeCtsL (IdentityT * m :: * -> *) (IdentityT * n :: * -> *) (IdentityT * p :: * -> *) a b :: Constraint

Methods

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

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

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

Applicative ((->) LiftedRep LiftedRep r) ((->) LiftedRep LiftedRep r) ((->) LiftedRep LiftedRep r)

Associated Types

type ApplicativeCts ((LiftedRep -> LiftedRep) r :: * -> *) ((LiftedRep -> LiftedRep) r :: * -> *) ((LiftedRep -> LiftedRep) r :: * -> *) a b :: Constraint

type ApplicativeCtsR ((LiftedRep -> LiftedRep) r :: * -> *) ((LiftedRep -> LiftedRep) r :: * -> *) ((LiftedRep -> LiftedRep) r :: * -> *) a b :: Constraint

type ApplicativeCtsL ((LiftedRep -> LiftedRep) r :: * -> *) ((LiftedRep -> LiftedRep) r :: * -> *) ((LiftedRep -> LiftedRep) r :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts ((LiftedRep -> LiftedRep) r) ((LiftedRep -> LiftedRep) r) ((LiftedRep -> LiftedRep) r) a b => (LiftedRep -> LiftedRep) r (a -> b) -> (LiftedRep -> LiftedRep) r a -> (LiftedRep -> LiftedRep) r b

(*>) :: ApplicativeCtsR ((LiftedRep -> LiftedRep) r) ((LiftedRep -> LiftedRep) r) ((LiftedRep -> LiftedRep) r) a b => (LiftedRep -> LiftedRep) r a -> (LiftedRep -> LiftedRep) r b -> (LiftedRep -> LiftedRep) r b

(<*) :: ApplicativeCtsL ((LiftedRep -> LiftedRep) r) ((LiftedRep -> LiftedRep) r) ((LiftedRep -> LiftedRep) r) a b => (LiftedRep -> LiftedRep) r a -> (LiftedRep -> LiftedRep) r b -> (LiftedRep -> LiftedRep) r a

(Applicative f g h, Applicative f' g' h') => Applicative ((:*:) * f f') ((:*:) * g g') ((:*:) * h h')

Associated Types

type ApplicativeCts ((* :*: f) f' :: * -> *) ((* :*: g) g' :: * -> *) ((* :*: h) h' :: * -> *) a b :: Constraint

type ApplicativeCtsR ((* :*: f) f' :: * -> *) ((* :*: g) g' :: * -> *) ((* :*: h) h' :: * -> *) a b :: Constraint

type ApplicativeCtsL ((* :*: f) f' :: * -> *) ((* :*: g) g' :: * -> *) ((* :*: h) h' :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts ((* :*: f) f') ((* :*: g) g') ((* :*: h) h') a b => (* :*: f) f' (a -> b) -> (* :*: g) g' a -> (* :*: h) h' b

(*>) :: ApplicativeCtsR ((* :*: f) f') ((* :*: g) g') ((* :*: h) h') a b => (* :*: f) f' a -> (* :*: g) g' b -> (* :*: h) h' b

(<*) :: ApplicativeCtsL ((* :*: f) f') ((* :*: g) g') ((* :*: h) h') a b => (* :*: f) f' a -> (* :*: g) g' b -> (* :*: h) h' a

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

Associated Types

type ApplicativeCts (Product * m1 m2 :: * -> *) (Product * n1 n2 :: * -> *) (Product * p1 p2 :: * -> *) a b :: Constraint

type ApplicativeCtsR (Product * m1 m2 :: * -> *) (Product * n1 n2 :: * -> *) (Product * p1 p2 :: * -> *) a b :: Constraint

type ApplicativeCtsL (Product * m1 m2 :: * -> *) (Product * n1 n2 :: * -> *) (Product * p1 p2 :: * -> *) a b :: Constraint

Methods

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

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

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

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

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

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

Methods

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

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

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

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

Associated Types

type ApplicativeCts (ReaderT * r m :: * -> *) (ReaderT * r n :: * -> *) (ReaderT * r p :: * -> *) a b :: Constraint

type ApplicativeCtsR (ReaderT * r m :: * -> *) (ReaderT * r n :: * -> *) (ReaderT * r p :: * -> *) a b :: Constraint

type ApplicativeCtsL (ReaderT * r m :: * -> *) (ReaderT * r n :: * -> *) (ReaderT * r p :: * -> *) a b :: Constraint

Methods

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

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

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

Applicative f g h => Applicative (M1 * i c f) (M1 * i c g) (M1 * i c h)

Associated Types

type ApplicativeCts (M1 * i c f :: * -> *) (M1 * i c g :: * -> *) (M1 * i c h :: * -> *) a b :: Constraint

type ApplicativeCtsR (M1 * i c f :: * -> *) (M1 * i c g :: * -> *) (M1 * i c h :: * -> *) a b :: Constraint

type ApplicativeCtsL (M1 * i c f :: * -> *) (M1 * i c g :: * -> *) (M1 * i c h :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (M1 * i c f) (M1 * i c g) (M1 * i c h) a b => M1 * i c f (a -> b) -> M1 * i c g a -> M1 * i c h b

(*>) :: ApplicativeCtsR (M1 * i c f) (M1 * i c g) (M1 * i c h) a b => M1 * i c f a -> M1 * i c g b -> M1 * i c h b

(<*) :: ApplicativeCtsL (M1 * i c f) (M1 * i c g) (M1 * i c h) a b => M1 * i c f a -> M1 * i c g b -> M1 * i c h a

(Applicative f g h, Applicative f' g' h') => Applicative ((:.:) * * f f') ((:.:) * * g g') ((:.:) * * h h')

Associated Types

type ApplicativeCts ((* :.: *) f f' :: * -> *) ((* :.: *) g g' :: * -> *) ((* :.: *) h h' :: * -> *) a b :: Constraint

type ApplicativeCtsR ((* :.: *) f f' :: * -> *) ((* :.: *) g g' :: * -> *) ((* :.: *) h h' :: * -> *) a b :: Constraint

type ApplicativeCtsL ((* :.: *) f f' :: * -> *) ((* :.: *) g g' :: * -> *) ((* :.: *) h h' :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts ((* :.: *) f f') ((* :.: *) g g') ((* :.: *) h h') a b => (* :.: *) f f' (a -> b) -> (* :.: *) g g' a -> (* :.: *) h h' b

(*>) :: ApplicativeCtsR ((* :.: *) f f') ((* :.: *) g g') ((* :.: *) h h') a b => (* :.: *) f f' a -> (* :.: *) g g' b -> (* :.: *) h h' b

(<*) :: ApplicativeCtsL ((* :.: *) f f') ((* :.: *) g g') ((* :.: *) h h') a b => (* :.: *) f f' a -> (* :.: *) g g' b -> (* :.: *) h h' a

(Applicative f g h, Applicative f' g' h') => Applicative (Compose * * f f') (Compose * * g g') (Compose * * h h')

Associated Types

type ApplicativeCts (Compose * * f f' :: * -> *) (Compose * * g g' :: * -> *) (Compose * * h h' :: * -> *) a b :: Constraint

type ApplicativeCtsR (Compose * * f f' :: * -> *) (Compose * * g g' :: * -> *) (Compose * * h h' :: * -> *) a b :: Constraint

type ApplicativeCtsL (Compose * * f f' :: * -> *) (Compose * * g g' :: * -> *) (Compose * * h h' :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (Compose * * f f') (Compose * * g g') (Compose * * h h') a b => Compose * * f f' (a -> b) -> Compose * * g g' a -> Compose * * h h' b

(*>) :: ApplicativeCtsR (Compose * * f f') (Compose * * g g') (Compose * * h h') a b => Compose * * f f' a -> Compose * * g g' b -> Compose * * h h' b

(<*) :: ApplicativeCtsL (Compose * * f f') (Compose * * g g') (Compose * * h h') a b => Compose * * f f' a -> Compose * * g g' b -> Compose * * h h' a

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

Associated Types

type ApplicativeCts (RWST r w s m :: * -> *) (RWST r w s n :: * -> *) (RWST r w s p :: * -> *) a b :: Constraint

type ApplicativeCtsR (RWST r w s m :: * -> *) (RWST r w s n :: * -> *) (RWST r w s p :: * -> *) a b :: Constraint

type ApplicativeCtsL (RWST r w s m :: * -> *) (RWST r w s n :: * -> *) (RWST r w s p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (RWST r w s m) (RWST r w s n) (RWST r w s p) a b => RWST r w s m (a -> b) -> RWST r w s n a -> RWST r w s p b

(*>) :: ApplicativeCtsR (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

(<*) :: ApplicativeCtsL (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 a

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

Associated Types

type ApplicativeCts (RWST r w s m :: * -> *) (RWST r w s n :: * -> *) (RWST r w s p :: * -> *) a b :: Constraint

type ApplicativeCtsR (RWST r w s m :: * -> *) (RWST r w s n :: * -> *) (RWST r w s p :: * -> *) a b :: Constraint

type ApplicativeCtsL (RWST r w s m :: * -> *) (RWST r w s n :: * -> *) (RWST r w s p :: * -> *) a b :: Constraint

Methods

(<*>) :: ApplicativeCts (RWST r w s m) (RWST r w s n) (RWST r w s p) a b => RWST r w s m (a -> b) -> RWST r w s n a -> RWST r w s p b

(*>) :: ApplicativeCtsR (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

(<*) :: ApplicativeCtsL (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 a

pure :: (Return f, ReturnCts f a) => a -> f a

pure is defined in terms of return.

class Functor 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 FunctorCts f (a :: *) (b :: *) :: Constraint

Methods

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

(<$) :: FunctorCts f b a => a -> f b -> f a infixl 4

Instances

Functor []

Associated Types

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

Methods

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

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

Functor Maybe

Associated Types

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

Methods

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

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

Functor IO

Associated Types

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

Methods

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

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

Functor Complex

Associated Types

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

Methods

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

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

Functor Min

Associated Types

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

Methods

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

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

Functor Max

Associated Types

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

Methods

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

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

Functor First

Associated Types

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

Methods

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

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

Functor Last

Associated Types

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

Methods

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

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

Functor Option

Associated Types

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

Methods

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

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

Functor NonEmpty

Associated Types

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

Methods

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

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

Functor Identity

Associated Types

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

Methods

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

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

Functor STM

Associated Types

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

Methods

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

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

Functor Dual

Associated Types

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

Methods

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

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

Functor Sum

Associated Types

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

Methods

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

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

Functor Product

Associated Types

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

Methods

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

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

Functor First

Associated Types

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

Methods

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

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

Functor Last

Associated Types

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

Methods

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

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

Functor ReadPrec

Associated Types

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

Methods

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

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

Functor ReadP

Associated Types

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

Methods

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

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

Functor Set

Associated Types

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

Methods

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

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

Functor (Either e)

Associated Types

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

Methods

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

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

Functor (U1 *)

Associated Types

type FunctorCts (U1 * :: * -> *) a b :: Constraint

Methods

fmap :: FunctorCts (U1 *) a b => (a -> b) -> U1 * a -> U1 * b

(<$) :: FunctorCts (U1 *) b a => a -> U1 * b -> U1 * a

Functor (ST s)

Associated Types

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

Methods

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

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

Functor (ST s)

Associated Types

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

Methods

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

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

Functor m => Functor (WrappedMonad m)

Associated Types

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

Methods

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

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

ArrowApply a => Functor (ArrowMonad a)

Associated Types

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

Methods

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

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

Functor (Proxy *)

Associated Types

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

Methods

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

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

Functor m => Functor (MaybeT m)

Associated Types

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

Methods

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

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

Functor m => Functor (ListT m)

Associated Types

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

Methods

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

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

Functor f => Functor (Rec1 * f)

Associated Types

type FunctorCts (Rec1 * f :: * -> *) a b :: Constraint

Methods

fmap :: FunctorCts (Rec1 * f) a b => (a -> b) -> Rec1 * f a -> Rec1 * f b

(<$) :: FunctorCts (Rec1 * f) b a => a -> Rec1 * f b -> Rec1 * f a

Functor f => Functor (Alt * f)

Associated Types

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

Methods

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

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

Functor m => Functor (ExceptT e m)

Associated Types

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

Methods

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

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

Functor m => Functor (StateT s m)

Associated Types

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

Methods

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

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

Functor m => Functor (StateT s m)

Associated Types

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

Methods

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

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

Functor m => Functor (WriterT w m)

Associated Types

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

Methods

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

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

Functor m => Functor (WriterT w m)

Associated Types

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

Methods

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

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

Functor m => Functor (IdentityT * m)

Associated Types

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

Methods

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

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

Functor ((->) LiftedRep LiftedRep r)

Associated Types

type FunctorCts ((LiftedRep -> LiftedRep) r :: * -> *) a b :: Constraint

Methods

fmap :: FunctorCts ((LiftedRep -> LiftedRep) r) a b => (a -> b) -> (LiftedRep -> LiftedRep) r a -> (LiftedRep -> LiftedRep) r b

(<$) :: FunctorCts ((LiftedRep -> LiftedRep) r) b a => a -> (LiftedRep -> LiftedRep) r b -> (LiftedRep -> LiftedRep) r a

(Functor f, Functor g) => Functor ((:*:) * f g)

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Functor (ContT * r m)

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

Associated Types

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

Methods

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

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

Functor m => Functor (ReaderT * r m)

Associated Types

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

Methods

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

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

Functor f => Functor (M1 * i c f)

Associated Types

type FunctorCts (M1 * i c f :: * -> *) a b :: Constraint

Methods

fmap :: FunctorCts (M1 * i c f) a b => (a -> b) -> M1 * i c f a -> M1 * i c f b

(<$) :: FunctorCts (M1 * i c f) b a => a -> M1 * i c f b -> M1 * i c f a

(Functor f, Functor g) => Functor ((:.:) * * f g)

Associated Types

type FunctorCts ((* :.: *) f g :: * -> *) a b :: Constraint

Methods

fmap :: FunctorCts ((* :.: *) f g) a b => (a -> b) -> (* :.: *) f g a -> (* :.: *) f g b

(<$) :: FunctorCts ((* :.: *) f g) b a => a -> (* :.: *) f g b -> (* :.: *) f g a

(Functor f, Functor g) => Functor (Compose * * f g)

Associated Types

type FunctorCts (Compose * * f g :: * -> *) a b :: Constraint

Methods

fmap :: FunctorCts (Compose * * f g) a b => (a -> b) -> Compose * * f g a -> Compose * * f g b

(<$) :: FunctorCts (Compose * * f g) b a => a -> Compose * * f g b -> Compose * * f g a

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

(<$) :: FunctorCts (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)