Safe Haskell | None |
---|---|
Language | Haskell2010 |
A bidirectional type checker for internal syntax.
Performs checking on unreduced terms. With the exception that projection-like function applications have to be reduced since they break bidirectionality.
Documentation
checkInternal
traverses the whole Term
, and we can use this
traversal to modify the term.
Action | |
|
defaultAction :: Action Source #
The default action is to not change the Term
at all.