| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/invariant-0.5.4/src/Data/Functor/ |
| H A D | Invariant.hs | 244 instance (Invariant f, Invariant g) => Invariant (Functor.Compose f g) where
253 instance (Invariant f, Invariant g) => Invariant (Functor.Product f g) where
257 instance (Invariant f, Invariant g) => Invariant (Functor.Sum f g) where
285 instance Invariant f => Invariant (Alt f) where
391 instance (Invariant f, Invariant g) => Invariant (Contravariant.Compose f g) where
395 instance (Invariant f, Invariant g) => Invariant (ComposeCF f g) where
398 instance (Invariant f, Invariant g) => Invariant (ComposeFC f g) where
469 instance Invariant f => Invariant (Lift f) where
904 instance (Invariant l, Invariant r) => Invariant ((:+:) l r) where
908 instance (Invariant l, Invariant r) => Invariant ((:*:) l r) where
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/invariant-0.5.4/src/Data/Functor/ |
| H A D | Invariant.hs | 244 instance (Invariant f, Invariant g) => Invariant (Functor.Compose f g) where
253 instance (Invariant f, Invariant g) => Invariant (Functor.Product f g) where
257 instance (Invariant f, Invariant g) => Invariant (Functor.Sum f g) where
285 instance Invariant f => Invariant (Alt f) where
391 instance (Invariant f, Invariant g) => Invariant (Contravariant.Compose f g) where
395 instance (Invariant f, Invariant g) => Invariant (ComposeCF f g) where
398 instance (Invariant f, Invariant g) => Invariant (ComposeFC f g) where
469 instance Invariant f => Invariant (Lift f) where
904 instance (Invariant l, Invariant r) => Invariant ((:+:) l r) where
908 instance (Invariant l, Invariant r) => Invariant ((:*:) l r) where
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/invariant-0.5.4/src/Data/Functor/ |
| H A D | Invariant.hs | 244 instance (Invariant f, Invariant g) => Invariant (Functor.Compose f g) where
253 instance (Invariant f, Invariant g) => Invariant (Functor.Product f g) where
257 instance (Invariant f, Invariant g) => Invariant (Functor.Sum f g) where
285 instance Invariant f => Invariant (Alt f) where
391 instance (Invariant f, Invariant g) => Invariant (Contravariant.Compose f g) where
395 instance (Invariant f, Invariant g) => Invariant (ComposeCF f g) where
398 instance (Invariant f, Invariant g) => Invariant (ComposeFC f g) where
469 instance Invariant f => Invariant (Lift f) where
904 instance (Invariant l, Invariant r) => Invariant ((:+:) l r) where
908 instance (Invariant l, Invariant r) => Invariant ((:*:) l r) where
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/invariant-0.5.3/src/Data/Functor/ |
| H A D | Invariant.hs | 244 instance (Invariant f, Invariant g) => Invariant (Functor.Compose f g) where
253 instance (Invariant f, Invariant g) => Invariant (Functor.Product f g) where
257 instance (Invariant f, Invariant g) => Invariant (Functor.Sum f g) where
285 instance Invariant f => Invariant (Alt f) where
391 instance (Invariant f, Invariant g) => Invariant (Contravariant.Compose f g) where
395 instance (Invariant f, Invariant g) => Invariant (ComposeCF f g) where
398 instance (Invariant f, Invariant g) => Invariant (ComposeFC f g) where
469 instance Invariant f => Invariant (Lift f) where
904 instance (Invariant l, Invariant r) => Invariant ((:+:) l r) where
908 instance (Invariant l, Invariant r) => Invariant ((:*:) l r) where
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/invariant-0.5.3/src/Data/Functor/ |
| H A D | Invariant.hs | 244 instance (Invariant f, Invariant g) => Invariant (Functor.Compose f g) where
253 instance (Invariant f, Invariant g) => Invariant (Functor.Product f g) where
257 instance (Invariant f, Invariant g) => Invariant (Functor.Sum f g) where
285 instance Invariant f => Invariant (Alt f) where
391 instance (Invariant f, Invariant g) => Invariant (Contravariant.Compose f g) where
395 instance (Invariant f, Invariant g) => Invariant (ComposeCF f g) where
398 instance (Invariant f, Invariant g) => Invariant (ComposeFC f g) where
469 instance Invariant f => Invariant (Lift f) where
904 instance (Invariant l, Invariant r) => Invariant ((:+:) l r) where
908 instance (Invariant l, Invariant r) => Invariant ((:*:) l r) where
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/invariant-0.5.4/src/Data/Functor/ |
| H A D | Invariant.hs | 244 instance (Invariant f, Invariant g) => Invariant (Functor.Compose f g) where
253 instance (Invariant f, Invariant g) => Invariant (Functor.Product f g) where
257 instance (Invariant f, Invariant g) => Invariant (Functor.Sum f g) where
285 instance Invariant f => Invariant (Alt f) where
391 instance (Invariant f, Invariant g) => Invariant (Contravariant.Compose f g) where
395 instance (Invariant f, Invariant g) => Invariant (ComposeCF f g) where
398 instance (Invariant f, Invariant g) => Invariant (ComposeFC f g) where
469 instance Invariant f => Invariant (Lift f) where
904 instance (Invariant l, Invariant r) => Invariant ((:+:) l r) where
908 instance (Invariant l, Invariant r) => Invariant ((:*:) l r) where
[all …]
|
| /dports/net/rabbitmq/rabbitmq-server-3.9.11/deps/quantile_estimator/src/ |
| H A D | quantile_estimator.erl | 56 new(Invariant) ->
116 compress(Invariant, N, Rest, Next);
202 invariant = Invariant
206 Invariant = f_biased(0.001),
218 , Invariant
229 , Invariant
241 , Invariant
254 , Invariant
268 , Invariant
274 Invariant = f_biased(0.001),
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/invariant-0.5.3/ |
| H A D | CHANGELOG.md | 11 * Some Haddock fixes in `Data.Functor.Invariant.TH`.
16 * When using `Data.Functor.Invariant.TH` to derive `Invariant(2)` instances for
25 * Add `Invariant(2)` instances for `Data.Profunctor.Yoneda.Yoneda`.
32 * Fix the `Invariant V1` instance so as to `seq` its argument
38 * Ensure `Invariant(2)` instances are in-scope when importing
39 `Data.Functor.Invariant`
57 * Add `Invariant` instances for `URec` (added to `GHC.Generics` in
62 `invmap` for `Invariant` instances) on GHC 7.2 or later
76 data types that aren't `Invariant` or `Invariant2` instances.
77 * Added `Invariant` instances for lazy `ST`, `ArrowMonad`, `Handler`,
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/invariant-0.5.3/ |
| H A D | CHANGELOG.md | 11 * Some Haddock fixes in `Data.Functor.Invariant.TH`.
16 * When using `Data.Functor.Invariant.TH` to derive `Invariant(2)` instances for
25 * Add `Invariant(2)` instances for `Data.Profunctor.Yoneda.Yoneda`.
32 * Fix the `Invariant V1` instance so as to `seq` its argument
38 * Ensure `Invariant(2)` instances are in-scope when importing
39 `Data.Functor.Invariant`
57 * Add `Invariant` instances for `URec` (added to `GHC.Generics` in
62 `invmap` for `Invariant` instances) on GHC 7.2 or later
76 data types that aren't `Invariant` or `Invariant2` instances.
77 * Added `Invariant` instances for lazy `ST`, `ArrowMonad`, `Handler`,
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/invariant-0.5.4/ |
| H A D | CHANGELOG.md | 20 * Some Haddock fixes in `Data.Functor.Invariant.TH`.
25 * When using `Data.Functor.Invariant.TH` to derive `Invariant(2)` instances for
34 * Add `Invariant(2)` instances for `Data.Profunctor.Yoneda.Yoneda`.
41 * Fix the `Invariant V1` instance so as to `seq` its argument
47 * Ensure `Invariant(2)` instances are in-scope when importing
48 `Data.Functor.Invariant`
66 * Add `Invariant` instances for `URec` (added to `GHC.Generics` in
71 `invmap` for `Invariant` instances) on GHC 7.2 or later
85 data types that aren't `Invariant` or `Invariant2` instances.
86 * Added `Invariant` instances for lazy `ST`, `ArrowMonad`, `Handler`,
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/invariant-0.5.4/ |
| H A D | CHANGELOG.md | 20 * Some Haddock fixes in `Data.Functor.Invariant.TH`.
25 * When using `Data.Functor.Invariant.TH` to derive `Invariant(2)` instances for
34 * Add `Invariant(2)` instances for `Data.Profunctor.Yoneda.Yoneda`.
41 * Fix the `Invariant V1` instance so as to `seq` its argument
47 * Ensure `Invariant(2)` instances are in-scope when importing
48 `Data.Functor.Invariant`
66 * Add `Invariant` instances for `URec` (added to `GHC.Generics` in
71 `invmap` for `Invariant` instances) on GHC 7.2 or later
85 data types that aren't `Invariant` or `Invariant2` instances.
86 * Added `Invariant` instances for lazy `ST`, `ArrowMonad`, `Handler`,
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/invariant-0.5.4/ |
| H A D | CHANGELOG.md | 20 * Some Haddock fixes in `Data.Functor.Invariant.TH`.
25 * When using `Data.Functor.Invariant.TH` to derive `Invariant(2)` instances for
34 * Add `Invariant(2)` instances for `Data.Profunctor.Yoneda.Yoneda`.
41 * Fix the `Invariant V1` instance so as to `seq` its argument
47 * Ensure `Invariant(2)` instances are in-scope when importing
48 `Data.Functor.Invariant`
66 * Add `Invariant` instances for `URec` (added to `GHC.Generics` in
71 `invmap` for `Invariant` instances) on GHC 7.2 or later
85 data types that aren't `Invariant` or `Invariant2` instances.
86 * Added `Invariant` instances for lazy `ST`, `ArrowMonad`, `Handler`,
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/invariant-0.5.4/ |
| H A D | CHANGELOG.md | 20 * Some Haddock fixes in `Data.Functor.Invariant.TH`.
25 * When using `Data.Functor.Invariant.TH` to derive `Invariant(2)` instances for
34 * Add `Invariant(2)` instances for `Data.Profunctor.Yoneda.Yoneda`.
41 * Fix the `Invariant V1` instance so as to `seq` its argument
47 * Ensure `Invariant(2)` instances are in-scope when importing
48 `Data.Functor.Invariant`
66 * Add `Invariant` instances for `URec` (added to `GHC.Generics` in
71 `invmap` for `Invariant` instances) on GHC 7.2 or later
85 data types that aren't `Invariant` or `Invariant2` instances.
86 * Added `Invariant` instances for lazy `ST`, `ArrowMonad`, `Handler`,
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/uniplate-1.6.13/Data/Generics/Uniplate/Data/ |
| H A D | Instances.hs | 57 Hide(..), Trigger(..), Invariant(..),
156 data Invariant a = Invariant {invariant :: a -> a, fromInvariant :: a} type
159 instance Show a => Show (Invariant a) where
163 gfoldl k z (Invariant f x) = z (Invariant f . f) `k` x
166 toConstr Invariant{} = conInvariant
187 fromMap (Map (Invariant _ (_,_,Hide x))) = x
191 toMap x = Map $ Invariant inv $ create x
213 fromSet (Set (Invariant _ (_,Hide x))) = x
217 toSet x = Set $ Invariant inv $ create x
241 toIntMap x = IntMap $ Invariant inv $ create x
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/uniplate-1.6.13/Data/Generics/Uniplate/Data/ |
| H A D | Instances.hs | 57 Hide(..), Trigger(..), Invariant(..),
156 data Invariant a = Invariant {invariant :: a -> a, fromInvariant :: a} constructor
159 instance Show a => Show (Invariant a) where
163 gfoldl k z (Invariant f x) = z (Invariant f . f) `k` x
166 toConstr Invariant{} = conInvariant
187 fromMap (Map (Invariant _ (_,_,Hide x))) = x
191 toMap x = Map $ Invariant inv $ create x
213 fromSet (Set (Invariant _ (_,Hide x))) = x
217 toSet x = Set $ Invariant inv $ create x
241 toIntMap x = IntMap $ Invariant inv $ create x
[all …]
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/uniplate-1.6.13/Data/Generics/Uniplate/Data/ |
| H A D | Instances.hs | 57 Hide(..), Trigger(..), Invariant(..),
156 data Invariant a = Invariant {invariant :: a -> a, fromInvariant :: a} function
159 instance Show a => Show (Invariant a) where
163 gfoldl k z (Invariant f x) = z (Invariant f . f) `k` x
166 toConstr Invariant{} = conInvariant
187 fromMap (Map (Invariant _ (_,_,Hide x))) = x
191 toMap x = Map $ Invariant inv $ create x
213 fromSet (Set (Invariant _ (_,Hide x))) = x
217 toSet x = Set $ Invariant inv $ create x
241 toIntMap x = IntMap $ Invariant inv $ create x
[all …]
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/uniplate-1.6.12/Data/Generics/Uniplate/Data/ |
| H A D | Instances.hs | 57 Hide(..), Trigger(..), Invariant(..),
156 data Invariant a = Invariant {invariant :: a -> a, fromInvariant :: a} type
159 instance Show a => Show (Invariant a) where
163 gfoldl k z (Invariant f x) = z (Invariant f . f) `k` x
166 toConstr Invariant{} = conInvariant
187 fromMap (Map (Invariant _ (_,_,Hide x))) = x
191 toMap x = Map $ Invariant inv $ create x
213 fromSet (Set (Invariant _ (_,Hide x))) = x
217 toSet x = Set $ Invariant inv $ create x
241 toIntMap x = IntMap $ Invariant inv $ create x
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/uniplate-1.6.13/Data/Generics/Uniplate/Data/ |
| H A D | Instances.hs | 57 Hide(..), Trigger(..), Invariant(..),
156 data Invariant a = Invariant {invariant :: a -> a, fromInvariant :: a} type
159 instance Show a => Show (Invariant a) where
163 gfoldl k z (Invariant f x) = z (Invariant f . f) `k` x
166 toConstr Invariant{} = conInvariant
187 fromMap (Map (Invariant _ (_,_,Hide x))) = x
191 toMap x = Map $ Invariant inv $ create x
213 fromSet (Set (Invariant _ (_,Hide x))) = x
217 toSet x = Set $ Invariant inv $ create x
241 toIntMap x = IntMap $ Invariant inv $ create x
[all …]
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/uniplate-1.6.12/Data/Generics/Uniplate/Data/ |
| H A D | Instances.hs | 57 Hide(..), Trigger(..), Invariant(..),
156 data Invariant a = Invariant {invariant :: a -> a, fromInvariant :: a} type
159 instance Show a => Show (Invariant a) where
163 gfoldl k z (Invariant f x) = z (Invariant f . f) `k` x
166 toConstr Invariant{} = conInvariant
187 fromMap (Map (Invariant _ (_,_,Hide x))) = x
191 toMap x = Map $ Invariant inv $ create x
213 fromSet (Set (Invariant _ (_,Hide x))) = x
217 toSet x = Set $ Invariant inv $ create x
241 toIntMap x = IntMap $ Invariant inv $ create x
[all …]
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/uniplate-1.6.13/Data/Generics/Uniplate/Data/ |
| H A D | Instances.hs | 57 Hide(..), Trigger(..), Invariant(..),
156 data Invariant a = Invariant {invariant :: a -> a, fromInvariant :: a} type
159 instance Show a => Show (Invariant a) where
163 gfoldl k z (Invariant f x) = z (Invariant f . f) `k` x
166 toConstr Invariant{} = conInvariant
187 fromMap (Map (Invariant _ (_,_,Hide x))) = x
191 toMap x = Map $ Invariant inv $ create x
213 fromSet (Set (Invariant _ (_,Hide x))) = x
217 toSet x = Set $ Invariant inv $ create x
241 toIntMap x = IntMap $ Invariant inv $ create x
[all …]
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/uniplate-1.6.13/Data/Generics/Uniplate/Data/ |
| H A D | Instances.hs | 57 Hide(..), Trigger(..), Invariant(..),
156 data Invariant a = Invariant {invariant :: a -> a, fromInvariant :: a} type
159 instance Show a => Show (Invariant a) where
163 gfoldl k z (Invariant f x) = z (Invariant f . f) `k` x
166 toConstr Invariant{} = conInvariant
187 fromMap (Map (Invariant _ (_,_,Hide x))) = x
191 toMap x = Map $ Invariant inv $ create x
213 fromSet (Set (Invariant _ (_,Hide x))) = x
217 toSet x = Set $ Invariant inv $ create x
241 toIntMap x = IntMap $ Invariant inv $ create x
[all …]
|
| /dports/lang/mono/mono-5.10.1.57/external/corefx/src/Common/src/CoreLib/System/Globalization/ |
| H A D | CalendarData.cs | 51 internal static readonly CalendarData Invariant = CreateInvariant(); field in System.Globalization.CalendarData
104 Debug.Assert(!GlobalizationMode.Invariant); in CalendarData()
115 …if (this.saShortDates == null) this.saShortDates = Invariant.saShortDates; // Short Data format, d… in CalendarData()
116 …if (this.saYearMonths == null) this.saYearMonths = Invariant.saYearMonths; // Year/Month Data form… in CalendarData()
117 …if (this.saLongDates == null) this.saLongDates = Invariant.saLongDates; // Long Data format, defa… in CalendarData()
118 … if (this.sMonthDay == null) this.sMonthDay = Invariant.sMonthDay; // Month/Day format in CalendarData()
121 … if (this.saEraNames == null) this.saEraNames = Invariant.saEraNames; // Names of Eras in CalendarData()
122 …if (this.saAbbrevEraNames == null) this.saAbbrevEraNames = Invariant.saAbbrevEraNames; // A… in CalendarData()
127 …if (this.saMonthNames == null) this.saMonthNames = Invariant.saMonthNames; // Month Nam… in CalendarData()
128 …if (this.saAbbrevMonthNames == null) this.saAbbrevMonthNames = Invariant.saAbbrevMonthNames; … in CalendarData()
[all …]
|
| /dports/lang/mono/mono-5.10.1.57/external/corert/src/System.Private.CoreLib/shared/System/Globalization/ |
| H A D | CalendarData.cs | 51 internal static readonly CalendarData Invariant = CreateInvariant(); field in System.Globalization.CalendarData
104 Debug.Assert(!GlobalizationMode.Invariant); in CalendarData()
115 …if (this.saShortDates == null) this.saShortDates = Invariant.saShortDates; // Short Data format, d… in CalendarData()
116 …if (this.saYearMonths == null) this.saYearMonths = Invariant.saYearMonths; // Year/Month Data form… in CalendarData()
117 …if (this.saLongDates == null) this.saLongDates = Invariant.saLongDates; // Long Data format, defa… in CalendarData()
118 … if (this.sMonthDay == null) this.sMonthDay = Invariant.sMonthDay; // Month/Day format in CalendarData()
121 … if (this.saEraNames == null) this.saEraNames = Invariant.saEraNames; // Names of Eras in CalendarData()
122 …if (this.saAbbrevEraNames == null) this.saAbbrevEraNames = Invariant.saAbbrevEraNames; // A… in CalendarData()
127 …if (this.saMonthNames == null) this.saMonthNames = Invariant.saMonthNames; // Month Nam… in CalendarData()
128 …if (this.saAbbrevMonthNames == null) this.saAbbrevMonthNames = Invariant.saAbbrevMonthNames; … in CalendarData()
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/invariant-0.5.3/test/ |
| H A D | THSpec.hs | 22 import Data.Functor.Invariant
23 import Data.Functor.Invariant.TH
58 | Universal2 (forall f. Invariant f => (f a))
129 instance (Invariant f, Invariant (g a)) =>
130 Invariant (Compose f g a) where
134 instance Invariant (f Int Int) =>
135 Invariant (ComplexConstraint f a) where
164 instance (Invariant f, Invariant (g a)) =>
165 Invariant (ComposeFam f g a) where
169 instance Invariant (f Int Int) =>
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/invariant-0.5.3/test/ |
| H A D | THSpec.hs | 22 import Data.Functor.Invariant
23 import Data.Functor.Invariant.TH
58 | Universal2 (forall f. Invariant f => (f a))
129 instance (Invariant f, Invariant (g a)) =>
130 Invariant (Compose f g a) where
134 instance Invariant (f Int Int) =>
135 Invariant (ComplexConstraint f a) where
164 instance (Invariant f, Invariant (g a)) =>
165 Invariant (ComposeFam f g a) where
169 instance Invariant (f Int Int) =>
[all …]
|