Home
last modified time | relevance | path

Searched refs:TyArg (Results 1 – 25 of 44) sorted by relevance

12

/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/th-expand-syns-0.4.8.0/Language/Haskell/TH/
H A DExpandSyns.hs226 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 DExpandSyns.hs226 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 DSimplUtils.hs282 | 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 DPpr.hs803 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 DPpr.hs808 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 DDatatype.hs1308 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 DDatatype.hs1308 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 DDatatype.hs1308 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 DDatatype.hs1308 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 DDatatype.hs1306 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 DDatatype.hs1308 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 DDatatype.hs1308 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 DDatatype.hs1308 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 DDatatype.hs1308 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 DDatatype.hs1306 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 DDatatype.hs1306 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 DDatatype.hs1306 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 DDatatype.hs1308 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 DDatatype.hs1306 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 DDatatype.hs1306 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 DDatatype.hs1308 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 DDatatype.hs1306 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 DDatatype.hs1306 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 DDatatype.hs1306 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 DDatatype.hs1308 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

12