Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
matchConFamily :: [Id] -> Type -> [[EquationInfo]] -> DsM MatchResult Source
matchPatSyn :: [Id] -> Type -> [EquationInfo] -> DsM MatchResult Source
Safe Haskell | None |
---|---|
Language | Haskell2010 |
matchConFamily :: [Id] -> Type -> [[EquationInfo]] -> DsM MatchResult Source
matchPatSyn :: [Id] -> Type -> [EquationInfo] -> DsM MatchResult Source