proton-0.0.4
Safe HaskellNone
LanguageHaskell2010

Data.Profunctor.Reader.Class

Documentation

class Profunctor p => ProfunctorReader r p | p -> r where Source #

Minimal complete definition

(ask | reader), local

Methods

ask :: p a (a, r) Source #

reader :: (r -> a -> b) -> p a b Source #

local :: (r -> r) -> p a b -> p a b Source #

Instances

Instances details
(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 #

class Profunctor p => ProfunctorReader' r p | p -> r where Source #

Methods

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

local' :: (r -> r) -> p a b -> p a b Source #

Instances

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 #