Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
- 3 types
- 1 class
- 9 values
- Packageouroboros-consensus-4.2.1.0
- Exports13
- 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
Methods
project :: NoHardForks blk => f (HardForkBlock '[blk]) -> f blkinject :: NoHardForks blk => f blk -> f (HardForkBlock '[blk])
Instances37Isomorphic, …
Isomorphic BlockConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic CodecConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic StorageConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic ForgeStateUpdateInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic TopLevelConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic AnnTipDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic HeaderStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic ProtocolClientInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic ProtocolInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic SerialisedHeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapApplyTxErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapCanBeLeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapCannotForgeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapChainDepStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapEnvelopeErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapForgeStateInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapForgeStateUpdateErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapGenTxIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapHeaderHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapIsLeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapLedgerErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapLedgerViewDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapTipInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic WrapValidatedGenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic IDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryFunctor m => Isomorphic (BlockForging m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryFunctor m => Isomorphic (MkBlockForging m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryFunctor m => Isomorphic (InitChainDB m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic ChainHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic (FlipTickedLedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic (SomeSecond (NestedCtxt f))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic ((->) a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary(IsSOPLike h, forall blk. Coercible (f (HardForkBlock '[blk])) (h f '[blk])) => Isomorphic (IsomorphicUnary h f)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic (Flip LedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryIsomorphic (Flip ExtLedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Constructors
ProjHardForkQuery :: BlockQuery b fp result' -> ProjHardForkQuery fp b (Either (MismatchEraInfo '[b]) result')
Instances28Monad, Functor, Applicative, Foldable, Traversable, Eq1, …
Monad IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsFunctor IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsApplicative IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsFoldable IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsTraversable IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsEq1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsOrd1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsRead1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsShow1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsNFData1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsInject IDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.NaryIsomorphic IDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnarySerialiseNodeToClient blk blk => SerialiseNodeToClient blk (I blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.SerialisationEncodeDisk blk blk => EncodeDisk blk (I blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Serialisation(EncodeDiskDepIx f blk, EncodeDiskDep f blk) => EncodeDisk blk (DepPair (f blk))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.SerialisationDecodeDisk blk blk => DecodeDisk blk (I 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.SerialisationSerialiseNodeToNode blk blk => SerialiseNodeToNode blk (I blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.SerialisationEq a => Eq (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsOrd a => Ord (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsRead a => Read (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsShow a => Show (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsGeneric (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsSemigroup a => Semigroup (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsMonoid a => Monoid (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsNFData a => NFData (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsCondense a => Condense (I a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphantype Rep (I a) = D1 ('MetaDataDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors"I"
"Data.SOP.BasicFunctors"
"sop-core-0.5.0.2-J2FYzhYjat76WkDyWxbBsC"
'True) (C1 ('MetaCons"I"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))