in-other-words-0.1.0.0: A higher-order effect system where the sky's the limit

Synopsis

# Documentation

data Ask i m a where Source #

An effect for arbitrary input

Constructors

data Local i m a where Source #

An effect for locally modifying an environment used to gain access to information.

Constructors

 Local :: (i -> i) -> m a -> Local i m a

A pseudo-effect for connected Ask i and Local i effects.

Reader should only ever be used inside of Eff and Effs constraints. It is not a real effect! See Bundle.

newtype ReaderC i m a Source #

Constructors