Control.Dsl.Empty

Documentation

data Empty r a where

Constructors

Empty :: Empty r Void

Instances

Alternative m => PolyCont Empty (m a) Void

Defined in Control.Dsl.Empty

Methods

runPolyCont :: Empty r' Void -> (Void -> m a) -> m a

PolyCont Empty r Void => PolyCont Empty (Cont r a) Void

Defined in Control.Dsl.Cont

Methods

runPolyCont :: Empty r' Void -> (Void -> Cont r a) -> Cont r a

PolyCont Empty r Void => PolyCont Empty (State s r) Void

Defined in Control.Dsl.State.State

Methods

runPolyCont :: Empty r' Void -> (Void -> State s r) -> State s r

empty :: PolyCont Empty a Void => a

Return an empty a, similar to empty.

This empty function aims to be used as the last statement of a do block.