DDC.Control.Monad.Check

A simple exception monad.

Documentation

data CheckM err a

Constructors

CheckM (Either err a)

Instances

Monad (CheckM err)

throw :: err -> CheckM err a

Throw a type error in the monad.

result :: CheckM err a -> Either err a

Take the result from a check monad.