/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/happy-1.19.12/examples/ |
H A D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | DavesExample.ly | 49 > 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 D | InotifyFSEditLogOpTranslator.java | 117 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 D | simulate_theorem_producer.cpp | 77 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 D | theory_datatype.cpp | 107 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 D | nv50_ir_lowering_gm107.cpp | 123 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 D | theory_records.cpp | 972 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 D | theory.cpp | 674 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()
|