Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Block

49 types
24 classes
70 values

Packageouroboros-consensus-4.2.1.0
Exports172
LicenceApache-2.0
SourceProxy.hs

valuefromWithOrigin :: t -> WithOrigin t -> t

valuewithOrigin :: b -> (t -> b) -> WithOrigin t -> b

valuewithOriginFromMaybe :: Maybe t -> WithOrigin t

valuewithOriginToMaybe :: WithOrigin t -> Maybe t

valueblockIsEBB :: GetHeader blk => blk -> Maybe EpochNo

valueblockPrevHash :: GetPrevHash blk => blk -> ChainHash blk

valueblockToIsEBB :: GetHeader blk => blk -> IsEBB

valuedecodeRawHash

:: ConvertRawHash blk
=> proxy blk
-> forall s. Decoder s (HeaderHash blk)

valueencodeRawHash

:: ConvertRawHash blk
=> proxy blk
-> HeaderHash blk
-> Encoding

valuegetBlockHeaderFields :: GetHeader blk => blk -> HeaderFields blk

valueheaderHash :: HasHeader (Header blk) => Header blk -> HeaderHash blk

valueheaderPoint :: HasHeader (Header blk) => Header blk -> Point blk

valueheaderToIsEBB :: GetHeader blk => Header blk -> IsEBB

valuesuccWithOrigin :: (Bounded t, Enum t) => WithOrigin t -> t

valuefromIsEBB :: IsEBB -> Bool

valuetoIsEBB :: Bool -> IsEBB

valuecastForgeStateUpdateInfo

:: (ForgeStateInfo blk ~ ForgeStateInfo blk', ForgeStateUpdateError blk ~ ForgeStateUpdateError blk')
=> ForgeStateUpdateInfo blk
-> ForgeStateUpdateInfo blk'

valuecheckShouldForge

:: (Monad m, ConsensusProtocol (BlockProtocol blk), HasCallStack)
=> BlockForging m blk
-> Tracer m (ForgeStateInfo blk)
-> TopLevelConfig blk
-> SlotNo
-> Ticked (ChainDepState (BlockProtocol blk))
-> m (ShouldForge blk)

valueforgeStateUpdateInfoFromUpdateInfo

:: UpdateInfo (ForgeStateInfo blk) (ForgeStateUpdateError blk)
-> ForgeStateUpdateInfo blk

valuecastNestedCtxt

:: NestedCtxt_ blk f a -> NestedCtxt_ blk' f a
-> NestedCtxt f blk a
-> NestedCtxt f blk' a

valuecastSomeNestedCtxt

:: forall a. NestedCtxt_ blk f a -> NestedCtxt_ blk' f a
-> SomeSecond (NestedCtxt f) blk
-> SomeSecond (NestedCtxt f) blk'

valuecurriedNest :: HasNestedContent f blk => NestedCtxt f blk a -> a -> f blk

valuemapNestedCtxt

:: NestedCtxt_ blk f a -> NestedCtxt_ blk' f' a'
-> NestedCtxt f blk a
-> NestedCtxt f' blk' a'

valuemapSomeNestedCtxt

:: forall a. NestedCtxt_ blk f a -> NestedCtxt_ blk' f' a
-> SomeSecond (NestedCtxt f) blk
-> SomeSecond (NestedCtxt f') blk'

valueblockRealPoint :: HasHeader blk => blk -> RealPoint blk

valuebytes32RealPointHash :: Bytes32RealPoint -> ShortByteString

valuebytes32RealPointSlot :: Bytes32RealPoint -> SlotNo

valuecastRealPoint

:: Coercible (HeaderHash blk) (HeaderHash blk')
=> RealPoint blk
-> RealPoint blk'

valuedecodeBytes32RealPoint :: Decoder s Bytes32RealPoint

valuedecodeRealPoint

:: forall s. Decoder s (HeaderHash blk)
-> forall s. Decoder s (RealPoint blk)

valueencodeBytes32RealPoint :: Bytes32RealPoint -> Encoding

valueencodeRealPoint :: (HeaderHash blk -> Encoding) -> RealPoint blk -> Encoding

valuefromBytes32RealPoint

:: (ConvertRawHash blk, HashSize blk ~ 32)
=> Bytes32RealPoint
-> RealPoint blk

valueheaderRealPoint :: HasHeader (Header blk) => Header blk -> RealPoint blk

valuepointToWithOriginRealPoint :: Point blk -> WithOrigin (RealPoint blk)

valuerealPointHash :: RealPoint blk -> HeaderHash blk

valuerealPointSlot :: RealPoint blk -> SlotNo

valuerealPointToPoint :: RealPoint blk -> Point blk

valuetoBytes32RealPoint

:: (ConvertRawHash blk, HashSize blk ~ 32)
=> RealPoint blk
-> Bytes32RealPoint

valuewithOriginRealPointToPoint :: WithOrigin (RealPoint blk) -> Point blk

valueupdateTentativeHeaderState

:: BlockSupportsDiffusionPipelining blk
=> BlockConfig blk
-> Header blk
-> TentativeHeaderState blk
-> Maybe (TentativeHeaderState blk)

valueisSelfIssuedConstUnknown

:: BlockConfig blk
-> Header blk
-> WhetherSelfIssued

valuelookupPerasVoteStake

valueonPerasRoundNo

valuestakeAboveThreshold :: PerasParams -> PerasVoteStake -> Bool

valuevotesReachQuorum

:: StandardHash blk
=> PerasCfg blk
-> [ValidatedPerasVote blk]
-> Maybe (ValidatedPerasVotesWithQuorum blk)

valueselectView

:: BlockSupportsProtocol blk
=> BlockConfig blk
-> Header blk
-> SelectView (BlockProtocol blk)

valuecheckSecurityParamConsistency

valuesanityCheckConfig

valuemkPerasParams :: PerasParams

valuedepPairFirst

:: forall (a :: k). f a -> f' a
-> GenDepPair g f
-> GenDepPair g f'

valuefromTrivialDependency :: TrivialDependency f => f a -> a -> TrivialIndex f

valuetoTrivialDependency :: TrivialDependency f => f a -> TrivialIndex f -> a

valueblockHash :: HasHeader b => b -> HeaderHash b

valueblockNo :: HasHeader b => b -> BlockNo

valueblockPoint :: HasHeader block => block -> Point block

valueblockSlot :: HasHeader b => b -> SlotNo

valuecastHash

:: Coercible (HeaderHash b) (HeaderHash b')
=> ChainHash b
-> ChainHash b'

valuecastHeaderFields

valuecastPoint :: Coercible (HeaderHash b) (HeaderHash b') => Point b -> Point b'

valuepointHash :: Point block -> ChainHash block

valuepointSlot :: Point block -> WithOrigin SlotNo

newtypenewtype BlockNo

Constructors

BlockNo
- unBlockNo :: Word64

Instances18Bounded, Enum, Eq, Num, Ord, Show, …

Bounded BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Enum BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Eq BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Num BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Ord BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Show BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Generic BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
NFData BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
FromJSON BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
ToJSON BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Serialise BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
NoThunks BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
FromCBOR BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
ToCBOR BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
DecCBOR BlockNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR BlockNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
Condense BlockNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense
type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block

newtypenewtype EpochNo

Constructors

EpochNo
- unEpochNo :: Word64

Instances16Enum, Eq, Ord, Show, Generic, NFData, …

Enum EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Eq EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Ord EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Show EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Generic EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NFData EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromJSON EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToJSON EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Serialise EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NoThunks EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
DecCBOR EpochNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR EpochNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
Condense EpochNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense
type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot

newtypenewtype EpochSize

Constructors

EpochSize
- unEpochSize :: Word64

Instances14Enum, Eq, Ord, Show, Generic, NFData, …

Enum EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Eq EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Ord EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Show EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Generic EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NFData EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromJSON EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToJSON EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NoThunks EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
DecCBOR EpochSizeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR EpochSizeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
type Rep EpochSize = D1 ('MetaData "EpochSize" "Cardano.Slotting.Slot" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'True) (C1 ('MetaCons "EpochSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot

newtypenewtype SlotNo

Constructors

SlotNo
- unSlotNo :: Word64

Instances21Bounded, Enum, Eq, Num, Ord, Show, …

Bounded SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Enum SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Eq SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Num SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Ord SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Show SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Generic SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NFData SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromJSON SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToJSON SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Serialise SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NoThunks SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
DecCBOR SlotNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR SlotNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
Condense SlotNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) SlotNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
Anchorable (WithOrigin SlotNo) (HeaderStateWithTime blk) (HeaderStateWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderStateHistory
GetTip (l blk) => Anchorable (WithOrigin SlotNo) (StateRef m l blk) (StateRef m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot

datadata WithOrigin t

Origin

Instances21Functor, Foldable, Traversable, Bounded, Eq, Ord, …

Functor WithOriginDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Foldable WithOriginDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Traversable WithOriginDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Bounded t => Bounded (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Eq t => Eq (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Ord t => Ord (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Show t => Show (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Generic (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NFData a => NFData (WithOrigin a)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromJSON a => FromJSON (WithOrigin a)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToJSON a => ToJSON (WithOrigin a)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Serialise t => Serialise (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NoThunks t => NoThunks (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
(Serialise t, Typeable t) => FromCBOR (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
(Serialise t, Typeable t) => ToCBOR (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
(Serialise t, Typeable t) => DecCBOR (WithOrigin t)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
Serialise t => EncCBOR (WithOrigin t)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
Condense a => Condense (WithOrigin a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense
Anchorable (WithOrigin SlotNo) (HeaderStateWithTime blk) (HeaderStateWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderStateHistory
GetTip (l blk) => Anchorable (WithOrigin SlotNo) (StateRef m l blk) (StateRef m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
type Rep (WithOrigin t) = D1 ('MetaData "WithOrigin" "Cardano.Slotting.Slot" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'False) (C1 ('MetaCons "Origin" 'PrefixI 'False) U1 :+: C1 ('MetaCons "At" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot

patternpattern NotOrigin :: t -> WithOrigin t

datadata Proxy (t :: k)

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.

Example1 expression

>>> Proxy :: Proxy (Void, Int -> Int)Proxy

Proxy can even hold types of higher kinds,

Example1 expression

>>> Proxy :: Proxy EitherProxy

Example1 expression

>>> Proxy :: Proxy FunctorProxy

Example1 expression

>>> Proxy :: Proxy complicatedStructureProxy

Proxy

Instances97Generic1, FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, RepeatWithIndex, SemialignWithIndex, …

Generic1 ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Generics
FoldableWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndex
RepeatWithIndex Void ProxyDefined in semialign-1.4 · Data.Semialign.Internal
SemialignWithIndex Void ProxyDefined in semialign-1.4 · Data.Semialign.Internal
ZipWithIndex Void ProxyDefined in semialign-1.4 · Data.Semialign.Internal
FilterableWithIndex Void ProxyDefined in witherable-0.5 · Witherable
WitherableWithIndex Void ProxyDefined in witherable-0.5 · Witherable
ApplicativeB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB
ConstraintsB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB
DistributiveB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveB
FunctorB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
TraversableB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
EqP ProxyDefined in some-1.0.6 · Data.EqP
OrdP ProxyDefined in some-1.0.6 · Data.OrdP
Monad ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Functor ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Applicative ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Foldable ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Foldable
Traversable ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Traversable
Alternative ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
MonadPlus ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
MonadZip ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
Eq1 ProxyDefined in base-4.22.0.0 · Data.Functor.Classes
Ord1 ProxyDefined in base-4.22.0.0 · Data.Functor.Classes
Read1 ProxyDefined in base-4.22.0.0 · Data.Functor.Classes
Show1 ProxyDefined in base-4.22.0.0 · Data.Functor.Classes
Contravariant ProxyDefined in base-4.22.0.0 · Data.Functor.Contravariant
NFData1 ProxyDefined in deepseq-1.5.1.0 · Control.DeepSeq
Arbitrary1 ProxyDefined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphan
Hashable1 ProxyDefined in hashable-1.5.1.0 · Data.Hashable.Class
Distributive ProxyDefined in distributive-0.6.3 · Data.Distributive
Decidable ProxyDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible ProxyDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Alt ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Alt
Apply ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
Bind ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
Extend ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Extend
Conclude ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Conclude
Decide ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Decide
Divise ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
Plus ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Plus
Representable ProxyDefined in adjunctions-4.4.4 · Data.Functor.Rep
Representable ProxyDefined in adjunctions-4.4.4 · Data.Functor.Contravariant.Rep
Align ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Semialign ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Unalign ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Repeat ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Unzip ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Zip ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Filterable ProxyDefined in witherable-0.5 · Witherable
Witherable ProxyDefined in witherable-0.5 · Witherable
FromJSON1 ProxyDefined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSON
ToJSON1 ProxyDefined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSON
Invariant ProxyDefined in invariant-0.6.5 · Data.Functor.Invariant
from Data.Proxy
CollectScopeInfo ProxyDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
EstablishScoping ProxyDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Selective ProxyDefined in selective-0.7.0.1 · Control.Selective
Cosieve Tagged ProxyDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
Bounded (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Enum (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Eq (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Data t => Data (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Data
Ord (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Read (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Show (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Ix (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Generic (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Generics
Semigroup (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Monoid (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
NFData (Proxy a)Defined in deepseq-1.5.1.0 · Control.DeepSeq
Arbitrary (Proxy a)Defined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphan
CoArbitrary (Proxy a)Defined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphan
Function (Proxy a)Defined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphan
Hashable (Proxy a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
FromJSON (Proxy a)Defined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSON
ToJSON (Proxy a)Defined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSON
Default (Proxy a)Defined in data-default-0.8.0.2 · Data.Default.Internal
Serialise (Proxy a)Defined in serialise-0.2.6.1 · Codec.Serialise.Class
Boring (Proxy a)Defined in boring-0.2.2.1 · Data.Boring
Finite (Proxy a)Defined in universe-base-1.1.4 · Data.Universe.Class
Universe (Proxy a)Defined in universe-base-1.1.4 · Data.Universe.Class
MonoFoldable (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversable
MonoFunctor (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversable
MonoTraversable (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversable
MonoPointed (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversable
ToExpr (Proxy a)Defined in tree-diff-0.4.1 · Data.TreeDiff.Class
Abelian (Proxy x)Defined in groups-0.5.3 · Data.Group
Cyclic (Proxy x)Defined in groups-0.5.3 · Data.Group
Group (Proxy x)Defined in groups-0.5.3 · Data.Group
Trivial group, Functor style.
type Rep (Proxy t) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) U1)Defined in ghc-internal-9.1401.0 · GHC.Internal.Generics
type Rep1 Proxy = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) U1)Defined in ghc-internal-9.1401.0 · GHC.Internal.Generics
type Rep Proxy = VoidDefined in adjunctions-4.4.4 · Data.Functor.Rep
type Rep Proxy = ()Defined in adjunctions-4.4.4 · Data.Functor.Contravariant.Rep
type AllB c Proxy = ()Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB
type Element (Proxy a) = aDefined in mono-traversable-1.0.21.0 · Data.MonoTraversable

datadata (:~:) (a :: k) (b :: k) where

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.

Constructors

Refl :: (:~:) a a

Instances24Category, Groupoid, Semigroupoid, TestCoercion, TestEquality, EqP, …

Category (:~:)Defined in ghc-internal-9.1401.0 · GHC.Internal.Control.Category
Groupoid (:~:)Defined in semigroupoids-6.0.2 · Data.Groupoid
Semigroupoid (:~:)Defined in semigroupoids-6.0.2 · Data.Semigroupoid
TestCoercion ((:~:) a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Coercion
TestEquality ((:~:) a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Equality
EqP ((:~:) a)Defined in some-1.0.6 · Data.EqP
GCompare ((:~:) a)Defined in some-1.0.6 · Data.GADT.Internal
GEq ((:~:) a)Defined in some-1.0.6 · Data.GADT.Internal
GNFData ((:~:) a)Defined in some-1.0.6 · Data.GADT.DeepSeq
GRead ((:~:) a)Defined in some-1.0.6 · Data.GADT.Internal
GShow ((:~:) a)Defined in some-1.0.6 · Data.GADT.Internal
OrdP ((:~:) a)Defined in some-1.0.6 · Data.OrdP
NFData2 (:~:)Defined in deepseq-1.5.1.0 · Control.DeepSeq
NFData1 ((:~:) a)Defined in deepseq-1.5.1.0 · Control.DeepSeq
a ~ b => Bounded (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Equality
a ~ b => Enum (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Equality
Eq (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.Data
Ord (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Equality
a ~ b => Read (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Equality
Show (a :~: b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Equality
NFData (a :~: b)Defined in deepseq-1.5.1.0 · Control.DeepSeq
a ~ b => Boring (a :~: b)Defined in boring-0.2.2.1 · Data.Boring
Homogeneous type equality is Boring too.
HasDict (a ~ b) (a :~: b)Defined in constraints-0.14.4 · Data.Constraint

data familydata family BlockConfig blk

Instances7Isomorphic, NoThunks, BlockConfig, …

Isomorphic BlockConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
NoThunks (BlockConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (BlockConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data BlockConfig (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data BlockConfig (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data BlockConfig (HardForkBlock xs)
- HardForkBlockConfighardForkBlockConfigPerEra :: PerEraBlockConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data BlockConfig (DualBlock m a)
- DualBlockConfigdualBlockConfigMain :: BlockConfig mdualBlockConfigAux :: BlockConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDisableDiffusionPipeliningBlockConfig (BlockConfig blk)

constructorSelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)

familytype family BlockProtocol blk

Instances3BlockProtocol

type BlockProtocol (Header blk) = BlockProtocol blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
type BlockProtocol (HardForkBlock xs) = HardForkProtocol xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type BlockProtocol (DualBlock m a) = BlockProtocol mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

data familydata family CodecConfig blk

Instances7Isomorphic, Generic, NoThunks, Rep, CodecConfig, …

Isomorphic CodecConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Generic (CodecConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (CodecConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) => NoThunks (CodecConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data CodecConfig (HardForkBlock xs)
- HardForkCodecConfighardForkCodecConfigPerEra :: PerEraCodecConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data CodecConfig (DualBlock m a)
- DualCodecConfigdualCodecConfigMain :: !CodecConfig mdualCodecConfigAux :: !CodecConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass KnownNat (HashSize blk) => ConvertRawHash blk where

Associated types

type family HashSize blk :: Nat

Methods

toRawHash :: proxy blk -> HeaderHash blk -> ByteString
toShortRawHash :: proxy blk -> HeaderHash blk -> ShortByteString
fromRawHash :: proxy blk -> ByteString -> Maybe (HeaderHash blk)
fromShortRawHash :: proxy blk -> ShortByteString -> Maybe (HeaderHash blk)
unsafeFromRawHash :: proxy blk -> ByteString -> HeaderHash blk
unsafeFromShortRawHash :: proxy blk -> ShortByteString -> HeaderHash blk
hashSize :: proxy blk -> Word32

Instances2ConvertRawHash

CanHardFork xs => ConvertRawHash (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
ConvertRawHash m => ConvertRawHash (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

newtypenewtype GenesisWindow

Constructors

GenesisWindow
- unGenesisWindow :: Word64

Instances5Eq, Num, Ord, Show, NoThunks

Eq GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Num GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Ord GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Show GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
NoThunks GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract

classclass HasHeader (Header blk) => GetHeader blk where

Methods

getHeader :: blk -> Header blk
blockMatchesHeader :: Header blk -> blk -> Bool
headerIsEBB :: Header blk -> Maybe EpochNo

Instances2GetHeader

CanHardFork xs => GetHeader (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
Bridge m a => GetHeader (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass GetHeader1 (t :: Type -> Type) where

Methods

getHeader1 :: t blk -> Header blk

Instances2GetHeader1

GetHeader1 HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
GetHeader1 HeaderWithTimeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation

classclass (HasHeader blk, GetHeader blk) => GetPrevHash blk where

Methods

headerPrevHash :: Header blk -> ChainHash blk

Instances2GetPrevHash

CanHardFork xs => GetPrevHash (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
Bridge m a => GetPrevHash (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

familytype family HashSize blk :: Nat

Instances2HashSize

type HashSize (HardForkBlock xs) = HashSizeOfHead xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
type HashSize (DualBlock m a) = HashSize mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

data familydata family Header blk

Instances33GetHeader1, Inject, Isomorphic, StandardHash, ShowProxy, HasNestedContent, …

GetHeader1 HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Inject HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
StandardHash blk => StandardHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Typeable xs => ShowProxy (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasNestedContent Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
SerialiseHFC xs => ReconstructNestedCtxt Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
(Typeable m, Typeable a) => ShowProxy (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
HasNestedContent Header m => HasNestedContent Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
ReconstructNestedCtxt Header m => ReconstructNestedCtxt Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All (Compose Eq Header) xs => Eq (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => Show (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
NoThunks (Header (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasHeader (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
All CondenseConstraints xs => Condense (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
SerialiseHFC xs => DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
EncodeDiskDepIx (NestedCtxt Header) m => EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
EncodeDiskDep (NestedCtxt Header) m => EncodeDiskDep (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (Header m) => Show (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHeader (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
type HeaderHash (Header blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
type BlockProtocol (Header blk) = BlockProtocol blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
data Header (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (HardForkBlock xs)
- HardForkHeadergetHardForkHeader :: OneEraHeader xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data Header (DualBlock m a)
- DualHeaderdualHeaderMain :: Header m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDisableDiffusionPipeliningHeader (Header blk)

constructorSelectViewDiffusionPipeliningHeader (Header blk)

data familydata family StorageConfig blk

Instances7Isomorphic, Generic, NoThunks, Rep, StorageConfig, …

Isomorphic StorageConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Generic (StorageConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (StorageConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(NoThunks (StorageConfig m), NoThunks (StorageConfig a)) => NoThunks (StorageConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data StorageConfig (HardForkBlock xs)
- HardForkStorageConfighardForkStorageConfigPerEra :: PerEraStorageConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data StorageConfig (DualBlock m a)
- DualStorageConfigdualStorageConfigMain :: !StorageConfig mdualStorageConfigAux :: !StorageConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata IsEBB

IsEBB IsNotEBB

Instances8Eq, Show, Generic, NFData, Serialise, NoThunks, …

Eq IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
Show IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
Generic IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
NFData IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
Serialise IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
NoThunks IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
Condense IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB
type Rep IsEBB = D1 ('MetaData "IsEBB" "Ouroboros.Consensus.Block.EBB" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "IsEBB" 'PrefixI 'False) U1 :+: C1 ('MetaCons "IsNotEBB" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB

datadata BlockForging (m :: Type -> Type) blk

Constructors

BlockForging
- forgeLabel :: Text
- canBeLeader :: CanBeLeader (BlockProtocol blk)
- updateForgeState :: TopLevelConfig blk -> SlotNo -> Ticked (ChainDepState (BlockProtocol blk)) -> m (ForgeStateUpdateInfo blk)
- checkCanForge :: TopLevelConfig blk -> SlotNo -> Ticked (ChainDepState (BlockProtocol blk)) -> IsLeader (BlockProtocol blk) -> ForgeStateInfo blk -> Either (CannotForge blk) ()
- forgeBlock :: TopLevelConfig blk -> BlockNo -> SlotNo -> TickedLedgerState blk EmptyMK -> [Validated (GenTx blk)] -> IsLeader (BlockProtocol blk) -> m blk
- finalize :: m ()

Instances1Isomorphic

Functor m => Isomorphic (BlockForging m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

familytype family CannotForge blk

Instances2CannotForge

type CannotForge (HardForkBlock xs) = HardForkCannotForge xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging · orphan
type CannotForge (DualBlock m a) = CannotForge mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

familytype family ForgeStateInfo blk

Instances2ForgeStateInfo

type ForgeStateInfo (HardForkBlock xs) = HardForkForgeStateInfo xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging · orphan
type ForgeStateInfo (DualBlock m a) = ForgeStateInfo mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

familytype family ForgeStateUpdateError blk

Instances2ForgeStateUpdateError

type ForgeStateUpdateError (HardForkBlock xs) = HardForkForgeStateUpdateError xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging · orphan
type ForgeStateUpdateError (DualBlock m a) = ForgeStateUpdateError mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata ForgeStateUpdateInfo blk

Constructors

ForgeStateUpdated (ForgeStateInfo blk)
ForgeStateUpdateFailed (ForgeStateUpdateError blk)
ForgeStateUpdateSuppressed

Instances2Isomorphic, Show

Isomorphic ForgeStateUpdateInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
(Show (ForgeStateInfo blk), Show (ForgeStateUpdateError blk)) => Show (ForgeStateUpdateInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Forging

newtypenewtype MkBlockForging (m :: Type -> Type) blk

Constructors

MkBlockForging
- mkBlockForging :: m (BlockForging m blk)

Instances1Isomorphic

Functor m => Isomorphic (MkBlockForging m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

datadata ShouldForge blk

Constructors

ForgeStateUpdateError (ForgeStateUpdateError blk)
CannotForge (CannotForge blk)
NotLeader
ShouldForge (IsLeader (BlockProtocol blk))

datadata UpdateInfo updated failed

Constructors

Updated updated
UpdateFailed failed

Instances1Show

(Show updated, Show failed) => Show (UpdateInfo updated failed)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Forging

class

class (forall a. Show (NestedCtxt_ blk f a), SameDepIndex (NestedCtxt_ blk f)) => HasNestedContent (f :: Type -> Type) blk where

Methods

unnest :: f blk -> DepPair (NestedCtxt f blk)
nest :: DepPair (NestedCtxt f blk) -> f blk

Instances2HasNestedContent

CanHardFork xs => HasNestedContent Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
HasNestedContent Header m => HasNestedContent Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

newtypenewtype NestedCtxt (f :: Type -> Type) blk a

Constructors

NestedCtxt
- flipNestedCtxt :: NestedCtxt_ blk f a

Instances15SameDepIndex, TrivialDependency, DecodeDiskDep, DecodeDiskDepIx, EncodeDiskDepIx, EncodeDiskDep, …

SameDepIndex (NestedCtxt_ blk f) => SameDepIndex (NestedCtxt f blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent
TrivialDependency (NestedCtxt_ blk f) => TrivialDependency (NestedCtxt f blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent
SerialiseHFC xs => DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
EncodeDiskDepIx (NestedCtxt Header) m => EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
EncodeDiskDep (NestedCtxt Header) m => EncodeDiskDep (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (NestedCtxt_ blk f a) => Show (NestedCtxt f blk a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent
(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
Isomorphic (SomeSecond (NestedCtxt f))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
SameDepIndex (NestedCtxt_ blk f) => Eq (SomeSecond (NestedCtxt f) blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent
HasNestedContent f blk => Show (SomeSecond (NestedCtxt f) blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent
(Typeable f, Typeable blk) => NoThunks (SomeSecond (NestedCtxt f) blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent
type TrivialIndex (NestedCtxt f blk) = TrivialIndex (NestedCtxt_ blk f)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent

data familydata family NestedCtxt_ blk :: (Type -> Type) -> Type -> Type

Instances6SameDepIndex, Show, NestedCtxt_

CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
SameDepIndex (NestedCtxt_ m f) => SameDepIndex (NestedCtxt_ (DualBlock m a) f)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (NestedCtxt_ m f x) => Show (NestedCtxt_ (DualBlock m a) f x)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data NestedCtxt_ (HardForkBlock xs)
- NCZ :: !NestedCtxt_ x a b -> R:NestedCtxt_HardForkBlock (x ': xs1) a b
- NCS :: !NestedCtxt_ (HardForkBlock xs1) a b -> R:NestedCtxt_HardForkBlock (x ': xs1) a b
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data NestedCtxt_ (DualBlock m a)
- CtxtDual :: NestedCtxt_ m f x -> R:NestedCtxt_DualBlockfx m a f x
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata Bytes32RealPoint

Instances5Eq, Show, Generic, NoThunks, Rep

Eq Bytes32RealPointDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
Show Bytes32RealPointDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
Generic Bytes32RealPointDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
NoThunks Bytes32RealPointDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
type Rep Bytes32RealPoint = D1 ('MetaData "Bytes32RealPoint" "Ouroboros.Consensus.Block.RealPoint" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "Bytes32RealPoint" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ShortByteString)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint

datadata RealPoint blk

Constructors

RealPoint !SlotNo !(HeaderHash blk)

Instances7Eq, Ord, Show, Generic, NoThunks, Condense, …

StandardHash blk => Eq (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
StandardHash blk => Ord (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
StandardHash blk => Show (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
Generic (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
(StandardHash blk, Typeable blk) => NoThunks (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
Condense (HeaderHash blk) => Condense (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
type Rep (RealPoint blk) = D1 ('MetaData "RealPoint" "Ouroboros.Consensus.Block.RealPoint" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "RealPoint" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint

class

class (Show (TentativeHeaderState blk), NoThunks (TentativeHeaderState blk), Show (TentativeHeaderView blk)) => BlockSupportsDiffusionPipelining blk where

Associated types

type family TentativeHeaderState blk
type family TentativeHeaderView blk

Methods

initialTentativeHeaderState :: Proxy blk -> TentativeHeaderState blk
tentativeHeaderView :: BlockConfig blk -> Header blk -> TentativeHeaderView blk
applyTentativeHeaderView :: Proxy blk -> TentativeHeaderView blk -> TentativeHeaderState blk -> Maybe (TentativeHeaderState blk)

Instances3BlockSupportsDiffusionPipelining

BlockSupportsDiffusionPipelining (DisableDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
CanHardFork xs => BlockSupportsDiffusionPipelining (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining · orphan
(BlockSupportsProtocol blk, Show (SelectView (BlockProtocol blk))) => BlockSupportsDiffusionPipelining (SelectViewDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtypenewtype DisableDiffusionPipelining blk

Constructors

DisableDiffusionPipelining blk

Instances5BlockSupportsDiffusionPipelining, BlockConfig, Header, TentativeHeaderState, TentativeHeaderView

BlockSupportsDiffusionPipelining (DisableDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data BlockConfig (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
type TentativeHeaderState (DisableDiffusionPipelining blk) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
type TentativeHeaderView (DisableDiffusionPipelining blk) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtypenewtype SelectViewDiffusionPipelining blk

Constructors

SelectViewDiffusionPipelining blk

Instances5BlockSupportsDiffusionPipelining, BlockConfig, Header, TentativeHeaderState, TentativeHeaderView

(BlockSupportsProtocol blk, Show (SelectView (BlockProtocol blk))) => BlockSupportsDiffusionPipelining (SelectViewDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data BlockConfig (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
type TentativeHeaderState (SelectViewDiffusionPipelining blk) = SelectViewTentativeState (BlockProtocol blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
type TentativeHeaderView (SelectViewDiffusionPipelining blk) = SelectView (BlockProtocol blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining

datadata SelectViewTentativeState proto

Constructors

LastInvalidSelectView !(SelectView proto)
NoLastInvalidSelectView

Instances5Eq, Show, Generic, NoThunks, Rep

ConsensusProtocol proto => Eq (SelectViewTentativeState proto)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
ConsensusProtocol proto => Show (SelectViewTentativeState proto)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
Generic (SelectViewTentativeState proto)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
ConsensusProtocol proto => NoThunks (SelectViewTentativeState proto)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
type Rep (SelectViewTentativeState proto) = D1 ('MetaData "SelectViewTentativeState" "Ouroboros.Consensus.Block.SupportsDiffusionPipelining" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "LastInvalidSelectView" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SelectView proto))) :+: C1 ('MetaCons "NoLastInvalidSelectView" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining

familytype family TentativeHeaderState blk

Instances3TentativeHeaderState

type TentativeHeaderState (DisableDiffusionPipelining blk) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
type TentativeHeaderState (SelectViewDiffusionPipelining blk) = SelectViewTentativeState (BlockProtocol blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
type TentativeHeaderState (HardForkBlock xs) = OneEraTentativeHeaderState xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining · orphan

familytype family TentativeHeaderView blk

Instances3TentativeHeaderView

type TentativeHeaderView (DisableDiffusionPipelining blk) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
type TentativeHeaderView (SelectViewDiffusionPipelining blk) = SelectView (BlockProtocol blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
type TentativeHeaderView (HardForkBlock xs) = OneEraTentativeHeaderView xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining · orphan

classclass BlockSupportsMetrics blk where

Methods

isSelfIssued :: BlockConfig blk -> Header blk -> WhetherSelfIssued

Instances1BlockSupportsMetrics

CanHardFork xs => BlockSupportsMetrics (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.Metrics · orphan

datadata WhetherSelfIssued

IsSelfIssued IsNotSelfIssued UnknownSelfIssued

Instances2Eq, Show

Eq WhetherSelfIssuedDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsMetrics
Show WhetherSelfIssuedDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsMetrics

classclass (Show (PerasCfg blk), NoThunks (PerasCert blk)) => BlockSupportsPeras blk where

Associated types

type family PerasCfg blk
data family PerasCert blk
data family PerasVote blk
data family PerasValidationErr blk
data family PerasForgeErr blk

Methods

validatePerasCert :: PerasCfg blk -> PerasCert blk -> Either (PerasValidationErr blk) (ValidatedPerasCert blk)
validatePerasVote :: PerasCfg blk -> PerasVoteStakeDistr -> PerasVote blk -> Either (PerasValidationErr blk) (ValidatedPerasVote blk)
forgePerasCert :: PerasCfg blk -> ValidatedPerasVotesWithQuorum blk -> Either (PerasForgeErr blk) (ValidatedPerasCert blk)
getPerasCertInBlock :: blk -> Maybe (PerasCert blk)

Instances1BlockSupportsPeras

StandardHash blk => BlockSupportsPeras blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

classclass HasPerasCertBoost cert where

Methods

getPerasCertBoost :: cert -> PerasWeight

Instances2HasPerasCertBoost

HasPerasCertBoost (ValidatedPerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertBoost cert => HasPerasCertBoost (WithArrivalTime cert)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

classclass HasPerasCertBoostedBlock cert blk | cert -> blk where

Methods

getPerasCertBoostedBlock :: cert -> Point blk

Instances3HasPerasCertBoostedBlock

HasPerasCertBoostedBlock (PerasCert blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertBoostedBlock (ValidatedPerasCert blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertBoostedBlock cert blk => HasPerasCertBoostedBlock (WithArrivalTime cert) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

classclass HasPerasCertRound cert where

Methods

getPerasCertRound :: cert -> PerasRoundNo

Instances3HasPerasCertRound

HasPerasCertRound (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertRound (ValidatedPerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertRound cert => HasPerasCertRound (WithArrivalTime cert)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

classclass HasPerasVoteBlock vote blk | vote -> blk where

Methods

getPerasVoteBlock :: vote -> Point blk

Instances4HasPerasVoteBlock

HasPerasVoteBlock (PerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteBlock (ValidatedPerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteBlock vote blk => HasPerasVoteBlock (WithArrivalTime vote) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteBlock (PerasTargetVoteState blk status) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Vote.Aggregation

classclass HasPerasVoteId vote blk | vote -> blk where

Methods

getPerasVoteId :: vote -> PerasVoteId blk

Instances3HasPerasVoteId

HasPerasVoteId (PerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteId (ValidatedPerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteId vote blk => HasPerasVoteId (WithArrivalTime vote) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

classclass HasPerasVoteRound vote where

Methods

getPerasVoteRound :: vote -> PerasRoundNo

Instances5HasPerasVoteRound

HasPerasVoteRound (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteRound (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteRound (PerasRoundVoteState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Vote.Aggregation
HasPerasVoteRound vote => HasPerasVoteRound (WithArrivalTime vote)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteRound (PerasTargetVoteState blk status)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Vote.Aggregation

classclass HasPerasVoteStake vote where

Methods

getPerasVoteStake :: vote -> PerasVoteStake

Instances2HasPerasVoteStake

HasPerasVoteStake (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteStake vote => HasPerasVoteStake (WithArrivalTime vote)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

classclass HasPerasVoteTarget vote blk | vote -> blk where

Methods

getPerasVoteTarget :: vote -> PerasVoteTarget blk

Instances3HasPerasVoteTarget

HasPerasVoteTarget (PerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteTarget (ValidatedPerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteTarget vote blk => HasPerasVoteTarget (WithArrivalTime vote) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

classclass HasPerasVoteVoterId vote where

Methods

getPerasVoteVoterId :: vote -> PerasVoterId

Instances3HasPerasVoteVoterId

HasPerasVoteVoterId (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteVoterId (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteVoterId vote => HasPerasVoteVoterId (WithArrivalTime vote)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

newtypenewtype PerasBoostedBlock

Constructors

PerasBoostedBlock
- unPerasBoostedBlock :: Bytes32RealPoint

Instances4Eq, Show, FromCBOR, ToCBOR

Eq PerasBoostedBlockDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Show PerasBoostedBlockDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
FromCBOR PerasBoostedBlockDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ToCBOR PerasBoostedBlockDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

familydata family PerasCert blk

Instances12ShowProxy, SerialiseNodeToNode, Eq, Ord, Show, Generic, …

ShowProxy blk => ShowProxy (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ConvertRawHash blk => SerialiseNodeToNode blk (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation
StandardHash blk => Eq (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Ord (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Show (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Serialise (HeaderHash blk) => Serialise (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => NoThunks (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertRound (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertBoostedBlock (PerasCert blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
type Rep (PerasCert blk) = D1 ('MetaData "PerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "pcCertRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pcCertBoostedBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
data PerasCert
- PerasCertpcCertRound :: PerasRoundNopcCertBoostedBlock :: Point blk
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

constructorPerasCert

Fields

pcCertRound :: PerasRoundNo
pcCertBoostedBlock :: Point blk

valuepcCertBoostedBlock :: PerasCert blk -> Point blk

valuepcCertRound :: PerasCert blk -> PerasRoundNo

familytype family PerasCfg blk

Instances1PerasCfg

type PerasCfg blk = PerasParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

familydata family PerasForgeErr blk

Instances3Eq, Show, PerasForgeErr

Eq (PerasForgeErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Show (PerasForgeErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
data PerasForgeErr
- PerasForgeErr
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

newtypenewtype PerasRoundNo

Constructors

PerasRoundNo
- unPerasRoundNo :: Word64

Instances16Bounded, Enum, Eq, Num, Ord, Show, …

Bounded PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Enum PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Eq PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Num PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Ord PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Show PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
NFData PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Serialise PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
NoThunks PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
FromCBOR PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ToCBOR PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Condense PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ShowProxy PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
SerialiseNodeToNode blk PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation
type Rep PerasRoundNo = D1 ('MetaData "PerasRoundNo" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PerasRoundNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasRoundNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

newtypenewtype PerasSeatIndex

Constructors

PerasSeatIndex
- unPerasSeatIndex :: Word16

Instances7Bounded, Enum, Eq, Ord, Show, FromCBOR, …

Bounded PerasSeatIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Enum PerasSeatIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Eq PerasSeatIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Ord PerasSeatIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Show PerasSeatIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
FromCBOR PerasSeatIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ToCBOR PerasSeatIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

familydata family PerasValidationErr blk

Instances3Eq, Show, PerasValidationErr

Eq (PerasValidationErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Show (PerasValidationErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
data PerasValidationErr
- PerasValidationErr
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

familydata family PerasVote blk

Instances15ShowProxy, SerialiseNodeToNode, Eq, Ord, Show, Generic, …

ShowProxy blk => ShowProxy (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ConvertRawHash blk => SerialiseNodeToNode blk (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation
StandardHash blk => Eq (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Ord (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Show (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Serialise (HeaderHash blk) => Serialise (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => NoThunks (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteRound (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteVoterId (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteBlock (PerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteId (PerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteTarget (PerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
type Rep (PerasVote blk) = D1 ('MetaData "PerasVote" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvVoteRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: (S1 ('MetaSel ('Just "pvVoteBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel ('Just "pvVoteVoterId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasVoterId))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
data PerasVote
- PerasVotepvVoteRound :: PerasRoundNopvVoteBlock :: Point blkpvVoteVoterId :: PerasVoterId
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

constructorPerasVote

Fields

valuepvVoteBlock :: PerasVote blk -> Point blk

valuepvVoteRound :: PerasVote blk -> PerasRoundNo

valuepvVoteVoterId :: PerasVote blk -> PerasVoterId

datadata PerasVoteId blk

Constructors

PerasVoteId
- pviRoundNo :: !PerasRoundNo
- pviVoterId :: !PerasVoterId

Instances9ShowProxy, SerialiseNodeToNode, Eq, Ord, Show, Generic, …

ShowProxy blk => ShowProxy (PerasVoteId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
SerialiseNodeToNode blk (PerasVoteId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation
Eq (PerasVoteId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Ord (PerasVoteId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Show (PerasVoteId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic (PerasVoteId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Serialise (PerasVoteId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
NoThunks (PerasVoteId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
type Rep (PerasVoteId blk) = D1 ('MetaData "PerasVoteId" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PerasVoteId" 'PrefixI 'True) (S1 ('MetaSel ('Just "pviRoundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pviVoterId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasVoterId)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

newtypenewtype PerasVoteStake

Constructors

PerasVoteStake
- unPerasVoteStake :: Rational

Instances11Eq, Fractional, Num, Ord, Show, Generic, …

Eq PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Fractional PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Num PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Ord PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Show PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Semigroup PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Monoid PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Serialise PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
NoThunks PerasVoteStakeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
type Rep PerasVoteStake = D1 ('MetaData "PerasVoteStake" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PerasVoteStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasVoteStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

newtypenewtype PerasVoteStakeDistr

Constructors

PerasVoteStakeDistr
- unPerasVoteStakeDistr :: Map PerasVoterId PerasVoteStake

Instances5Eq, Show, Generic, NoThunks, Rep

Eq PerasVoteStakeDistrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Show PerasVoteStakeDistrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic PerasVoteStakeDistrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
NoThunks PerasVoteStakeDistrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
type Rep PerasVoteStakeDistr = D1 ('MetaData "PerasVoteStakeDistr" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PerasVoteStakeDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasVoteStakeDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PerasVoterId PerasVoteStake))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

datadata PerasVoteTarget blk

Constructors

PerasVoteTarget
- pvtRoundNo :: !PerasRoundNo
- pvtBlock :: !Point blk

Instances6Eq, Ord, Show, Generic, NoThunks, Rep

StandardHash blk => Eq (PerasVoteTarget blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Ord (PerasVoteTarget blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Show (PerasVoteTarget blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic (PerasVoteTarget blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => NoThunks (PerasVoteTarget blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
type Rep (PerasVoteTarget blk) = D1 ('MetaData "PerasVoteTarget" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PerasVoteTarget" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvtRoundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pvtBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

newtypenewtype PerasVoterId

Constructors

PerasVoterId
- unPerasVoterId :: KeyHash StakePool

Instances7Eq, Ord, Show, Generic, NoThunks, SerialiseNodeToNode, …

Eq PerasVoterIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Ord PerasVoterIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Show PerasVoterIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic PerasVoterIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
NoThunks PerasVoterIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
SerialiseNodeToNode blk PerasVoterIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation
type Rep PerasVoterId = D1 ('MetaData "PerasVoterId" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PerasVoterId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasVoterId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

datadata ValidatedPerasCert blk

Constructors

ValidatedPerasCert
- vpcCert :: !PerasCert blk
- vpcCertBoost :: !PerasWeight

Instances9Eq, Ord, Show, Generic, NoThunks, HasPerasCertBoost, …

StandardHash blk => Eq (ValidatedPerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Ord (ValidatedPerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Show (ValidatedPerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic (ValidatedPerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => NoThunks (ValidatedPerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertBoost (ValidatedPerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertRound (ValidatedPerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasCertBoostedBlock (ValidatedPerasCert blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
type Rep (ValidatedPerasCert blk) = D1 ('MetaData "ValidatedPerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "ValidatedPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpcCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasCert blk)) :*: S1 ('MetaSel ('Just "vpcCertBoost") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 PerasWeight)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

datadata ValidatedPerasVote blk

Constructors

ValidatedPerasVote
- vpvVote :: !PerasVote blk
- vpvVoteStake :: !PerasVoteStake

Instances12Eq, Ord, Show, Generic, NoThunks, HasPerasVoteRound, …

StandardHash blk => Eq (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Ord (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Show (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => NoThunks (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteRound (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteStake (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteVoterId (ValidatedPerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteBlock (ValidatedPerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteId (ValidatedPerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
HasPerasVoteTarget (ValidatedPerasVote blk) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
type Rep (ValidatedPerasVote blk) = D1 ('MetaData "ValidatedPerasVote" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "ValidatedPerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpvVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasVote blk)) :*: S1 ('MetaSel ('Just "vpvVoteStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasVoteStake)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

datadata ValidatedPerasVotesWithQuorum blk

Instances5Eq, Show, Generic, NoThunks, Rep

StandardHash blk => Eq (ValidatedPerasVotesWithQuorum blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => Show (ValidatedPerasVotesWithQuorum blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
Generic (ValidatedPerasVotesWithQuorum blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
StandardHash blk => NoThunks (ValidatedPerasVotesWithQuorum blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
type Rep (ValidatedPerasVotesWithQuorum blk) = D1 ('MetaData "ValidatedPerasVotesWithQuorum" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "ValidatedPerasVotesWithQuorum" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpvqTarget") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasVoteTarget blk)) :*: (S1 ('MetaSel ('Just "vpvqVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (ValidatedPerasVote blk))) :*: S1 ('MetaSel ('Just "vpvqPerasCfg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasCfg blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras

valuevpvqPerasCfg :: ValidatedPerasVotesWithQuorum blk -> PerasCfg blk

valuevpvqTarget :: ValidatedPerasVotesWithQuorum blk -> PerasVoteTarget blk

valuevpvqVotes

:: ValidatedPerasVotesWithQuorum blk
-> NonEmpty (ValidatedPerasVote blk)

class

class (GetHeader blk, GetPrevHash blk, ConsensusProtocol (BlockProtocol blk), NoThunks (Header blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (StorageConfig blk)) => BlockSupportsProtocol blk where

Methods

validateView :: BlockConfig blk -> Header blk -> ValidateView (BlockProtocol blk)
tiebreakerView :: BlockConfig blk -> Header blk -> TiebreakerView (BlockProtocol blk)
projectChainOrderConfig :: BlockConfig blk -> ChainOrderConfig (SelectView (BlockProtocol blk))

Instances2BlockSupportsProtocol

CanHardFork xs => BlockSupportsProtocol (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
Bridge m a => BlockSupportsProtocol (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass BlockSupportsSanityCheck blk where

Methods

configAllSecurityParams :: TopLevelConfig blk -> NonEmpty SecurityParam

Instances1BlockSupportsSanityCheck

CanHardFork xs => BlockSupportsSanityCheck (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.SanityCheck · orphan

datadata SanityCheckIssue

Constructors

Instances3Eq, Show, Exception

Eq SanityCheckIssueDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsSanityCheck
Show SanityCheckIssueDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsSanityCheck
Exception SanityCheckIssueDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsSanityCheck

newtypenewtype PerasBlockMinSlots