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