Data.Profunctor.Reader

Documentation

newtype ReaderT r p a b

Constructors

ReaderT (p (a, r) b)

Instances

Profunctor p => ProfunctorReader' r (ReaderT r p)

Defined in Data.Profunctor.Reader

Methods

ask' :: ReaderT r p (a, r) b -> ReaderT r p a b

local' :: (r -> r) -> ReaderT r p a b -> ReaderT r p a b

(Profunctor p, Category p) => ProfunctorReader r (ReaderT r p)

Defined in Data.Profunctor.Reader

Methods

ask :: ReaderT r p a (a, r)

reader :: (r -> a -> b) -> ReaderT r p a b

local :: (r -> r) -> ReaderT r p a b -> ReaderT r p a b

(Category p, Strong p) => Category (ReaderT r p :: Type -> Type -> Type)

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)

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