Searched refs:tySynEqn (Results 1 – 9 of 9) sorted by relevance
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/libraries/template-haskell/Language/Haskell/TH/ |
| H A D | Lib.hs | 97 tySynEqn, injectivityAnn, noSig, kindSig, tyVarSig,
138 , tySynEqn
248 tySynEqn :: (Maybe [TyVarBndr]) -> TypeQ -> TypeQ -> TySynEqnQ
249 tySynEqn tvs lhs rhs = function
|
| /dports/lang/ghc/ghc-8.10.7/libraries/template-haskell/Language/Haskell/TH/ |
| H A D | Lib.hs | 97 tySynEqn, injectivityAnn, noSig, kindSig, tyVarSig,
138 , tySynEqn
248 tySynEqn :: (Maybe [TyVarBndr]) -> TypeQ -> TypeQ -> TySynEqnQ
249 tySynEqn tvs lhs rhs = function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/libraries/template-haskell/Language/Haskell/TH/ |
| H A D | Lib.hs | 101 tySynEqn, injectivityAnn, noSig, kindSig, tyVarSig,
142 , tySynEqn
255 tySynEqn :: Quote m => (Maybe [TyVarBndr ()]) -> m Type -> m Type -> m TySynEqn
256 tySynEqn tvs lhs rhs = function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/libraries/template-haskell/Language/Haskell/TH/ |
| H A D | Lib.hs | 102 tySynEqn, injectivityAnn, noSig, kindSig, tyVarSig,
147 , tySynEqn
262 tySynEqn :: Quote m => (Maybe [TyVarBndr ()]) -> m Type -> m Type -> m TySynEqn
263 tySynEqn tvs lhs rhs = function
|
| /dports/lang/ghc/ghc-8.10.7/libraries/template-haskell/ |
| H A D | changelog.md | 39 `dataInstD`, `newtypeInstD`, and `tySynEqn` now all have a
42 of `tySynEqn` has also changed from `[TypeQ] -> TypeQ -> TySynEqnQ` to
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/libraries/template-haskell/Language/Haskell/TH/Lib/ |
| H A D | Internal.hs | 594 tySynEqn :: (Maybe [TyVarBndrQ]) -> TypeQ -> TypeQ -> TySynEqnQ
595 tySynEqn mb_bndrs lhs rhs = function
|
| /dports/lang/ghc/ghc-8.10.7/libraries/template-haskell/Language/Haskell/TH/Lib/ |
| H A D | Internal.hs | 594 tySynEqn :: (Maybe [TyVarBndrQ]) -> TypeQ -> TypeQ -> TySynEqnQ
595 tySynEqn mb_bndrs lhs rhs = function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/libraries/template-haskell/Language/Haskell/TH/Lib/ |
| H A D | Internal.hs | 611 tySynEqn :: Quote m => (Maybe [m (TyVarBndr ())]) -> m Type -> m Type -> m TySynEqn
612 tySynEqn mb_bndrs lhs rhs = function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/libraries/template-haskell/Language/Haskell/TH/Lib/ |
| H A D | Internal.hs | 617 tySynEqn :: Quote m => (Maybe [m (TyVarBndr ())]) -> m Type -> m Type -> m TySynEqn
618 tySynEqn mb_bndrs lhs rhs = function
|