Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
matchConFamily :: [Id] -> Type -> [[EquationInfo]] -> DsM MatchResultSource
matchPatSyn :: [Id] -> Type -> [EquationInfo] -> DsM MatchResultSource
Safe Haskell | None |
---|---|
Language | Haskell98 |
matchConFamily :: [Id] -> Type -> [[EquationInfo]] -> DsM MatchResultSource
matchPatSyn :: [Id] -> Type -> [EquationInfo] -> DsM MatchResultSource