Safe Haskell	Safe
Language	Haskell2010

Data.Functor.Trans.Reader

Documentation

newtype ReaderT s r f a Source #

Constructors

ReaderT
Fields runReaderT :: r `s` f a

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 #