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