Control.Effect.Type.Alt

Documentation

data Alt (m :: Type -> Type) a where

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.

Constructors

Empty :: Alt m a

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