/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/th-expand-syns-0.4.8.0/Language/Haskell/TH/ |
H A D | ExpandSyns.hs | 226 applyTypeArg f (TyArg _x) = 242 getTANormal (TyArg {}) = Nothing 346 go (TyArg k':acc) t 369 | TyArg Kind -- Visible kind applications constructor
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/th-expand-syns-0.4.8.0/Language/Haskell/TH/ |
H A D | ExpandSyns.hs | 226 applyTypeArg f (TyArg _x) = 242 getTANormal (TyArg {}) = Nothing 346 go (TyArg k':acc) t 369 | TyArg Kind -- Visible kind applications constructor
|
/dports/lang/ghc/ghc-8.10.7/compiler/simplCore/ |
H A D | SimplUtils.hs | 282 | TyArg { as_arg_ty :: OutType -- Apply to this type; c.f. ApplyToTy constructor 296 ppr (TyArg { as_arg_ty = ty }) = text "TyArg" <+> ppr ty 321 arg_spec = TyArg { as_arg_ty = arg_ty, as_hole_ty = poly_fun_ty } 337 argInfoAppArgs (TyArg { as_arg_ty = ty } : as) = Type ty : argInfoAppArgs as 343 TyArg { as_arg_ty = arg_ty, as_hole_ty = hole_ty } function 359 go (TyArg { as_arg_ty = ty } : as) = go as `App` Type ty
|
/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 | Ppr.hs | 803 ppr (TyArg ki) = char '@' <> parensIf (isStarT ki) (ppr ki) 807 pprParendTypeArg (TyArg ki) = char '@' <> parensIf (isStarT ki) (pprParendType ki) 843 fromTANormal (TyArg _) = Nothing 859 | TyArg Kind constructor 864 go (AppKindT ty ki) args = go ty (TyArg ki:args)
|
/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 | Ppr.hs | 808 ppr (TyArg ki) = char '@' <> parensIf (isStarT ki) (ppr ki) 812 pprParendTypeArg (TyArg ki) = char '@' <> parensIf (isStarT ki) (pprParendType ki) 848 fromTANormal (TyArg _) = Nothing 864 | TyArg Kind constructor 869 go (AppKindT ty ki) args = go ty (TyArg ki:args)
|
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1306 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1391 go args (AppKindT f x) = go (TyArg x:args) f 1399 | TyArg Kind constructor 1404 appTypeArg f (TyArg _k) = 1417 f (TyArg {}) = Nothing
|
/dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1306 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1391 go args (AppKindT f x) = go (TyArg x:args) f 1399 | TyArg Kind constructor 1404 appTypeArg f (TyArg _k) = 1417 f (TyArg {}) = Nothing
|
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1306 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1391 go args (AppKindT f x) = go (TyArg x:args) f 1399 | TyArg Kind constructor 1404 appTypeArg f (TyArg _k) = 1417 f (TyArg {}) = Nothing
|
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1306 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1391 go args (AppKindT f x) = go (TyArg x:args) f 1399 | TyArg Kind constructor 1404 appTypeArg f (TyArg _k) = 1417 f (TyArg {}) = Nothing
|
/dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1306 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1391 go args (AppKindT f x) = go (TyArg x:args) f 1399 | TyArg Kind constructor 1404 appTypeArg f (TyArg _k) = 1417 f (TyArg {}) = Nothing
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1306 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1391 go args (AppKindT f x) = go (TyArg x:args) f 1399 | TyArg Kind constructor 1404 appTypeArg f (TyArg _k) = 1417 f (TyArg {}) = Nothing
|
/dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1306 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1391 go args (AppKindT f x) = go (TyArg x:args) f 1399 | TyArg Kind constructor 1404 appTypeArg f (TyArg _k) = 1417 f (TyArg {}) = Nothing
|
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1306 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1391 go args (AppKindT f x) = go (TyArg x:args) f 1399 | TyArg Kind constructor 1404 appTypeArg f (TyArg _k) = 1417 f (TyArg {}) = Nothing
|
/dports/www/hs-wai-app-static/wai-app-static-3.1.7.2/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1306 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1391 go args (AppKindT f x) = go (TyArg x:args) f 1399 | TyArg Kind constructor 1404 appTypeArg f (TyArg _k) = 1417 f (TyArg {}) = Nothing
|
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
H A D | Datatype.hs | 1308 resolveTypeArgSynonyms (TyArg k) = TyArg <$> resolveKindSynonyms k 1394 go args (AppKindT f x) = go (TyArg x:args) f 1402 | TyArg Kind constructor 1407 appTypeArg f (TyArg _k) = 1420 f (TyArg {}) = Nothing
|