ModuleAgda-2.7.0.1Haskell2010

Agda.Syntax.Abstract.PatternSynonyms

Pattern synonym utilities: folding pattern synonym definitions for printing and merging pattern synonym definitions to handle overloaded pattern synonyms.

3 values

PackageAgda-2.7.0.1
Exports3
LanguageHaskell2010
LicenceMIT
SourcePatternSynonyms.hs

valuematchPatternSyn :: PatternSynDefn -> Expr -> Maybe [WithHiding Expr]

Match an expression against a pattern synonym.

valuematchPatternSynP

:: PatternSynDefn
-> Pattern' e
-> Maybe [WithHiding (Pattern' e)]

Match a pattern against a pattern synonym.

valuemergePatternSynDefs :: List1 PatternSynDefn -> Maybe PatternSynDefn

Merge a list of pattern synonym definitions. Fails unless all definitions have the same shape (i.e. equal up to renaming of variables and constructor names).