unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.PatternMatchCoverage.Desugar

Synopsis

Documentation

desugarMatch Source #

Arguments

:: forall loc vt v m. Pmc vt v loc m 
=> Type vt loc

scrutinee type

-> v

scrutinee variable

-> [MatchCase loc (Term' vt v loc)]

match cases

-> m (GrdTree (PmGrd vt v loc) loc) 

Desugar a match into a GrdTree