| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/Internal/ |
| H A D | PrismTH.hs | 169 ( [ sigD n (return (quantifyType [] (stabToType Set.empty stab)))
200 stabToType :: Set Name -> Stab -> Type
201 stabToType clsTVBNames stab@(Stab cx ty s t a b) = function
431 [ sigD defName (return (stabToType (Set.fromList (r:vNames)) stab'))
|
| H A D | FieldTH.hs | 215 stabToType :: OpticStab -> Type
216 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
217 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
324 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/Internal/ |
| H A D | PrismTH.hs | 168 ( [ sigD n (close (stabToType stab))
199 stabToType :: Stab -> Type
200 stabToType stab@(Stab cx ty s t a b) = ForallT vs cx $ function
435 [ sigD defName (return (stabToType stab'))
|
| H A D | FieldTH.hs | 214 stabToType :: OpticStab -> Type
215 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
216 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
280 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/Internal/ |
| H A D | PrismTH.hs | 168 ( [ sigD n (close (stabToType stab))
199 stabToType :: Stab -> Type
200 stabToType stab@(Stab cx ty s t a b) = ForallT vs cx $ function
435 [ sigD defName (return (stabToType stab'))
|
| H A D | FieldTH.hs | 214 stabToType :: OpticStab -> Type
215 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
216 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
280 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/Internal/ |
| H A D | PrismTH.hs | 168 ( [ sigD n (close (stabToType stab))
199 stabToType :: Stab -> Type
200 stabToType stab@(Stab cx ty s t a b) = ForallT vs cx $ function
435 [ sigD defName (return (stabToType stab'))
|
| H A D | FieldTH.hs | 214 stabToType :: OpticStab -> Type
215 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
216 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
280 TopName n -> [sigD n (return (stabToType defType))]
|
| /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 | PrismTH.hs | 169 ( [ sigD n (return (quantifyType [] (stabToType Set.empty stab)))
200 stabToType :: Set Name -> Stab -> Type
201 stabToType clsTVBNames stab@(Stab cx ty s t a b) = function
431 [ sigD defName (return (stabToType (Set.fromList (r:vNames)) stab'))
|
| H A D | FieldTH.hs | 215 stabToType :: OpticStab -> Type
216 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
217 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
324 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 920 stabToType :: OpticStab -> Type
921 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
922 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
1030 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/microlens-th-0.4.3.5/src/Lens/Micro/ |
| H A D | TH.hs | 927 stabToType :: OpticStab -> Type
928 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
929 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
993 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 920 stabToType :: OpticStab -> Type
921 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
922 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
1030 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/microlens-th-0.4.3.5/src/Lens/Micro/ |
| H A D | TH.hs | 927 stabToType :: OpticStab -> Type
928 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
929 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
993 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/microlens-th-0.4.3.5/src/Lens/Micro/ |
| H A D | TH.hs | 927 stabToType :: OpticStab -> Type
928 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
929 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
993 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/microlens-th-0.4.3.9/src/Lens/Micro/ |
| H A D | TH.hs | 929 stabToType :: OpticStab -> Type
930 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
931 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
995 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/microlens-th-0.4.3.9/src/Lens/Micro/ |
| H A D | TH.hs | 929 stabToType :: OpticStab -> Type
930 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
931 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
995 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-th-0.3.0.2/src/Optics/TH/Internal/ |
| H A D | Product.hs | 340 stabToType :: OpticStab -> Type
341 stabToType (OpticStab c s t a b) = function
343 stabToType (OpticSa vs cx c s a) = function
486 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 920 stabToType :: OpticStab -> Type
921 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
922 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
1030 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 920 stabToType :: OpticStab -> Type
921 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
922 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
1030 TopName n -> [sigD n (return (stabToType defType))]
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 920 stabToType :: OpticStab -> Type
921 stabToType (OpticStab c s t a b) = quantifyType [] (c `conAppsT` [s,t,a,b]) function
922 stabToType (OpticSa cx c s a ) = quantifyType cx (c `conAppsT` [s,a]) function
1030 TopName n -> [sigD n (return (stabToType defType))]
|