Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
tidyNPat :: (HsLit -> Pat Id) -> HsOverLit Id -> Maybe (SyntaxExpr Id) -> SyntaxExpr Id -> Type -> Pat Id Source #
matchLiterals :: [Id] -> Type -> [[EquationInfo]] -> DsM MatchResult Source #
matchNPlusKPats :: [Id] -> Type -> [EquationInfo] -> DsM MatchResult Source #
matchNPats :: [Id] -> Type -> [EquationInfo] -> DsM MatchResult Source #