Home
last modified time | relevance | path

Searched refs:Lift (Results 1 – 25 of 2281) sorted by relevance

12345678910>>...92

/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/th-lift-instances-0.1.17/src/Instances/TH/
H A DLift.hs200 instance Lift a => Lift (NonEmpty a) where
210 deriving instance Lift a => Lift (Tree.Tree a)
212 instance Lift a => Lift (Tree.Tree a) where
219 deriving instance (Lift k, Lift v) => Lift (Map.Map k v)
221 deriving instance Lift a => Lift (Set.Set a)
233 instance (Lift k, Lift v) => Lift (Map.Map k v) where
243 instance Lift a => Lift (Set.Set a) where
317 deriving instance Lift a => Lift (Identity a)
318 deriving instance Lift a => Lift (Const a b)
320 instance Lift a => Lift (Identity a) where
[all …]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/th-lift-instances-0.1.18/src/Instances/TH/
H A DLift.hs202 instance Lift a => Lift (NonEmpty a) where
212 deriving instance Lift a => Lift (Tree.Tree a)
214 instance Lift a => Lift (Tree.Tree a) where
221 deriving instance (Lift k, Lift v) => Lift (Map.Map k v)
223 deriving instance Lift a => Lift (Set.Set a)
235 instance (Lift k, Lift v) => Lift (Map.Map k v) where
245 instance Lift a => Lift (Set.Set a) where
319 deriving instance Lift a => Lift (Identity a)
320 deriving instance Lift a => Lift (Const a b)
322 instance Lift a => Lift (Identity a) where
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/th-lift-instances-0.1.17/src/Instances/TH/
H A DLift.hs200 instance Lift a => Lift (NonEmpty a) where
210 deriving instance Lift a => Lift (Tree.Tree a)
212 instance Lift a => Lift (Tree.Tree a) where
219 deriving instance (Lift k, Lift v) => Lift (Map.Map k v)
221 deriving instance Lift a => Lift (Set.Set a)
233 instance (Lift k, Lift v) => Lift (Map.Map k v) where
243 instance Lift a => Lift (Set.Set a) where
317 deriving instance Lift a => Lift (Identity a)
318 deriving instance Lift a => Lift (Const a b)
320 instance Lift a => Lift (Identity a) where
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/th-lift-instances-0.1.18/src/Instances/TH/
H A DLift.hs202 instance Lift a => Lift (NonEmpty a) where
212 deriving instance Lift a => Lift (Tree.Tree a)
214 instance Lift a => Lift (Tree.Tree a) where
221 deriving instance (Lift k, Lift v) => Lift (Map.Map k v)
223 deriving instance Lift a => Lift (Set.Set a)
235 instance (Lift k, Lift v) => Lift (Map.Map k v) where
245 instance Lift a => Lift (Set.Set a) where
319 deriving instance Lift a => Lift (Identity a)
320 deriving instance Lift a => Lift (Const a b)
322 instance Lift a => Lift (Identity a) where
[all …]
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/th-lift-instances-0.1.18/src/Instances/TH/
H A DLift.hs202 instance Lift a => Lift (NonEmpty a) where
212 deriving instance Lift a => Lift (Tree.Tree a)
214 instance Lift a => Lift (Tree.Tree a) where
221 deriving instance (Lift k, Lift v) => Lift (Map.Map k v)
223 deriving instance Lift a => Lift (Set.Set a)
235 instance (Lift k, Lift v) => Lift (Map.Map k v) where
245 instance Lift a => Lift (Set.Set a) where
319 deriving instance Lift a => Lift (Identity a)
320 deriving instance Lift a => Lift (Const a b)
322 instance Lift a => Lift (Identity a) where
[all …]
/dports/devel/stack/stack-2.7.3/_cabal_deps/th-lift-instances-0.1.18/src/Instances/TH/
H A DLift.hs202 instance Lift a => Lift (NonEmpty a) where
212 deriving instance Lift a => Lift (Tree.Tree a)
214 instance Lift a => Lift (Tree.Tree a) where
221 deriving instance (Lift k, Lift v) => Lift (Map.Map k v)
223 deriving instance Lift a => Lift (Set.Set a)
235 instance (Lift k, Lift v) => Lift (Map.Map k v) where
245 instance Lift a => Lift (Set.Set a) where
319 deriving instance Lift a => Lift (Identity a)
320 deriving instance Lift a => Lift (Const a b)
322 instance Lift a => Lift (Identity a) where
[all …]
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/th-lift-instances-0.1.18/src/Instances/TH/
H A DLift.hs202 instance Lift a => Lift (NonEmpty a) where
212 deriving instance Lift a => Lift (Tree.Tree a)
214 instance Lift a => Lift (Tree.Tree a) where
221 deriving instance (Lift k, Lift v) => Lift (Map.Map k v)
223 deriving instance Lift a => Lift (Set.Set a)
235 instance (Lift k, Lift v) => Lift (Map.Map k v) where
245 instance Lift a => Lift (Set.Set a) where
319 deriving instance Lift a => Lift (Identity a)
320 deriving instance Lift a => Lift (Const a b)
322 instance Lift a => Lift (Identity a) where
[all …]
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/lang/ghc/ghc-8.10.7/libraries/transformers/Control/Applicative/
H A DLift.hs21 module Control.Applicative.Lift (
23 Lift(..),
44 data Lift f a = Pure a | Other (f a) type
46 instance (Eq1 f) => Eq1 (Lift f) where
53 instance (Ord1 f) => Ord1 (Lift f) where
60 instance (Read1 f) => Read1 (Lift f) where
65 instance (Show1 f) => Show1 (Lift f) where
75 instance (Functor f) => Functor (Lift f) where
110 unLift :: (Applicative f) => Lift f a -> f a
116 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/transformers-compat-0.6.6/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) function
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/transformers-compat-0.6.6/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) function
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/transformers-compat-0.6.6/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) function
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) function
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/transformers-compat-0.6.6/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/transformers-compat-0.6.6/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) function
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/transformers-compat-0.6.6/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/transformers-compat-0.6.5/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) function
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/transformers-compat-0.6.6/0.2/Control/Applicative/
H A DLift.hs24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) type
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
78 instance (Functor f) => Functor (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
[all …]

12345678910>>...92