| Copyright | (c) 2016 disco team (see LICENSE) |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | byorgey@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Disco.Typecheck.Erase
Description
Typecheck the Disco surface language and transform it into a type-annotated AST.
Synopsis
- erase :: ATerm -> Term
- eraseBinding :: ABinding -> Binding
- erasePattern :: APattern -> Pattern
- eraseBranch :: ABranch -> Branch
- eraseGuard :: AGuard -> Guard
- eraseLink :: ALink -> Link
- eraseQual :: AQual -> Qual
- eraseProperty :: AProperty -> Property
- eraseDTerm :: DTerm -> Term
- eraseDBranch :: DBranch -> Branch
- eraseDGuard :: DGuard -> Guard
- eraseDPattern :: DPattern -> Pattern
Documentation
eraseBinding :: ABinding -> Binding Source #
erasePattern :: APattern -> Pattern Source #
eraseBranch :: ABranch -> Branch Source #
eraseGuard :: AGuard -> Guard Source #
eraseProperty :: AProperty -> Property Source #
eraseDTerm :: DTerm -> Term Source #
eraseDBranch :: DBranch -> Branch Source #
eraseDGuard :: DGuard -> Guard Source #
eraseDPattern :: DPattern -> Pattern Source #