DDC.Type.Check.Monad

Documentation

data CheckM err a

Type checking monad.

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.