Home
last modified time | relevance | path

Searched +defs:lift +defs:expr (Results 1 – 20 of 20) sorted by relevance

/dports/devel/hs-mueval/mueval-0.9.3/_cabal_deps/simple-reflect-0.3.3/Debug/SimpleReflect/
H A DExpr.hs63 lift x = emptyExpr { showExpr = \p -> showsPrec p x } function
128 expr = id function
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Linq/SqlClient/Common/
H A DSqlVisitor.cs261 internal object Eval(SqlExpression expr) { in Eval()
268 internal virtual SqlExpression VisitDoNotVisit(SqlDoNotVisitExpression expr) { in VisitDoNotVisit()
287 internal virtual SqlExpression VisitLift(SqlLift lift) { in VisitLift()
/dports/math/casadi/casadi-3.5.5/casadi/core/
H A Dmx.hpp683 inline friend MX lift(const MX& x, const MX& x_guess) { in lift() function
698 inline friend DM evalf(const MX& expr) { in evalf()
H A Dmx.cpp706 MX MX::lift(const MX& x, const MX& x_guess) { in lift() function in casadi::MX
1412 const std::vector<MX>& expr, in graph_substitute()
1745 std::vector<bool> MX::which_depends(const MX &expr, const MX &var, casadi_int order, bool tr) { in which_depends()
/dports/lang/ghc/ghc-8.10.7/libraries/parsec/src/Text/Parsec/
H A DPrim.hs390 lift amb = ParsecT $ \s _ _ eok _ -> do function
534 -- > expr = letExpr <|> identifier <?> "expression" function
546 -- > expr = letExpr <|> identifier <?> "expression" function
836 -- > expr = do{ x <- identifier function
/dports/lang/elm/compiler-0.19.1/_cabal_deps/parsec-3.1.14.0/src/Text/Parsec/
H A DPrim.hs390 lift amb = ParsecT $ \s _ _ eok _ -> do function
534 -- > expr = letExpr <|> identifier <?> "expression" function
546 -- > expr = letExpr <|> identifier <?> "expression" function
836 -- > expr = do{ x <- identifier function
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Linq/SqlClient/Query/
H A DSqlDuplicator.cs60 internal override SqlExpression VisitDoNotVisit(SqlDoNotVisitExpression expr) { in VisitDoNotVisit()
437 internal override SqlExpression VisitLift(SqlLift lift) { in VisitLift()
/dports/math/py-Diofant/Diofant-0.13.0/diofant/functions/elementary/
H A Dcomplexes.py889 def mr(expr): argument
932 def _polarify(eq, lift, pause=False): argument
972 def polarify(eq, subs=True, lift=False): argument
/dports/lang/racket-minimal/racket-8.3/src/bc/src/
H A Dresolve.c776 case_lambda_resolve(Scheme_Object *expr, Resolve_Info *rslv) in case_lambda_resolve()
841 static int get_convert_arg_count(Scheme_Object *lift) in get_convert_arg_count()
853 static Scheme_Object *get_convert_arg_map(Scheme_Object *lift) in get_convert_arg_map()
865 static Scheme_Object *drop_zero_value_return(Scheme_Object *expr) in drop_zero_value_return()
1114 Scheme_Object *lift; in compute_possible_lifts() local
1165 Scheme_Object *lift, *old_lift; in compute_possible_lifts() local
1221 Scheme_Object *lift; in compute_possible_lifts() local
1361 Scheme_Object *expr; in scheme_resolve_lets() local
2285 Scheme_Object *expr = (Scheme_Object *)p->ku.k.p1; in resolve_k() local
2294 Scheme_Object *resolve_expr(Scheme_Object *expr, Resolve_Info *info) in resolve_expr()
[all …]
/dports/lang/racket/racket-8.3/src/bc/src/
H A Dresolve.c776 case_lambda_resolve(Scheme_Object *expr, Resolve_Info *rslv) in case_lambda_resolve()
841 static int get_convert_arg_count(Scheme_Object *lift) in get_convert_arg_count()
853 static Scheme_Object *get_convert_arg_map(Scheme_Object *lift) in get_convert_arg_map()
865 static Scheme_Object *drop_zero_value_return(Scheme_Object *expr) in drop_zero_value_return()
1114 Scheme_Object *lift; in compute_possible_lifts() local
1165 Scheme_Object *lift, *old_lift; in compute_possible_lifts() local
1221 Scheme_Object *lift; in compute_possible_lifts() local
1361 Scheme_Object *expr; in scheme_resolve_lets() local
2285 Scheme_Object *expr = (Scheme_Object *)p->ku.k.p1; in resolve_k() local
2294 Scheme_Object *resolve_expr(Scheme_Object *expr, Resolve_Info *info) in resolve_expr()
[all …]
/dports/math/py-sympy/sympy-1.9/sympy/functions/elementary/
H A Dcomplexes.py1231 def mr(expr): argument
1279 def _polarify(eq, lift, pause=False): argument
1312 def polarify(eq, subs=True, lift=False): argument
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Linq/SqlClient/Reader/
H A DObjectReaderCompiler.cs859 private Type GenerateLift(SqlLift lift) { in GenerateLift()
1053 …erateMemberAssignment(MetaDataMember mm, LocalBuilder locInstance, SqlExpression expr, LocalBuilde… in GenerateMemberAssignment()
1106 …d GenerateAssignValue(MetaDataMember mm, LocalBuilder locInstance, SqlExpression expr, LocalBuilde… in GenerateAssignValue()
1155 …signDeferredEntitySet(MetaDataMember mm, LocalBuilder locInstance, SqlExpression expr, LocalBuilde… in GenerateAssignDeferredEntitySet()
1217 …nerateAssignEntitySet(MetaDataMember mm, LocalBuilder locInstance, SqlExpression expr, LocalBuilde… in GenerateAssignEntitySet()
1275 …signDeferredReference(MetaDataMember mm, LocalBuilder locInstance, SqlExpression expr, LocalBuilde… in GenerateAssignDeferredReference()
1329 private bool IsDeferrableExpression(SqlExpression expr) { in IsDeferrableExpression()
1408 private Type GenerateDeferredSource(SqlExpression expr, LocalBuilder locInstance) { in GenerateDeferredSource()
1550 private Type GenerateExpressionForType(SqlExpression expr, Type type) { in GenerateExpressionForType()
1554 … private Type GenerateExpressionForType(SqlExpression expr, Type type, LocalBuilder locInstance) { in GenerateExpressionForType()
/dports/math/py-jax/jax-0.2.9/jax/interpreters/
H A Dmasking.py428 def _shape_spec_consistent(spec, expr): argument
462 def lift(self, val): member in MaskTrace
/dports/math/py-sympy/sympy-1.9/sympy/polys/
H A Dpolytools.py191 def expr(self): member in Poly
1111 def lift(f): member in Poly
4290 def poly_from_expr(expr, *gens, **args): argument
4296 def _poly_from_expr(expr, opt): argument
5939 def _symbolic_factor_list(expr, opt, method): argument
5997 def _symbolic_factor(expr, opt, method): argument
6056 def _generic_factor(expr, gens, args, method): argument
6363 def _try_factor(expr): argument
7063 def reduce(self, expr, auto=True): argument
7151 def poly(expr, *gens, **args): argument
[all …]
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/serialise-0.2.3.0/bench/versus/Macro/
H A DLoad.hs816 expr = do Parse.skipSpaces function
1859 lift m = StT $ \s -> m >>= \a -> return (a,s) function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/serialise-0.2.3.0/bench/versus/Macro/
H A DLoad.hs816 expr = do Parse.skipSpaces function
1859 lift m = StT $ \s -> m >>= \a -> return (a,s) function
/dports/math/gravity/Gravity-da941e9/src/
H A Dmodel.cpp29 Constraint<type> Model<type>::lift(Constraint<type>& c, string model_type){ in lift() function in gravity::Model
230 Constraint<type> Model<type>::lift(Constraint<type>& c, string model_type){ in lift() function in gravity::Model
6631 auto expr = converter.Visit(nl_expr); in readNL() local
6647 auto expr = converter.Visit(nl_expr); in readNL() local
6680 func<> expr; in readNL() local
/dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/parsetree/
H A Dsource.ml2726 let lift r : 'm fin -> 'n term = fun x -> Var (r x) function
3302 type 'a expr = type
3481 type 'a expr = type
3528 let expr = lazy_fix (new expr_ops) var
3668 type 'a expr = type
3713 let expr = lazy_fix expr_ops var
4812 type expr = type
/dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/parsetree/
H A Dsource.ml2726 let lift r : 'm fin -> 'n term = fun x -> Var (r x) function
3302 type 'a expr = type
3481 type 'a expr = type
3528 let expr = lazy_fix (new expr_ops) var
3668 type 'a expr = type
3713 let expr = lazy_fix expr_ops var
4812 type expr = type
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/
H A Dcontext.rs335 pub expr: Option<hir::HirId>, field
1131 pub fn lift<T: Lift<'tcx>>(self, value: T) -> Option<T::Lifted> { in lift() method