in-other-words- A higher-order effect system where the sky's the limit
Safe HaskellNone




data Alt m a where Source #

An effect corresponding to the Alternative type class.

Effly's Alternative instance is based on this effect; by having access to Alt, you're able to use <|> and empty inside of effect handlers.

Each Alt interpreter's associated carrier has an Alternative instance based on how it interprets Alt. This means you can use an Alt interpreter to locally gain access to an Alternative instance inside of application code.


Empty :: Alt m a 
Alt :: m a -> m a -> Alt m a