Safe Haskell | Safe-Infered |
---|
Documentation
check :: [EquationInfo] -> ([ExhaustivePat], [EquationInfo])Source
type ExhaustivePat = ([WarningPat], [(Name, [HsLit])])Source
Safe Haskell | Safe-Infered |
---|
check :: [EquationInfo] -> ([ExhaustivePat], [EquationInfo])Source
type ExhaustivePat = ([WarningPat], [(Name, [HsLit])])Source