Control.Category.Reader

Provides a Reader category transformer.

Documentation

newtype ReaderCT env cat a b

Constructors

ReaderCT

Fields

runReaderCT :: env -> cat a b

Instances

Category * cat => Category * (ReaderCT env cat)

CatTrans (ReaderCT env)

CatPlus cat => CatPlus (ReaderCT env cat)

Coproducts cat => Coproducts (ReaderCT env cat)

Products cat => Products (ReaderCT env cat)

SIArrow cat => SIArrow (ReaderCT env cat)