Safe Haskell | None |
---|---|
Language | GHC2021 |
Documentation
matchConFamily :: NonEmpty Id -> Type -> NonEmpty (NonEmpty EquationInfoNE) -> DsM (MatchResult CoreExpr) Source #
matchPatSyn :: NonEmpty Id -> Type -> NonEmpty EquationInfoNE -> DsM (MatchResult CoreExpr) Source #