Home
last modified time | relevance | path

Searched refs:mkOp (Results 1 – 25 of 119) sorted by relevance

12345

/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/devel/hs-happy/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/www/hs-hjsmin/hjsmin-0.2.0.4/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/happy-1.20.0/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/happy-1.19.12/examples/
H A DDavesExample.ly49 > B : E "==" E { mkOp $1 Equ $3 }
50 > | E "/=" E { mkOp $1 NEq $3 }
51 > | E ">" E { mkOp $1 GT $3 }
52 > | E "<" E { mkOp $1 LT $3 }
53 > | E ">=" E { mkOp $1 GTE $3 }
54 > | E "<=" E { mkOp $1 LTE $3 }
58 > E : E "+" T { mkOp $1 Add $3}
59 > | E "-" T { mkOp $1 Sub $3}
63 > T : T "*" F { mkOp $1 Mul $3 }
64 > | T "/" F { mkOp $1 Quo $3 }
/dports/devel/hadoop2/hadoop-2.7.2-src/hadoop-hdfs-project/hadoop-hdfs/src/main/java/org/apache/hadoop/hdfs/server/namenode/
H A DInotifyFSEditLogOpTranslator.java117 FSEditLogOp.MkdirOp mkOp = (FSEditLogOp.MkdirOp) op; in translate() local
119 new Event[] { new Event.CreateEvent.Builder().path(mkOp.path) in translate()
120 .ctime(mkOp.timestamp) in translate()
121 .ownerName(mkOp.permissions.getUserName()) in translate()
122 .groupName(mkOp.permissions.getGroupName()) in translate()
123 .perms(mkOp.permissions.getPermission()) in translate()
/dports/math/cvc3/cvc3-2.4.1/src/theory_simulate/
H A Dsimulate_theorem_producer.cpp77 args.push_back(Expr(e[j].mkOp(), ri)); in expandSimulate()
78 res = Expr(e[0].mkOp(), args); in expandSimulate()
/dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/
H A Dtheory_datatype.cpp107 e.eqExpr(Expr(cons.mkOp(), vars))); in instantiate()
237 Expr e1 = Expr(selectors[i].mkOp(), expr[0][0]); in assertFact()
238 Expr e2 = e1.eqExpr(Expr(selectors[i].mkOp(), expr[0][1])); in assertFact()
547 e = Expr(cons.mkOp(), kids); in finiteTypeInfo()
906 TRANS_CLOSURE).mkOp(); in dataType()
1096 return Expr(e.mkOp(), args); in datatypeConsExpr()
1108 return Expr(e.mkOp(), arg); in datatypeSelExpr()
1120 return Expr(e.mkOp(), arg); in datatypeTestExpr()
1195 return Expr(cons.mkOp(), args); in getConstant()
1211 return Expr(cons.mkOp(), args); in getConstant()
/dports/graphics/mesa-dri-classic/mesa-20.2.3/src/gallium/drivers/nouveau/codegen/
H A Dnv50_ir_lowering_gm107.cpp123 bld.mkOp(OP_QUADON, TYPE_NONE, NULL); in handleManualTXD()
182 bld.mkOp(OP_QUADPOP, TYPE_NONE, NULL); in handleManualTXD()
195 Instruction *u = bld.mkOp(OP_UNION, TYPE_U32, i->getDef(c)); in handleManualTXD()
/dports/math/cvc3/cvc3-2.4.1/src/theory_records/
H A Dtheory_records.cpp972 return Expr(Expr(RECORD, fields).mkOp(), kids); in recordExpr()
999 return Type(Expr(Expr(RECORD_TYPE, fields).mkOp(), types)); in recordType()
1005 return Expr(getEM()->newSymbolExpr(field, RECORD_SELECT).mkOp(), r); in recordSelect()
1012 return Expr(getEM()->newSymbolExpr(field, RECORD_UPDATE).mkOp(), r, val); in recordUpdate()
1081 return Expr(Expr(TUPLE_SELECT, getEM()->newRatExpr(i)).mkOp(), tup); in tupleSelect()
1087 return Expr(Expr(TUPLE_UPDATE, getEM()->newRatExpr(i)).mkOp(), tup, val); in tupleUpdate()
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dtheory.cpp674 return res.mkOp(); in newFunction()
693 return def.mkOp(); in newFunction()
702 return e.mkOp(); in lookupFunction()
855 q = d_em->newClosureExpr(EXISTS, vec, simplifyExpr(Expr(pred.mkOp(), vec.back()))); in newSubtypeExpr()
858 q = Expr(pred.mkOp(), witness); in newSubtypeExpr()

12345