Copyright | (C) 2015 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg (rae@cs.brynmawr.edu) |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
The glambda typechecker.
- check :: (MonadError Doc m, MonadReader Globals m) => UExp -> (forall t. STy t -> Exp '[] t -> m r) -> m r
Documentation
check :: (MonadError Doc m, MonadReader Globals m) => UExp -> (forall t. STy t -> Exp '[] t -> m r) -> m r Source #
Check the given expression, aborting on type errors. The resulting
type and checked expression is given to the provided continuation.
This is parameterized over the choice of monad in order to support
pure operation during testing. GlamE
is the canonical choice for the
monad.