category-0.2.5.0: Categorical types and classes

Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Trans.Reader

Documentation

newtype ReaderT s r f a Source #

Constructors

ReaderT 

Fields

Instances
(Functor t ((->) :: Type -> Type -> Type) f, Functor ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (s r)) => Functor (t :: k2 -> k2 -> Type) ((->) :: Type -> Type -> Type) (ReaderT s r f :: k2 -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Reader

Methods

map :: t a b -> ReaderT s r f a -> ReaderT s r f b Source #

Functor s t f => Functor (s :: k2 -> k2 -> Type) ((->) :: Type -> Type -> Type) (ReaderT t r f :: k2 -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Reader

Methods

map :: s a b -> ReaderT t r f a -> ReaderT t r f b Source #

Functor t (NT ((->) :: Type -> Type -> Type) :: (k2 -> Type) -> (k2 -> Type) -> Type) s => Functor (t :: k3 -> k3 -> Type) (NT (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) :: ((k1 -> k2) -> k1 -> Type) -> ((k1 -> k2) -> k1 -> Type) -> Type) (ReaderT s :: k3 -> (k1 -> k2) -> k1 -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Reader

Methods

map :: t a b -> NT (NT (->)) (ReaderT s a) (ReaderT s b) Source #

Comonad ((->) :: Type -> Type -> Type) ɯ => Comonad ((->) :: Type -> Type -> Type) (ReaderT (,) r ɯ :: Type -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Reader

Methods

counit :: ReaderT (,) r ɯ a -> a Source #

cut :: ReaderT (,) r ɯ a -> ReaderT (,) r ɯ (ReaderT (,) r ɯ a) Source #

cobind :: (ReaderT (,) r ɯ a -> b) -> ReaderT (,) r ɯ a -> ReaderT (,) r ɯ b Source #

Monad ((->) :: Type -> Type -> Type) f => Monad ((->) :: Type -> Type -> Type) (ReaderT ((->) :: Type -> Type -> Type) r f :: Type -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Reader

Methods

unit :: a -> ReaderT (->) r f a Source #

join :: ReaderT (->) r f (ReaderT (->) r f a) -> ReaderT (->) r f a Source #

bind :: (a -> ReaderT (->) r f b) -> ReaderT (->) r f a -> ReaderT (->) r f b Source #

Functor t ((->) :: Type -> Type -> Type) (s r) => Functor (NT t :: (k1 -> k3) -> (k1 -> k3) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (ReaderT s r :: (k1 -> k3) -> k1 -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Reader

Methods

map :: NT t a b -> NT (->) (ReaderT s r a) (ReaderT s r b) Source #

Comonad ((->) :: Type -> Type -> Type) (s r) => Comonad (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (ReaderT s r :: (k1 -> Type) -> k1 -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Reader

Methods

counit :: NT (->) (ReaderT s r a) a Source #

cut :: NT (->) (ReaderT s r a) (ReaderT s r (ReaderT s r a)) Source #

cobind :: NT (->) (ReaderT s r a) b -> NT (->) (ReaderT s r a) (ReaderT s r b) Source #

Monad ((->) :: Type -> Type -> Type) (s r) => Monad (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (ReaderT s r :: (k1 -> Type) -> k1 -> Type) Source # 
Instance details

Defined in Data.Functor.Trans.Reader

Methods

unit :: NT (->) a (ReaderT s r a) Source #

join :: NT (->) (ReaderT s r (ReaderT s r a)) (ReaderT s r a) Source #

bind :: NT (->) a (ReaderT s r b) -> NT (->) (ReaderT s r a) (ReaderT s r b) Source #