Data.Profunctor.Reader.Class

Documentation

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

Minimal complete definition

(ask | reader), local

Methods

ask :: p a (a, r)

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

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

Instances

(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

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

Methods

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

local' :: (r -> r) -> p a b -> p a 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