| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/constraints-0.13/src/Data/Constraint/ |
| H A D | Lifting.hs | 19 import Control.Applicative.Lift
355 instance Lifting Functor Lift where lifting = Sub Dict
356 instance Lifting Foldable Lift where lifting = Sub Dict
357 instance Lifting Traversable Lift where lifting = Sub Dict
358 instance Lifting Applicative Lift where lifting = Sub Dict
359 instance Lifting Alternative Lift where lifting = Sub Dict
360 instance Lifting Show1 Lift where lifting = Sub Dict
361 instance Lifting Read1 Lift where lifting = Sub Dict
362 instance Lifting Ord1 Lift where lifting = Sub Dict
363 instance Lifting Eq1 Lift where lifting = Sub Dict
[all …]
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/path-0.8.0/ |
| H A D | CHANGELOG | 7 * Fix Lift severe Lift instance bug
40 * Add 'Lift' instance for 'Path'.
|
| /dports/games/flightgear/flightgear-2020.3.11/src/FDM/UIUCModel/ |
| H A D | uiuc_flapdata.cpp | 18 Lift=0; in flapStruct()
25 Lift=rhs.getLift(); in flapStruct()
32 Lift=newLift; in flapStruct()
39 return Lift; in getLift()
|
| /dports/lang/ghc/ghc-8.10.7/libraries/template-haskell/ |
| H A D | changelog.md | 12 * Introduce a `liftTyped` method to the `Lift` class and set the default
21 * Make the `Lift` typeclass levity-polymorphic and add instances for unboxed
47 * Add `Lift` instances for `NonEmpty` and `Void`
189 * Add `Lift` instances for `()` and `Rational`
197 and `Loc` as well as `Lift` instances for numeric types
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-check-0.5.0.5/src/GHC/Check/ |
| H A D | PackageDb.hs | 20 import Language.Haskell.TH.Syntax (Lift)
60 deriving (Eq, Lift, Show)
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/dhall-1.38.1/src/Dhall/ |
| H A D | Syntax.hs | 107 import Instances.TH.Lift ()
108 import Language.Haskell.TH.Syntax (Lift)
145 deriving (Show, Eq, Ord, Data, Bounded, Enum, Generic, Lift, NFData)
183 deriving (Data, Generic, Eq, Ord, Show, Lift, NFData)
212 } deriving (Data, Eq, Foldable, Functor, Generic, Lift, NFData, Ord, Show, Traversable)
230 deriving stock (Show, Data, Lift, Generic)
262 deriving (Functor, Foldable, Generic, Traversable, Show, Eq, Ord, Data, Lift, NFData)
283 deriving (Data, Eq, Foldable, Functor, Generic, Lift, NFData, Ord, Show, Traversable)
353 } deriving (Data, Eq, Foldable, Functor, Generic, Lift, NFData, Ord, Show, Traversable)
384 } deriving (Data, Eq, Foldable, Functor, Generic, Lift, NFData, Ord, Show, Traversable)
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/ |
| H A D | deriving-compat.cabal | 45 @Lift@ instances. Use @Language.Haskell.TH.Lift@ from
47 to derive @Lift@ using Template Haskell.
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-meta-0.8.7/ |
| H A D | ChangeLog | 93 - L.H.TH.Instances.Lift now deprecated
154 - Used the th-lift library to autogenerate the instances of Lift in
155 Language.Haskell.TH.Instances.Lift
|
| /dports/textproc/hs-lhs2tex/lhs2tex-1.24/polytable/ |
| H A D | lazylist.sty | 49 \def\Lift#1#2#3#4{#1{#4}{#2}{#3}{#4}}
86 {\Foldr{\Lift{#1}\Cons\Second}\Nil}
|
| /dports/games/legend-of-edgar/edgar-1.34/data/props/item/ |
| H A D | moveable_lift.props | 4 OBJECTIVE_NAME Moveable Lift
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/mustache-2.3.1/src/Text/Mustache/Internal/ |
| H A D | Types.hs | 25 import Language.Haskell.TH.Lift (Lift (lift), deriveLift)
348 instance Lift TemplateCache where
353 instance Lift Text where
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/src/relay/backend/vm/ |
| H A D | lambda_lift.cc | 182 IRModule Lift() { in Lift() function in tvm::relay::vm::LambdaLifter
209 [=](IRModule m, PassContext pc) { return relay::vm::LambdaLifter(m).Lift(); }; in LambdaLift()
|
| /dports/misc/py-tvm/incubator-tvm-0.6.1/src/relay/backend/vm/ |
| H A D | lambda_lift.cc | 189 Module Lift() { in Lift() function in tvm::relay::vm::LambdaLifter
217 return relay::vm::LambdaLifter(m).Lift(); in LambdaLift()
|
| /dports/misc/tvm/incubator-tvm-0.6.1/src/relay/backend/vm/ |
| H A D | lambda_lift.cc | 189 Module Lift() { in Lift() function in tvm::relay::vm::LambdaLifter
217 return relay::vm::LambdaLifter(m).Lift(); in LambdaLift()
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/th-lift-instances-0.1.17/ |
| H A D | README.md | 6 Some more Lift instances for common haskell data types.
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/th-lift-instances-0.1.18/ |
| H A D | README.md | 6 Some more Lift instances for common haskell data types.
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/th-lift-instances-0.1.17/ |
| H A D | README.md | 6 Some more Lift instances for common haskell data types.
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/th-lift-instances-0.1.18/ |
| H A D | README.md | 6 Some more Lift instances for common haskell data types.
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/th-lift-instances-0.1.18/ |
| H A D | README.md | 6 Some more Lift instances for common haskell data types.
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/th-lift-instances-0.1.18/ |
| H A D | README.md | 6 Some more Lift instances for common haskell data types.
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/th-lift-instances-0.1.18/ |
| H A D | README.md | 6 Some more Lift instances for common haskell data types.
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/unicode-collation-0.1.3/src/Text/Collate/ |
| H A D | Lang.hs | 23 import Language.Haskell.TH.Syntax (Lift(..))
24 import Instances.TH.Lift ()
37 } deriving (Eq, Ord, Show, Lift)
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/infer/ |
| H A D | mod.rs | 16 #[derive(Debug, Clone, HashStable, TypeFoldable, Lift)]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/monadLib-3.10/src/ |
| H A D | MonadLib.hs | 13 Id, Lift, IdT, ReaderT, WriterT,
73 data Lift a = L a type
119 runLift :: Lift a -> a
188 instance RunM Lift a a where
291 instance BaseM Lift Lift where inBase = id
312 instance Monad Lift where
383 instance Functor Lift where fmap = liftM
398 instance Applicative Lift where (<*>) = ap; pure x = L x
437 instance MonadFix Lift where
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/shakespeare-2.0.25/Text/ |
| H A D | Shakespeare.hs | 44 import Language.Haskell.TH.Lift () -- Import orphan Lift Name instance
102 deriving Lift
112 deriving Lift
116 deriving Lift
144 instance Lift ShakespeareSettings where
|