Ether.Reader

MonadReader class

class MonadReader tag r m

ask

local

reader

asks

The Reader monad

type Reader tag r

runReader

The ReaderT monad transformer

type ReaderT tag r

readerT

runReaderT

The Reader monad (flattened)

type Readers r

runReaders

The ReaderT monad transformer (flattened)

type ReadersT r

runReadersT

MonadReader class (implicit)

type MonadReader' r

local'

ask'

reader'

asks'

The Reader monad (implicit)

type Reader' r

runReader'

The ReaderT monad transformer (implicit)

type ReaderT' r

readerT'

runReaderT'

Internal labels

data TAGGED e t

data READER

type family READERS (ts :: HList xs) :: [Type] where ...