Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Haskell.Liquid.Desugar.MatchCon
Documentation
matchConFamily :: [Id] -> Type -> [[EquationInfo]] -> DsM MatchResult Source #
matchPatSyn :: [Id] -> Type -> [EquationInfo] -> DsM MatchResult Source #
liquidhaskell-0.8.0.2: Liquid Types for Haskell
Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Haskell.Liquid.Desugar.MatchCon
matchConFamily :: [Id] -> Type -> [[EquationInfo]] -> DsM MatchResult Source #
matchPatSyn :: [Id] -> Type -> [EquationInfo] -> DsM MatchResult Source #