Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Util.DepPair
- 4 types
- 3 classes
- 3 values
- Packageouroboros-consensus-4.2.1.0
- Exports11
- LicenceApache-2.0
- SourceProxy.hs
Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one).
Historically, Proxy :: Proxy a is a safer alternative to the
undefined :: a idiom.
Proxy :: Proxy (Void, Int -> Int)Proxy
Proxy can even hold types of higher kinds,
Proxy :: Proxy EitherProxy
Proxy :: Proxy FunctorProxy
Proxy :: Proxy complicatedStructureProxy
Instances97Generic1, FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, RepeatWithIndex, SemialignWithIndex, …
Generic1 ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.GenericsFoldableWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndexFunctorWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndexRepeatWithIndex Void ProxyDefined in semialign-1.4 · Data.Semialign.InternalSemialignWithIndex Void ProxyDefined in semialign-1.4 · Data.Semialign.InternalZipWithIndex Void ProxyDefined in semialign-1.4 · Data.Semialign.InternalFilterableWithIndex Void ProxyDefined in witherable-0.5 · WitherableWitherableWithIndex Void ProxyDefined in witherable-0.5 · WitherableApplicativeB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeBConstraintsB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsBDistributiveB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveBFunctorB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorBTraversableB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableBEqP ProxyDefined in some-1.0.6 · Data.EqPOrdP ProxyDefined in some-1.0.6 · Data.OrdPMonad ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyFunctor ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyApplicative ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyFoldable ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.FoldableTraversable ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.TraversableAlternative ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyMonadPlus ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyMonadZip ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.ZipEq1 ProxyDefined in base-4.22.0.0 · Data.Functor.ClassesOrd1 ProxyDefined in base-4.22.0.0 · Data.Functor.ClassesRead1 ProxyDefined in base-4.22.0.0 · Data.Functor.ClassesShow1 ProxyDefined in base-4.22.0.0 · Data.Functor.ClassesContravariant ProxyDefined in base-4.22.0.0 · Data.Functor.ContravariantNFData1 ProxyDefined in deepseq-1.5.1.0 · Control.DeepSeqArbitrary1 ProxyDefined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphanHashable1 ProxyDefined in hashable-1.5.1.0 · Data.Hashable.ClassDistributive ProxyDefined in distributive-0.6.3 · Data.DistributiveDecidable ProxyDefined in contravariant-1.5.6 · Data.Functor.Contravariant.DivisibleDivisible ProxyDefined in contravariant-1.5.6 · Data.Functor.Contravariant.DivisibleAlt ProxyDefined in semigroupoids-6.0.2 · Data.Functor.AltApply ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.ClassBind ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.ClassExtend ProxyDefined in semigroupoids-6.0.2 · Data.Functor.ExtendConclude ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.ConcludeDecide ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.DecideDivise ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.DivisePlus ProxyDefined in semigroupoids-6.0.2 · Data.Functor.PlusRepresentable ProxyDefined in adjunctions-4.4.4 · Data.Functor.RepRepresentable ProxyDefined in adjunctions-4.4.4 · Data.Functor.Contravariant.RepAlign ProxyDefined in semialign-1.4 · Data.Semialign.InternalSemialign ProxyDefined in semialign-1.4 · Data.Semialign.InternalUnalign ProxyDefined in semialign-1.4 · Data.Semialign.InternalRepeat ProxyDefined in semialign-1.4 · Data.Semialign.InternalUnzip ProxyDefined in semialign-1.4 · Data.Semialign.InternalZip ProxyDefined in semialign-1.4 · Data.Semialign.InternalFilterable ProxyDefined in witherable-0.5 · WitherableWitherable ProxyDefined in witherable-0.5 · WitherableFromJSON1 ProxyDefined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSONToJSON1 ProxyDefined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSONInvariant ProxyDefined in invariant-0.6.5 · Data.Functor.Invariantfrom Data.Proxy
CollectScopeInfo ProxyDefined in plutus-core-1.70.0.0 · PlutusCore.Check.ScopingEstablishScoping ProxyDefined in plutus-core-1.70.0.0 · PlutusCore.Check.ScopingSelective ProxyDefined in selective-0.7.0.1 · Control.SelectiveCosieve Tagged ProxyDefined in profunctors-5.6.3 · Data.Profunctor.SieveBounded (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyEnum (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyEq (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyData t => Data (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.DataOrd (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyRead (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyShow (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyIx (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyGeneric (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.GenericsSemigroup (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyMonoid (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.ProxyNFData (Proxy a)Defined in deepseq-1.5.1.0 · Control.DeepSeqArbitrary (Proxy a)Defined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphanCoArbitrary (Proxy a)Defined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphanFunction (Proxy a)Defined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphanHashable (Proxy a)Defined in hashable-1.5.1.0 · Data.Hashable.ClassFromJSON (Proxy a)Defined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSONToJSON (Proxy a)Defined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSONDefault (Proxy a)Defined in data-default-0.8.0.2 · Data.Default.InternalSerialise (Proxy a)Defined in serialise-0.2.6.1 · Codec.Serialise.ClassBoring (Proxy a)Defined in boring-0.2.2.1 · Data.BoringFinite (Proxy a)Defined in universe-base-1.1.4 · Data.Universe.ClassUniverse (Proxy a)Defined in universe-base-1.1.4 · Data.Universe.ClassMonoFoldable (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversableMonoFunctor (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversableMonoTraversable (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversableMonoPointed (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversableToExpr (Proxy a)Defined in tree-diff-0.4.1 · Data.TreeDiff.ClassAbelian (Proxy x)Defined in groups-0.5.3 · Data.GroupCyclic (Proxy x)Defined in groups-0.5.3 · Data.GroupGroup (Proxy x)Defined in groups-0.5.3 · Data.GroupTrivial group, Functor style.
type Rep (Proxy t) = D1 ('MetaDataDefined in ghc-internal-9.1401.0 · GHC.Internal.Generics"Proxy"
"GHC.Internal.Data.Proxy"
"ghc-internal"
'False) (C1 ('MetaCons"Proxy"
'PrefixI 'False) U1)type Rep1 Proxy = D1 ('MetaDataDefined in ghc-internal-9.1401.0 · GHC.Internal.Generics"Proxy"
"GHC.Internal.Data.Proxy"
"ghc-internal"
'False) (C1 ('MetaCons"Proxy"
'PrefixI 'False) U1)type Rep Proxy = VoidDefined in adjunctions-4.4.4 · Data.Functor.Reptype Rep Proxy = ()Defined in adjunctions-4.4.4 · Data.Functor.Contravariant.Reptype AllB c Proxy = ()Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsBtype Element (Proxy a) = aDefined in mono-traversable-1.0.21.0 · Data.MonoTraversable
Propositional equality. If a :~: b is inhabited by some terminating
value, then the type a is the same as the type b. To use this equality
in practice, pattern-match on the a :~: b to get out the Refl constructor;
in the body of the pattern-match, the compiler knows that a ~ b.
Instances24Category, Groupoid, Semigroupoid, TestCoercion, TestEquality, EqP, …
Category (:~:)Defined in ghc-internal-9.1401.0 · GHC.Internal.Control.CategoryGroupoid (:~:)Defined in semigroupoids-6.0.2 · Data.GroupoidSemigroupoid (:~:)Defined in semigroupoids-6.0.2 · Data.SemigroupoidTestCoercion ((:~:) a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.CoercionTestEquality ((:~:) a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.EqualityEqP ((:~:) a)Defined in some-1.0.6 · Data.EqPGCompare ((:~:) a)Defined in some-1.0.6 · Data.GADT.InternalGEq ((:~:) a)Defined in some-1.0.6 · Data.GADT.InternalGNFData ((:~:) a)Defined in some-1.0.6 · Data.GADT.DeepSeqGRead ((:~:) a)Defined in some-1.0.6 · Data.GADT.InternalGShow ((:~:) a)Defined in some-1.0.6 · Data.GADT.InternalOrdP ((:~:) a)Defined in some-1.0.6 · Data.OrdPNFData2 (:~:)Defined in deepseq-1.5.1.0 · Control.DeepSeqNFData1 ((:~:) a)Defined in deepseq-1.5.1.0 · Control.DeepSeqa ~ b => Bounded (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Equalitya ~ b => Enum (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.EqualityEq (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Equality(a ~ b, Data a) => Data (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.DataOrd (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Equalitya ~ b => Read (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.EqualityShow (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.EqualityNFData (a :~: b)Defined in deepseq-1.5.1.0 · Control.DeepSeqa ~ b => Boring (a :~: b)Defined in boring-0.2.2.1 · Data.BoringHomogeneous type equality is Boring too.
HasDict (a ~ b) (a :~: b)Defined in constraints-0.14.4 · Data.Constraint
Constructors
GenDepPair :: !f a -> !g a -> GenDepPair g f
Instances5EncodeDisk, DecodeDisk, Show
(EncodeDiskDepIx f blk, EncodeDiskDep f blk) => EncodeDisk blk (DepPair (f blk))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Serialisation(DecodeDiskDepIx f blk, DecodeDiskDep f blk) => DecodeDisk blk (DepPair (f blk))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.SerialisationEncodeDiskDepIx f blk => EncodeDisk blk (GenDepPair Serialised (f blk))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.SerialisationDecodeDiskDepIx f blk => DecodeDisk blk (GenDepPair Serialised (f blk))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Serialisation(HasNestedContent f blk, forall a. Show (g a)) => Show (GenDepPair g (NestedCtxt f blk))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent
Methods
sameDepIndex :: f a -> f b -> Maybe (a :~: b)
Instances6SameDepIndex
SameDepIndex QueryAnytimeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.QuerySameDepIndex (QueryHardFork xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.QuerySameDepIndex2 (BlockQuery blk) => SameDepIndex (Query blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.QueryCanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphanSameDepIndex (NestedCtxt_ blk f) => SameDepIndex (NestedCtxt f blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContentSameDepIndex (NestedCtxt_ m f) => SameDepIndex (NestedCtxt_ (DualBlock m a) f)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Methods
sameDepIndex2 :: f x a -> f y b -> Maybe ('(x, a) :~: '(y, b))
Instances3SameDepIndex2
SameDepIndex2 (BlockQuery (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualAll SingleEraBlock xs => SameDepIndex2 (QueryIfCurrent xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.QueryAll SingleEraBlock xs => SameDepIndex2 (BlockQuery (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
Associated types
type family TrivialIndex (f :: k -> Type) :: k1
Methods
hasSingleIndex :: f a -> f b -> a :~: bindexIsTrivial :: f (TrivialIndex f)
Instances1TrivialDependency
TrivialDependency (NestedCtxt_ blk f) => TrivialDependency (NestedCtxt f blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent