ddc-core-0.2.1.2: Disciple Core language and type checker.

Safe HaskellSafe-Inferred

DDC.Type.Check.Monad

Synopsis

Documentation

data CheckM err a Source

Type checking monad.

Constructors

CheckM (Either err a) 

Instances

Monad (CheckM err) 

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.