| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
| H A D | Decision.hs | 88 trace t = lift $ tell [t]
103 req <- lift request
175 req <- lift request
199 req <- lift request
251 req <- lift request
265 req <- lift request
287 req <- lift request
308 req <- lift request
327 req <- lift request
643 lift p >> p11 r
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/Cabal-3.0.2.0/Distribution/Compat/ |
| H A D | CharParsing.hs | 196 char = lift . char
204 text = lift . text
210 char = lift . char
218 text = lift . text
224 char = lift . char
232 text = lift . text
246 text = lift . text
260 text = lift . text
274 text = lift . text
288 text = lift . text
[all …]
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/Cabal/Distribution/Compat/ |
| H A D | CharParsing.hs | 196 char = lift . char
204 text = lift . text
210 char = lift . char
218 text = lift . text
224 char = lift . char
232 text = lift . text
246 text = lift . text
260 text = lift . text
274 text = lift . text
288 text = lift . text
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/equivalence-0.3.5/src/Data/Equivalence/ |
| H A D | Monad.hs | 102 lift = EquivT . lift . lift function
108 ask = EquivT $ lift ask
250 lift $ S.equate part x y
270 lift $ S.same part x y
274 lift $ S.desc part x
278 lift $ S.remove part x
290 desc x = lift $ desc x
303 desc x = lift $ desc x
316 desc x = lift $ desc x
330 desc x = lift $ desc x
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/MonadRandom-0.5.2/Control/Monad/Random/ |
| H A D | Class.hs | 228 getSplit = lift getSplit
231 getSplit = lift getSplit
234 getSplit = lift getSplit
237 getSplit = lift getSplit
240 getSplit = lift getSplit
243 getSplit = lift getSplit
246 getSplit = lift getSplit
249 getSplit = lift getSplit
252 getSplit = lift getSplit
255 getSplit = lift getSplit
[all …]
|
| /dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/MonadRandom-0.5.3/Control/Monad/Random/ |
| H A D | Class.hs | 228 getSplit = lift getSplit
231 getSplit = lift getSplit
234 getSplit = lift getSplit
237 getSplit = lift getSplit
240 getSplit = lift getSplit
243 getSplit = lift getSplit
246 getSplit = lift getSplit
249 getSplit = lift getSplit
252 getSplit = lift getSplit
255 getSplit = lift getSplit
[all …]
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/Cabal/Distribution/Compat/ |
| H A D | CharParsing.hs | 197 char = lift . char
205 text = lift . text
211 char = lift . char
219 text = lift . text
225 char = lift . char
233 text = lift . text
247 text = lift . text
261 text = lift . text
275 text = lift . text
289 text = lift . text
[all …]
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/Cabal-3.6.0.0/src/Distribution/Compat/ |
| H A D | CharParsing.hs | 197 char = lift . char
205 text = lift . text
211 char = lift . char
219 text = lift . text
225 char = lift . char
233 text = lift . text
247 text = lift . text
261 text = lift . text
275 text = lift . text
289 text = lift . text
[all …]
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/Cabal-3.4.0.0/Distribution/Compat/ |
| H A D | CharParsing.hs | 197 char = lift . char
205 text = lift . text
211 char = lift . char
219 text = lift . text
225 char = lift . char
233 text = lift . text
247 text = lift . text
261 text = lift . text
275 text = lift . text
289 text = lift . text
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | lift-context.rkt | 16 (provide make-lift-context
20 make-local-lift
21 make-top-level-lift
26 make-module-lift-context
31 make-require-lift-context
75 (define (make-local-lift lift-env counter local-sym)
80 (set-box! lift-env (env-extend (unbox lift-env) key variable))
84 (define (make-top-level-lift ctx)
103 (unless (lifted-bind? lift)
132 [else lift])))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | lift-context.rkt | 16 (provide make-lift-context
20 make-local-lift
21 make-top-level-lift
26 make-module-lift-context
31 make-require-lift-context
75 (define (make-local-lift lift-env counter local-sym)
80 (set-box! lift-env (env-extend (unbox lift-env) key variable))
84 (define (make-top-level-lift ctx)
103 (unless (lifted-bind? lift)
132 [else lift])))
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/parsers-0.12.10/src/Text/Parser/ |
| H A D | Char.hs | 239 char = lift . char
247 text = lift . text
253 char = lift . char
261 text = lift . text
267 char = lift . char
275 text = lift . text
289 text = lift . text
303 text = lift . text
317 text = lift . text
331 text = lift . text
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/parsers-0.12.10/src/Text/Parser/ |
| H A D | Char.hs | 239 char = lift . char
247 text = lift . text
253 char = lift . char
261 text = lift . text
267 char = lift . char
275 text = lift . text
289 text = lift . text
303 text = lift . text
317 text = lift . text
331 text = lift . text
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/megaparsec-7.0.5/Text/Megaparsec/ |
| H A D | Class.hs | 308 eof = lift eof
313 takeP l n = lift (takeP l n)
330 eof = lift eof
335 takeP l n = lift (takeP l n)
349 eof = lift eof
354 takeP l n = lift (takeP l n)
371 eof = lift eof
393 eof = lift eof
419 eof = lift eof
445 eof = lift eof
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/th-lift-instances-0.1.17/tests/ |
| H A D | Main.hs | 36 prop_word8 = $(lift (10 :: Word8)) == (10 :: Word8)
39 prop_word16 = $(lift (10 :: Word16)) == (10 :: Word16)
42 prop_word32 = $(lift (10 :: Word32)) == (10 :: Word32)
45 prop_word64 = $(lift (10 :: Word64)) == (10 :: Word64)
48 prop_int8 = $(lift (10 :: Int8)) == (10 :: Int8)
51 prop_int16 = $(lift (10 :: Int16)) == (10 :: Int16)
54 prop_int32 = $(lift (10 :: Int32)) == (10 :: Int32)
57 prop_int64 = $(lift (10 :: Int64)) == (10 :: Int64)
60 prop_float = $(lift (1.1 :: Float)) == (1.1 :: Float)
77 prop_unit = $(lift ()) == ()
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/th-lift-instances-0.1.18/tests/ |
| H A D | Main.hs | 36 prop_word8 = $(lift (10 :: Word8)) == (10 :: Word8)
39 prop_word16 = $(lift (10 :: Word16)) == (10 :: Word16)
42 prop_word32 = $(lift (10 :: Word32)) == (10 :: Word32)
45 prop_word64 = $(lift (10 :: Word64)) == (10 :: Word64)
48 prop_int8 = $(lift (10 :: Int8)) == (10 :: Int8)
51 prop_int16 = $(lift (10 :: Int16)) == (10 :: Int16)
54 prop_int32 = $(lift (10 :: Int32)) == (10 :: Int32)
57 prop_int64 = $(lift (10 :: Int64)) == (10 :: Int64)
60 prop_float = $(lift (1.1 :: Float)) == (1.1 :: Float)
77 prop_unit = $(lift ()) == ()
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/th-lift-instances-0.1.17/tests/ |
| H A D | Main.hs | 36 prop_word8 = $(lift (10 :: Word8)) == (10 :: Word8)
39 prop_word16 = $(lift (10 :: Word16)) == (10 :: Word16)
42 prop_word32 = $(lift (10 :: Word32)) == (10 :: Word32)
45 prop_word64 = $(lift (10 :: Word64)) == (10 :: Word64)
48 prop_int8 = $(lift (10 :: Int8)) == (10 :: Int8)
51 prop_int16 = $(lift (10 :: Int16)) == (10 :: Int16)
54 prop_int32 = $(lift (10 :: Int32)) == (10 :: Int32)
57 prop_int64 = $(lift (10 :: Int64)) == (10 :: Int64)
60 prop_float = $(lift (1.1 :: Float)) == (1.1 :: Float)
77 prop_unit = $(lift ()) == ()
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/th-lift-instances-0.1.18/tests/ |
| H A D | Main.hs | 36 prop_word8 = $(lift (10 :: Word8)) == (10 :: Word8)
39 prop_word16 = $(lift (10 :: Word16)) == (10 :: Word16)
42 prop_word32 = $(lift (10 :: Word32)) == (10 :: Word32)
45 prop_word64 = $(lift (10 :: Word64)) == (10 :: Word64)
48 prop_int8 = $(lift (10 :: Int8)) == (10 :: Int8)
51 prop_int16 = $(lift (10 :: Int16)) == (10 :: Int16)
54 prop_int32 = $(lift (10 :: Int32)) == (10 :: Int32)
57 prop_int64 = $(lift (10 :: Int64)) == (10 :: Int64)
60 prop_float = $(lift (1.1 :: Float)) == (1.1 :: Float)
77 prop_unit = $(lift ()) == ()
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/th-lift-instances-0.1.18/tests/ |
| H A D | Main.hs | 36 prop_word8 = $(lift (10 :: Word8)) == (10 :: Word8)
39 prop_word16 = $(lift (10 :: Word16)) == (10 :: Word16)
42 prop_word32 = $(lift (10 :: Word32)) == (10 :: Word32)
45 prop_word64 = $(lift (10 :: Word64)) == (10 :: Word64)
48 prop_int8 = $(lift (10 :: Int8)) == (10 :: Int8)
51 prop_int16 = $(lift (10 :: Int16)) == (10 :: Int16)
54 prop_int32 = $(lift (10 :: Int32)) == (10 :: Int32)
57 prop_int64 = $(lift (10 :: Int64)) == (10 :: Int64)
60 prop_float = $(lift (1.1 :: Float)) == (1.1 :: Float)
77 prop_unit = $(lift ()) == ()
[all …]
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/th-lift-instances-0.1.18/tests/ |
| H A D | Main.hs | 36 prop_word8 = $(lift (10 :: Word8)) == (10 :: Word8)
39 prop_word16 = $(lift (10 :: Word16)) == (10 :: Word16)
42 prop_word32 = $(lift (10 :: Word32)) == (10 :: Word32)
45 prop_word64 = $(lift (10 :: Word64)) == (10 :: Word64)
48 prop_int8 = $(lift (10 :: Int8)) == (10 :: Int8)
51 prop_int16 = $(lift (10 :: Int16)) == (10 :: Int16)
54 prop_int32 = $(lift (10 :: Int32)) == (10 :: Int32)
57 prop_int64 = $(lift (10 :: Int64)) == (10 :: Int64)
60 prop_float = $(lift (1.1 :: Float)) == (1.1 :: Float)
77 prop_unit = $(lift ()) == ()
[all …]
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/th-lift-instances-0.1.18/tests/ |
| H A D | Main.hs | 36 prop_word8 = $(lift (10 :: Word8)) == (10 :: Word8)
39 prop_word16 = $(lift (10 :: Word16)) == (10 :: Word16)
42 prop_word32 = $(lift (10 :: Word32)) == (10 :: Word32)
45 prop_word64 = $(lift (10 :: Word64)) == (10 :: Word64)
48 prop_int8 = $(lift (10 :: Int8)) == (10 :: Int8)
51 prop_int16 = $(lift (10 :: Int16)) == (10 :: Int16)
54 prop_int32 = $(lift (10 :: Int32)) == (10 :: Int32)
57 prop_int64 = $(lift (10 :: Int64)) == (10 :: Int64)
60 prop_float = $(lift (1.1 :: Float)) == (1.1 :: Float)
77 prop_unit = $(lift ()) == ()
[all …]
|
| /dports/devel/sccache/sccache-0.2.15/cargo-crates/syn-0.11.11/src/ |
| H A D | fold.rs | 156 fn lift<F>(self, f: F) -> Box<U> in lift() method
170 fn lift<F>(self, f: F) -> Vec<U> in lift() method
271 ty_params: ty_params.lift(|ty| {
453 ty.lift(|v| folder.fold_ty(v))) in noop_fold_const_expr()
516 items: items.lift(|i| folder.fold_item(i)),
575 Ty(ty.lift(|ty| folder.fold_ty(ty)),
647 If(e.lift(|e| folder.fold_expr(e)),
806 Range(l.lift(|e| folder.fold_expr(e)), in noop_fold_pat()
807 r.lift(|e| folder.fold_expr(e))) in noop_fold_pat()
824 inputs: inputs.lift(|a| {
[all …]
|
| /dports/databases/redisjson/RedisJSON-2.0.6/cargo-crates/syn-0.11.11/src/ |
| H A D | fold.rs | 156 fn lift<F>(self, f: F) -> Box<U> in lift() method
170 fn lift<F>(self, f: F) -> Vec<U> in lift() method
271 ty_params: ty_params.lift(|ty| {
453 ty.lift(|v| folder.fold_ty(v))) in noop_fold_const_expr()
516 items: items.lift(|i| folder.fold_item(i)),
575 Ty(ty.lift(|ty| folder.fold_ty(ty)),
647 If(e.lift(|e| folder.fold_expr(e)),
806 Range(l.lift(|e| folder.fold_expr(e)), in noop_fold_pat()
807 r.lift(|e| folder.fold_expr(e))) in noop_fold_pat()
824 inputs: inputs.lift(|a| {
[all …]
|
| /dports/lang/spidermonkey60/firefox-60.9.0/third_party/rust/syn-0.11.11/src/ |
| H A D | fold.rs | 156 fn lift<F>(self, f: F) -> Box<U> in lift() method
170 fn lift<F>(self, f: F) -> Vec<U> in lift() method
271 ty_params: ty_params.lift(|ty| {
453 ty.lift(|v| folder.fold_ty(v))) in noop_fold_const_expr()
516 items: items.lift(|i| folder.fold_item(i)),
575 Ty(ty.lift(|ty| folder.fold_ty(ty)),
647 If(e.lift(|e| folder.fold_expr(e)),
806 Range(l.lift(|e| folder.fold_expr(e)), in noop_fold_pat()
807 r.lift(|e| folder.fold_expr(e))) in noop_fold_pat()
824 inputs: inputs.lift(|a| {
[all …]
|
| /dports/sysutils/vector/vector-0.10.0/cargo-crates/syn-0.11.11/src/ |
| H A D | fold.rs | 156 fn lift<F>(self, f: F) -> Box<U> in lift() method
170 fn lift<F>(self, f: F) -> Vec<U> in lift() method
271 ty_params: ty_params.lift(|ty| {
453 ty.lift(|v| folder.fold_ty(v))) in noop_fold_const_expr()
516 items: items.lift(|i| folder.fold_item(i)),
575 Ty(ty.lift(|ty| folder.fold_ty(ty)),
647 If(e.lift(|e| folder.fold_expr(e)),
806 Range(l.lift(|e| folder.fold_expr(e)), in noop_fold_pat()
807 r.lift(|e| folder.fold_expr(e))) in noop_fold_pat()
824 inputs: inputs.lift(|a| {
[all …]
|