Safe Haskell	None
Language	Haskell2010

Data.Profunctor.Reader

Documentation

newtype ReaderT r p a b Source #

Constructors

ReaderT (p (a, r) b)

Instances details

Profunctor p => ProfunctorReader' r (ReaderT r p) Source #
Instance details Defined in Data.Profunctor.Reader Methods ask' :: ReaderT r p (a, r) b -> ReaderT r p a b Source # local' :: (r -> r) -> ReaderT r p a b -> ReaderT r p a b Source #
(Profunctor p, Category p) => ProfunctorReader r (ReaderT r p) Source #
Instance details Defined in Data.Profunctor.Reader Methods ask :: ReaderT r p a (a, r) Source # reader :: (r -> a -> b) -> ReaderT r p a b Source # local :: (r -> r) -> ReaderT r p a b -> ReaderT r p a b Source #
(Category p, Strong p) => Category (ReaderT r p :: Type -> Type -> Type) Source #
Instance details Defined in Data.Profunctor.Reader Methods id :: forall (a :: k). ReaderT r p a a # (.) :: forall (b :: k) (c :: k) (a :: k). ReaderT r p b c -> ReaderT r p a b -> ReaderT r p a c #
Profunctor p => Profunctor (ReaderT r p) Source #
Instance details Defined in Data.Profunctor.Reader Methods dimap :: (a -> b) -> (c -> d) -> ReaderT r p b c -> ReaderT r p a d # lmap :: (a -> b) -> ReaderT r p b c -> ReaderT r p a c # rmap :: (b -> c) -> ReaderT r p a b -> ReaderT r p a c # (#.) :: forall a b c q. Coercible c b => q b c -> ReaderT r p a b -> ReaderT r p a c # (.#) :: forall a b c q. Coercible b a => ReaderT r p b c -> q a b -> ReaderT r p a c #