Control.Comonad.Reader

Documentation

module Control.Bifunctor

module Control.Comonad

data ReaderC r a

Constructors

ReaderC r a

Instances

Bifunctor ReaderC

ComonadReader r (ReaderC r)

Functor (ReaderC r)

Copointed (ReaderC r)

Comonad (ReaderC r)

runReaderC :: ReaderC r a -> (r, a)

newtype ReaderCT w r a

Constructors

ReaderCT

Fields

runReaderCT :: w (r, a)

Instances

Comonad w => ComonadReader r (ReaderCT w r)

Functor f => Bifunctor (ReaderCT f)

Functor f => Functor (ReaderCT f b)

Copointed w => Copointed (ReaderCT w b)

Comonad w => Comonad (ReaderCT w b)

class Comonad w => ComonadReader r w | w -> r where

Methods

askC :: w a -> r

Instances

ComonadReader e ((,) e)

ComonadReader r (ReaderC r)

Comonad w => ComonadReader r (ReaderCT w r)