Safe Haskell | None |
---|
Tools to manipulate patterns in abstract syntax in the TCM (type checking monad).
- expandLitPattern :: NamedArg Pattern -> TCM (NamedArg Pattern)
- class ExpandPatternSynonyms a where
- expandPatternSynonyms :: a -> TCM a
Documentation
expandLitPattern :: NamedArg Pattern -> TCM (NamedArg Pattern)Source
Expand literal integer pattern into suc/zero constructor patterns.
class ExpandPatternSynonyms a whereSource
Expand away (deeply) all pattern synonyms in a pattern.
expandPatternSynonyms :: a -> TCM aSource
ExpandPatternSynonyms Pattern | |
ExpandPatternSynonyms a => ExpandPatternSynonyms [a] | |
ExpandPatternSynonyms a => ExpandPatternSynonyms (Maybe a) | |
ExpandPatternSynonyms a => ExpandPatternSynonyms (Named n a) | |
ExpandPatternSynonyms a => ExpandPatternSynonyms (Arg c a) |