Safe Haskell	Safe
Language	Haskell2010

Control.Dsl.Empty

Synopsis

Documentation

data Empty r a where #

Constructors

Instances

Alternative m => PolyCont Empty (m a) Void #
Instance details 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 #
Instance details 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 #
Instance details Defined in Control.Dsl.State.State Methods runPolyCont :: Empty r' Void -> (Void -> State s r) -> State s r #

Return an empty a, similar to empty.

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