ddc-base-0.3.2.1: Disciplined Disciple Compiler common utilities.
DDC.Control.Monad.Check
Description
A simple exception monad.
Synopsis
data CheckM err a Source
Constructors
Instances
throw :: err -> CheckM err aSource
Throw a type error in the monad.
result :: CheckM err a -> Either err aSource
Take the result from a check monad.