Control.Super.Monad.Constrained.Functor

Definition of constrained functors as they are required to work with constrained monads and constrained supermonads.

Documentation

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