Home
last modified time | relevance | path

Searched refs:mkApps (Results 1 – 25 of 79) sorted by relevance

1234

/dports/lang/ghc/ghc-8.10.7/compiler/deSugar/
H A DDsListComp.hs128 inner_list_expr' = mkApps usingExpr' usingArgs'
138 mkApps (Var map_id) $
256 ; deBindComp pat (Let (Rec [(zip_fn, zip_rhs)]) (mkApps (Var zip_fn) exps))
338 ; return (mkApps (Var c_id) [core_body, Var n_id]) }
564 ; let rhs' = mkApps usingExpr' usingArgs'
590 (mkApps mzip_op' [Type t1, Type t2, e1, e2],
686 ; let mk_elt i = mkApps fmap_op' -- fmap :: forall a b. (a -> b) -> n a -> n b
H A DDsArrows.hs133 do_arr ids b_ty c_ty f = mkApps (arr_id ids) [Type b_ty, Type c_ty, f]
139 = mkApps (compose_id ids) [Type b_ty, Type c_ty, Type d_ty, f, g]
144 = mkApps (first_id ids) [Type b_ty, Type c_ty, Type d_ty, f]
148 do_app ids b_ty c_ty = mkApps (app_id ids) [Type b_ty, Type c_ty]
155 = mkApps (choice_id ids) [Type b_ty, Type d_ty, Type c_ty, f, g]
161 = mkApps (loop_id ids) [Type b_ty, Type d_ty, Type c_ty, f]
688 return (mkApps (App core_op (Type env_ty)) core_args,
H A DDsBinds.hs1249 ; let expr = mkApps (Var mkTrCon) [ Type (typeKind ty)
1265 ; let expr = mkApps (mkTyApps (Var mkTrApp) [ k1, k2, t1, t2 ])
1280 ; return $ mkApps (mkTyApps (Var mkTrFun) [r1, r2, t1, t2])
1289 ; return (mkApps (mkTyApps (Var fun) [ty]) [ dict, proxy ]) }
1313 ; return (mkApps (mkTyApps (Var typeRepId) ty_args) [ typeable_expr ]) }
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/retrie-0.1.1.1/Retrie/
H A DExpr.hs13 , mkApps
117 mkApps :: Monad m => LHsExpr GhcPs -> [LHsExpr GhcPs] -> TransformT m (LHsExpr GhcPs)
118 mkApps e [] = return e function
119 mkApps f (a:as) = do function
125 mkApps f' as
287 lift $ mkApps f as
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/
H A DCore.hs28 mkApps, mkTyApps, mkCoApps, mkVarApps, mkTyArg,
125 infixl 4 `mkApps`, `mkTyApps`, `mkVarApps`, `App`, `mkCoApps`
1400 = Just (mkLams bndrs (mkApps (Var (dataConWorkId con)) args))
1674 mkApps :: Expr b -> [Arg b] -> Expr b
1685 mkApps f args = foldl' App f args function
1688 mkConApp con args = mkApps (Var (dataConWorkId con)) args
1694 `mkApps` map Type tys
1695 `mkApps` map varToCoreExpr arg_ids
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/
H A DCore.hs28 mkApps, mkTyApps, mkCoApps, mkVarApps, mkTyArg,
127 infixl 4 `mkApps`, `mkTyApps`, `mkVarApps`, `App`, `mkCoApps`
1672 = Just (mkLams bndrs (mkApps (Var (dataConWorkId con)) args))
1946 mkApps :: Expr b -> [Arg b] -> Expr b
1957 mkApps f args = foldl' App f args function
1960 mkConApp con args = mkApps (Var (dataConWorkId con)) args
1966 `mkApps` map Type tys
1967 `mkApps` map varToCoreExpr arg_ids
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/coreSyn/
H A DCoreSyn.hs26 mkApps, mkTyApps, mkCoApps, mkVarApps, mkTyArg,
125 infixl 4 `mkApps`, `mkTyApps`, `mkVarApps`, `App`, `mkCoApps`
1662 = Just (mkLams bndrs (mkApps (Var (dataConWorkId con)) args))
1937 mkApps :: Expr b -> [Arg b] -> Expr b
1948 mkApps f args = foldl' App f args function
1951 mkConApp con args = mkApps (Var (dataConWorkId con)) args
1957 `mkApps` map Type tys
1958 `mkApps` map varToCoreExpr arg_ids
/dports/lang/ghc/ghc-8.10.7/compiler/coreSyn/
H A DCoreSyn.hs26 mkApps, mkTyApps, mkCoApps, mkVarApps, mkTyArg,
125 infixl 4 `mkApps`, `mkTyApps`, `mkVarApps`, `App`, `mkCoApps`
1662 = Just (mkLams bndrs (mkApps (Var (dataConWorkId con)) args))
1937 mkApps :: Expr b -> [Arg b] -> Expr b
1948 mkApps f args = foldl' App f args function
1951 mkConApp con args = mkApps (Var (dataConWorkId con)) args
1957 `mkApps` map Type tys
1958 `mkApps` map varToCoreExpr arg_ids
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A DTcEvTerm.hs29 Var errorId `mkTyApps` [getRuntimeRep ty, ty] `mkApps` [litMsg]
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/devel/hs-happy/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/www/hs-hjsmin/hjsmin-0.2.0.4/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly72 > | Apps { mkApps $1 }

1234