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