| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-th-0.3.0.2/src/Optics/TH/Internal/ |
| H A D | Utils.hs | 69 quantifyType :: [TyVarBndr] -> Cxt -> Type -> Type
70 quantifyType = quantifyType' S.empty function
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/microlens-th-0.4.3.5/src/Lens/Micro/TH/ |
| H A D | Internal.hs | 37 quantifyType, quantifyType',
210 quantifyType :: Cxt -> Type -> Type
211 quantifyType = quantifyType' Set.empty function
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/microlens-th-0.4.3.5/src/Lens/Micro/TH/ |
| H A D | Internal.hs | 37 quantifyType, quantifyType',
210 quantifyType :: Cxt -> Type -> Type
211 quantifyType = quantifyType' Set.empty function
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/microlens-th-0.4.3.5/src/Lens/Micro/TH/ |
| H A D | Internal.hs | 37 quantifyType, quantifyType',
210 quantifyType :: Cxt -> Type -> Type
211 quantifyType = quantifyType' Set.empty function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/th-abstraction-0.3.2.0/ |
| H A D | ChangeLog.md | 37 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
38 instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
44 * Fix a bug in which `quantifyType` would not respect the dependency order of
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/Internal/ |
| H A D | TH.hs | 134 quantifyType :: Cxt -> Type -> Type
135 quantifyType = quantifyType' Set.empty function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/Internal/ |
| H A D | TH.hs | 134 quantifyType :: Cxt -> Type -> Type
135 quantifyType = quantifyType' Set.empty function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/ghci/ |
| H A D | RtClosureInspect.hs | 659 let quant_old_ty@(old_tvs, old_tau) = quantifyType old_ty
675 if isMonomorphic new_ty || check2 (quantifyType new_ty) quant_old_ty
755 (mutvar_ty,_) <- instScheme $ quantifyType $ mkVisFunTy
933 let sigma_old_ty@(old_tvs, _) = quantifyType old_ty
947 if isMonomorphic new_ty || check2 (quantifyType new_ty) sigma_old_ty
1208 -> and$ zipWith check2 (map quantifyType rttis) (map quantifyType olds)
1343 quantifyType :: Type -> QuantifiedType
1351 quantifyType ty = ( filter isTyVar $ function
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/TH/ |
| H A D | Internal.hs | 39 quantifyType, quantifyType',
255 quantifyType :: Cxt -> Type -> Type
256 quantifyType = quantifyType' Set.empty function
|