Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Degenerate

Contents

Pattern synonyms

Synopsis

data family BlockConfig blk ∷ Type
data family BlockQuery blk ∷ Type → Type
data family CodecConfig blk ∷ Type
data family ConsensusConfig p ∷ Type
data Either a b where
- pattern DegenQueryResult ∷ result → HardForkQueryResult '[b] result
data family GenTx blk ∷ Type
data HardForkApplyTxErr xs where
- pattern DegenApplyTxErr ∷ ∀ b. NoHardForks b ⇒ ApplyTxErr b → HardForkApplyTxErr '[b]
data HardForkBlock xs where
- pattern DegenBlock ∷ ∀ b. NoHardForks b ⇒ b → HardForkBlock '[b]
data HardForkEnvelopeErr xs where
- pattern DegenOtherHeaderEnvelopeError ∷ ∀ b. NoHardForks b ⇒ OtherHeaderEnvelopeError b → HardForkEnvelopeErr '[b]
data HardForkLedgerConfig xs where
- pattern DegenLedgerConfig ∷ PartialLedgerConfig b → HardForkLedgerConfig '[b]
data HardForkLedgerError xs where
- pattern DegenLedgerError ∷ ∀ b. NoHardForks b ⇒ LedgerError b → HardForkLedgerError '[b]
data family Header blk ∷ Type
data family LedgerState blk ∷ Type
data OneEraTipInfo xs where
- pattern DegenTipInfo ∷ ∀ b. NoHardForks b ⇒ TipInfo b → OneEraTipInfo '[b]
data TopLevelConfig blk where
- pattern DegenTopLevelConfig ∷ NoHardForks b ⇒ TopLevelConfig b → TopLevelConfig (HardForkBlock '[b])
data family TxId tx ∷ Type

Pattern synonyms

data family BlockConfig blk ∷ Type Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Isomorphic BlockConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ BlockConfig (HardForkBlock '[blk]) → BlockConfig blk Source # inject ∷ NoHardForks blk ⇒ BlockConfig blk → BlockConfig (HardForkBlock '[blk]) Source #
CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String Source #
NoThunks (BlockConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (DualBlock m a)) → String Source #
newtype BlockConfig (DisableDiffusionPipelining blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (SelectViewDiffusionPipelining blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig { hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs }
data BlockConfig (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockConfig (DualBlock m a) = DualBlockConfig { dualBlockConfigMain ∷ BlockConfig m dualBlockConfigAux ∷ BlockConfig a }

data family BlockQuery blk ∷ Type → Type Source #

Different queries supported by the ledger, indexed by the result type.

Instances

Instances details

All SingleEraBlock xs ⇒ SameDepIndex (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ BlockQuery (HardForkBlock xs) a → BlockQuery (HardForkBlock xs) b → Maybe (a :~: b) Source #
SameDepIndex (BlockQuery (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex ∷ BlockQuery (DualBlock m a) a0 → BlockQuery (DualBlock m a) b → Maybe (a0 :~: b) Source #
All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ BlockQuery (HardForkBlock xs) result → result → String Source #
ShowQuery (BlockQuery (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult ∷ BlockQuery (DualBlock m a) result → result → String Source #
SerialiseHFC xs ⇒ SerialiseResult (HardForkBlock xs) (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → result → Encoding Source # decodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → ∀ s. Decoder s result Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (SomeSecond BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SomeSecond BlockQuery (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (SomeSecond BlockQuery (HardForkBlock xs)) Source #
All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (HardForkBlock xs) result → ShowS # show ∷ BlockQuery (HardForkBlock xs) result → String # showList ∷ [BlockQuery (HardForkBlock xs) result] → ShowS #
Show (BlockQuery (DualBlock m a) result) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → BlockQuery (DualBlock m a) result → ShowS # show ∷ BlockQuery (DualBlock m a) result → String # showList ∷ [BlockQuery (DualBlock m a) result] → ShowS #
Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (HardForkBlock xs)) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (BlockQuery (DualBlock m a) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (BlockQuery (DualBlock m a)) → String Source #
Inject (SomeSecond BlockQuery) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ InjectionIndex xs x → SomeSecond BlockQuery x → SomeSecond BlockQuery (HardForkBlock xs) Source #
(∀ result. Show (BlockQuery blk result)) ⇒ Show (SomeSecond BlockQuery blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeSecond BlockQuery blk → ShowS # show ∷ SomeSecond BlockQuery blk → String # showList ∷ [SomeSecond BlockQuery blk] → ShowS #
SameDepIndex (BlockQuery blk) ⇒ Eq (SomeSecond BlockQuery blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool # (/=) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool #
data BlockQuery (HardForkBlock xs) a Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) a where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) result. QueryIfCurrent xs result → BlockQuery (HardForkBlock xs) (Either (MismatchEraInfo xs) result) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) a x. IsNonEmpty xs1 ⇒ QueryAnytime a → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) a QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x a. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) a → BlockQuery (HardForkBlock (x ': xs1)) a
data BlockQuery (DualBlock m a) result Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockQuery (DualBlock m a) result

data family CodecConfig blk ∷ Type Source #

Static configuration required for serialisation and deserialisation of types pertaining to this type of block.

Data family instead of type family to get better type inference.

Instances

Instances details

Isomorphic CodecConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ CodecConfig (HardForkBlock '[blk]) → CodecConfig blk Source # inject ∷ NoHardForks blk ⇒ CodecConfig blk → CodecConfig (HardForkBlock '[blk]) Source #
Generic (CodecConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Associated Types type Rep (CodecConfig (DualBlock m a)) ∷ Type → Type # Methods from ∷ CodecConfig (DualBlock m a) → Rep (CodecConfig (DualBlock m a)) x # to ∷ Rep (CodecConfig (DualBlock m a)) x → CodecConfig (DualBlock m a) #
CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String Source #
(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) ⇒ NoThunks (CodecConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (DualBlock m a)) → String Source #
type Rep (CodecConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.24.0.0-inplace" '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))))
newtype CodecConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs }
data CodecConfig (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data CodecConfig (DualBlock m a) = DualCodecConfig { dualCodecConfigMain ∷ !(CodecConfig m) dualCodecConfigAux ∷ !(CodecConfig a) }

data family ConsensusConfig p ∷ Type Source #

Static configuration required to run the consensus protocol

Every method in the ConsensusProtocol class takes the consensus configuration as a parameter, so having this as a data family rather than a type family resolves most ambiguity.

Defined out of the class so that protocols can define this type without having to define the entire protocol at the same time (or indeed in the same module).

Instances

Instances details

Generic (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Associated Types type Rep (ConsensusConfig (HardForkProtocol xs)) ∷ Type → Type # Methods from ∷ ConsensusConfig (HardForkProtocol xs) → Rep (ConsensusConfig (HardForkProtocol xs)) x # to ∷ Rep (ConsensusConfig (HardForkProtocol xs)) x → ConsensusConfig (HardForkProtocol xs) #
Generic (ConsensusConfig (Bft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Associated Types type Rep (ConsensusConfig (Bft c)) ∷ Type → Type # Methods from ∷ ConsensusConfig (Bft c) → Rep (ConsensusConfig (Bft c)) x # to ∷ Rep (ConsensusConfig (Bft c)) x → ConsensusConfig (Bft c) #
Generic (ConsensusConfig (ModChainSel p s)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel Associated Types type Rep (ConsensusConfig (ModChainSel p s)) ∷ Type → Type # Methods from ∷ ConsensusConfig (ModChainSel p s) → Rep (ConsensusConfig (ModChainSel p s)) x # to ∷ Rep (ConsensusConfig (ModChainSel p s)) x → ConsensusConfig (ModChainSel p s) #
Generic (ConsensusConfig (PBft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Associated Types type Rep (ConsensusConfig (PBft c)) ∷ Type → Type # Methods from ∷ ConsensusConfig (PBft c) → Rep (ConsensusConfig (PBft c)) x # to ∷ Rep (ConsensusConfig (PBft c)) x → ConsensusConfig (PBft c) #
CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (HardForkProtocol xs)) → String Source #
BftCrypto c ⇒ NoThunks (ConsensusConfig (Bft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods noThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (Bft c)) → String Source #
ConsensusProtocol p ⇒ NoThunks (ConsensusConfig (ModChainSel p s)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel Methods noThunks ∷ Context → ConsensusConfig (ModChainSel p s) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (ModChainSel p s) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (ModChainSel p s)) → String Source #
NoThunks (ConsensusConfig (PBft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (PBft c)) → String Source #
type Rep (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam) :: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))
type Rep (ConsensusConfig (Bft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "BftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BftParams) :: (S1 ('MetaSel ('Just "bftSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (BftDSIGN c))) :: S1 ('MetaSel ('Just "bftVerKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NodeId (VerKeyDSIGN (BftDSIGN c)))))))
type Rep (ConsensusConfig (ModChainSel p s)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel type Rep (ConsensusConfig (ModChainSel p s)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-0.24.0.0-inplace" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))
type Rep (ConsensusConfig (PBft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.24.0.0-inplace" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))
data ConsensusConfig (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig { hardForkConsensusConfigK ∷ !SecurityParam hardForkConsensusConfigShape ∷ !(Shape xs) hardForkConsensusConfigPerEra ∷ !(PerEraConsensusConfig xs) }
data ConsensusConfig (Bft c) Source #	(Static) node configuration
Instance details Defined in Ouroboros.Consensus.Protocol.BFT data ConsensusConfig (Bft c) = BftConfig { bftParams ∷ !BftParams bftSignKey ∷ !(SignKeyDSIGN (BftDSIGN c)) bftVerKeys ∷ !(Map NodeId (VerKeyDSIGN (BftDSIGN c))) }
newtype ConsensusConfig (PBft c) Source #	(Static) node configuration
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT newtype ConsensusConfig (PBft c) = PBftConfig { pbftParams ∷ PBftParams }
newtype ConsensusConfig (ModChainSel p s) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel newtype ConsensusConfig (ModChainSel p s) = McsConsensusConfig { mcsConfigP ∷ ConsensusConfig p }

data Either a b where #

The Either type represents values with two possibilities: a value of type Either a b is either Left a or Right b.

The Either type is sometimes used to represent a value which is either correct or an error; by convention, the Left constructor is used to hold an error value and the Right constructor is used to hold a correct value (mnemonic: "right" also means "correct").

Examples

Expand

The type Either String Int is the type of values which can be either a String or an Int. The Left constructor can be used only on Strings, and the Right constructor can be used only on Ints:

>>> let s = Left "foo" :: Either String Int
>>> s
Left "foo"
>>> let n = Right 3 :: Either String Int
>>> n
Right 3
>>> :type s
s :: Either String Int
>>> :type n
n :: Either String Int

The fmap from our Functor instance will ignore Left values, but will apply the supplied function to values contained in a Right:

>>> let s = Left "foo" :: Either String Int
>>> let n = Right 3 :: Either String Int
>>> fmap (*2) s
Left "foo"
>>> fmap (*2) n
Right 6

The Monad instance for Either allows us to chain together multiple actions which may fail, and fail overall if any of the individual steps failed. First we'll write a function that can either parse an Int from a Char, or fail.

>>> import Data.Char ( digitToInt, isDigit )
>>> :{
    let parseEither :: Char -> Either String Int
        parseEither c
          | isDigit c = Right (digitToInt c)
          | otherwise = Left "parse error"
>>> :}

The following should work, since both '1' and '2' can be parsed as Ints.

>>> :{
    let parseMultiple :: Either String Int
        parseMultiple = do
          x <- parseEither '1'
          y <- parseEither '2'
          return (x + y)
>>> :}

>>> parseMultiple
Right 3

But the following should fail overall, since the first operation where we attempt to parse 'm' as an Int will fail:

>>> :{
    let parseMultiple :: Either String Int
        parseMultiple = do
          x <- parseEither 'm'
          y <- parseEither '2'
          return (x + y)
>>> :}

>>> parseMultiple
Left "parse error"

Bundled Patterns

pattern DegenQueryResult ∷ result → HardForkQueryResult '[b] result

Instances

Instances details

Bifunctor Either	Since: base-4.8.0.0
Instance details Defined in Data.Bifunctor Methods bimap ∷ (a → b) → (c → d) → Either a c → Either b d # first ∷ (a → b) → Either a c → Either b c # second ∷ (b → c) → Either a b → Either a c #
Eq2 Either	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftEq2 ∷ (a → b → Bool) → (c → d → Bool) → Either a c → Either b d → Bool #
Ord2 Either	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare2 ∷ (a → b → Ordering) → (c → d → Ordering) → Either a c → Either b d → Ordering #
Read2 Either	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftReadsPrec2 ∷ (Int → ReadS a) → ReadS [a] → (Int → ReadS b) → ReadS [b] → Int → ReadS (Either a b) # liftReadList2 ∷ (Int → ReadS a) → ReadS [a] → (Int → ReadS b) → ReadS [b] → ReadS [Either a b] # liftReadPrec2 ∷ ReadPrec a → ReadPrec [a] → ReadPrec b → ReadPrec [b] → ReadPrec (Either a b) # liftReadListPrec2 ∷ ReadPrec a → ReadPrec [a] → ReadPrec b → ReadPrec [b] → ReadPrec [Either a b] #
Show2 Either	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec2 ∷ (Int → a → ShowS) → ([a] → ShowS) → (Int → b → ShowS) → ([b] → ShowS) → Int → Either a b → ShowS # liftShowList2 ∷ (Int → a → ShowS) → ([a] → ShowS) → (Int → b → ShowS) → ([b] → ShowS) → [Either a b] → ShowS #
NFData2 Either	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf2 ∷ (a → ()) → (b → ()) → Either a b → () #
Hashable2 Either
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt2 ∷ (Int → a → Int) → (Int → b → Int) → Int → Either a b → Int Source #
Generic1 (Either a ∷ Type → Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (Either a) ∷ k → Type # Methods from1 ∷ ∀ (a0 ∷ k). Either a a0 → Rep1 (Either a) a0 # to1 ∷ ∀ (a0 ∷ k). Rep1 (Either a) a0 → Either a a0 #
MonadError e (Either e)
Instance details Defined in Control.Monad.Error.Class Methods throwError ∷ e → Either e a # catchError ∷ Either e a → (e → Either e a) → Either e a #
(Lift a, Lift b) ⇒ Lift (Either a b ∷ Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift ∷ Quote m ⇒ Either a b → m Exp # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ Either a b → Code m (Either a b) #
Foldable (Either a)	Since: base-4.7.0.0
Instance details Defined in Data.Foldable Methods fold ∷ Monoid m ⇒ Either a m → m # foldMap ∷ Monoid m ⇒ (a0 → m) → Either a a0 → m # foldMap' ∷ Monoid m ⇒ (a0 → m) → Either a a0 → m # foldr ∷ (a0 → b → b) → b → Either a a0 → b # foldr' ∷ (a0 → b → b) → b → Either a a0 → b # foldl ∷ (b → a0 → b) → b → Either a a0 → b # foldl' ∷ (b → a0 → b) → b → Either a a0 → b # foldr1 ∷ (a0 → a0 → a0) → Either a a0 → a0 # foldl1 ∷ (a0 → a0 → a0) → Either a a0 → a0 # toList ∷ Either a a0 → [a0] # null ∷ Either a a0 → Bool # length ∷ Either a a0 → Int # elem ∷ Eq a0 ⇒ a0 → Either a a0 → Bool # maximum ∷ Ord a0 ⇒ Either a a0 → a0 # minimum ∷ Ord a0 ⇒ Either a a0 → a0 # sum ∷ Num a0 ⇒ Either a a0 → a0 # product ∷ Num a0 ⇒ Either a a0 → a0 #
Eq a ⇒ Eq1 (Either a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftEq ∷ (a0 → b → Bool) → Either a a0 → Either a b → Bool #
Ord a ⇒ Ord1 (Either a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare ∷ (a0 → b → Ordering) → Either a a0 → Either a b → Ordering #
Read a ⇒ Read1 (Either a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftReadsPrec ∷ (Int → ReadS a0) → ReadS [a0] → Int → ReadS (Either a a0) # liftReadList ∷ (Int → ReadS a0) → ReadS [a0] → ReadS [Either a a0] # liftReadPrec ∷ ReadPrec a0 → ReadPrec [a0] → ReadPrec (Either a a0) # liftReadListPrec ∷ ReadPrec a0 → ReadPrec [a0] → ReadPrec [Either a a0] #
Show a ⇒ Show1 (Either a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec ∷ (Int → a0 → ShowS) → ([a0] → ShowS) → Int → Either a a0 → ShowS # liftShowList ∷ (Int → a0 → ShowS) → ([a0] → ShowS) → [Either a a0] → ShowS #
Traversable (Either a)	Since: base-4.7.0.0
Instance details Defined in Data.Traversable Methods traverse ∷ Applicative f ⇒ (a0 → f b) → Either a a0 → f (Either a b) # sequenceA ∷ Applicative f ⇒ Either a (f a0) → f (Either a a0) # mapM ∷ Monad m ⇒ (a0 → m b) → Either a a0 → m (Either a b) # sequence ∷ Monad m ⇒ Either a (m a0) → m (Either a a0) #
Applicative (Either e)	Since: base-3.0
Instance details Defined in Data.Either Methods pure ∷ a → Either e a # (<>) ∷ Either e (a → b) → Either e a → Either e b # liftA2 ∷ (a → b → c) → Either e a → Either e b → Either e c # (>) ∷ Either e a → Either e b → Either e b # (<*) ∷ Either e a → Either e b → Either e a #
Functor (Either a)	Since: base-3.0
Instance details Defined in Data.Either Methods fmap ∷ (a0 → b) → Either a a0 → Either a b # (<$) ∷ a0 → Either a b → Either a a0 #
Monad (Either e)	Since: base-4.4.0.0
Instance details Defined in Data.Either Methods (>>=) ∷ Either e a → (a → Either e b) → Either e b # (>>) ∷ Either e a → Either e b → Either e b # return ∷ a → Either e a #
MonadFailure (Either a)
Instance details Defined in Basement.Monad Associated Types type Failure (Either a) Source # Methods mFail ∷ Failure (Either a) → Either a () Source #
NFData a ⇒ NFData1 (Either a)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf ∷ (a0 → ()) → Either a a0 → () #
e ~ SomeException ⇒ MonadCatch (Either e)	Since: exceptions-0.8.3
Instance details Defined in Control.Monad.Catch Methods catch ∷ (HasCallStack, Exception e0) ⇒ Either e a → (e0 → Either e a) → Either e a #
e ~ SomeException ⇒ MonadMask (Either e)	Since: exceptions-0.8.3
Instance details Defined in Control.Monad.Catch Methods mask ∷ HasCallStack ⇒ ((∀ a. Either e a → Either e a) → Either e b) → Either e b # uninterruptibleMask ∷ HasCallStack ⇒ ((∀ a. Either e a → Either e a) → Either e b) → Either e b # generalBracket ∷ HasCallStack ⇒ Either e a → (a → ExitCase b → Either e c) → (a → Either e b) → Either e (b, c) #
e ~ SomeException ⇒ MonadThrow (Either e)
Instance details Defined in Control.Monad.Catch Methods throwM ∷ (HasCallStack, Exception e0) ⇒ e0 → Either e a #
Hashable a ⇒ Hashable1 (Either a)
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt ∷ (Int → a0 → Int) → Int → Either a a0 → Int Source #
MonadBaseControl (Either e) (Either e)
Instance details Defined in Control.Monad.Trans.Control Associated Types type StM (Either e) a Source # Methods liftBaseWith ∷ (RunInBase (Either e) (Either e) → Either e a) → Either e a Source # restoreM ∷ StM (Either e) a → Either e a Source #
Semigroup (Either a b)	Since: base-4.9.0.0
Instance details Defined in Data.Either Methods (<>) ∷ Either a b → Either a b → Either a b # sconcat ∷ NonEmpty (Either a b) → Either a b # stimes ∷ Integral b0 ⇒ b0 → Either a b → Either a b #
Generic (Either a b)
Instance details Defined in GHC.Generics Associated Types type Rep (Either a b) ∷ Type → Type # Methods from ∷ Either a b → Rep (Either a b) x # to ∷ Rep (Either a b) x → Either a b #
(Read a, Read b) ⇒ Read (Either a b)	Since: base-3.0
Instance details Defined in Data.Either Methods readsPrec ∷ Int → ReadS (Either a b) # readList ∷ ReadS [Either a b] # readPrec ∷ ReadPrec (Either a b) # readListPrec ∷ ReadPrec [Either a b] #
(Show a, Show b) ⇒ Show (Either a b)	Since: base-3.0
Instance details Defined in Data.Either Methods showsPrec ∷ Int → Either a b → ShowS # show ∷ Either a b → String # showList ∷ [Either a b] → ShowS #
(Binary a, Binary b) ⇒ Binary (Either a b)
Instance details Defined in Data.Binary.Class Methods put ∷ Either a b → Put # get ∷ Get (Either a b) # putList ∷ [Either a b] → Put #
(FromCBOR a, FromCBOR b) ⇒ FromCBOR (Either a b)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Either a b) Source # label ∷ Proxy (Either a b) → Text Source #
(ToCBOR a, ToCBOR b) ⇒ ToCBOR (Either a b)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Either a b → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Either a b) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Either a b] → Size Source #
(EncCBOR a, EncCBOR b) ⇒ EncCBOR (Either a b)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ Either a b → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Either a b) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Either a b] → Size Source #
(NFData a, NFData b) ⇒ NFData (Either a b)
Instance details Defined in Control.DeepSeq Methods rnf ∷ Either a b → () #
(Eq a, Eq b) ⇒ Eq (Either a b)	Since: base-2.1
Instance details Defined in Data.Either Methods (==) ∷ Either a b → Either a b → Bool # (/=) ∷ Either a b → Either a b → Bool #
(Ord a, Ord b) ⇒ Ord (Either a b)	Since: base-2.1
Instance details Defined in Data.Either Methods compare ∷ Either a b → Either a b → Ordering # (<) ∷ Either a b → Either a b → Bool # (<=) ∷ Either a b → Either a b → Bool # (>) ∷ Either a b → Either a b → Bool # (>=) ∷ Either a b → Either a b → Bool # max ∷ Either a b → Either a b → Either a b # min ∷ Either a b → Either a b → Either a b #
(Hashable a, Hashable b) ⇒ Hashable (Either a b)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Either a b → Int Source # hash ∷ Either a b → Int Source #
MonoFoldable (Either a b)
Instance details Defined in Data.MonoTraversable Methods ofoldMap ∷ Monoid m ⇒ (Element (Either a b) → m) → Either a b → m Source # ofoldr ∷ (Element (Either a b) → b0 → b0) → b0 → Either a b → b0 Source # ofoldl' ∷ (a0 → Element (Either a b) → a0) → a0 → Either a b → a0 Source # otoList ∷ Either a b → [Element (Either a b)] Source # oall ∷ (Element (Either a b) → Bool) → Either a b → Bool Source # oany ∷ (Element (Either a b) → Bool) → Either a b → Bool Source # onull ∷ Either a b → Bool Source # olength ∷ Either a b → Int Source # olength64 ∷ Either a b → Int64 Source # ocompareLength ∷ Integral i ⇒ Either a b → i → Ordering Source # otraverse_ ∷ Applicative f ⇒ (Element (Either a b) → f b0) → Either a b → f () Source # ofor_ ∷ Applicative f ⇒ Either a b → (Element (Either a b) → f b0) → f () Source # omapM_ ∷ Applicative m ⇒ (Element (Either a b) → m ()) → Either a b → m () Source # oforM_ ∷ Applicative m ⇒ Either a b → (Element (Either a b) → m ()) → m () Source # ofoldlM ∷ Monad m ⇒ (a0 → Element (Either a b) → m a0) → a0 → Either a b → m a0 Source # ofoldMap1Ex ∷ Semigroup m ⇒ (Element (Either a b) → m) → Either a b → m Source # ofoldr1Ex ∷ (Element (Either a b) → Element (Either a b) → Element (Either a b)) → Either a b → Element (Either a b) Source # ofoldl1Ex' ∷ (Element (Either a b) → Element (Either a b) → Element (Either a b)) → Either a b → Element (Either a b) Source # headEx ∷ Either a b → Element (Either a b) Source # lastEx ∷ Either a b → Element (Either a b) Source # unsafeHead ∷ Either a b → Element (Either a b) Source # unsafeLast ∷ Either a b → Element (Either a b) Source # maximumByEx ∷ (Element (Either a b) → Element (Either a b) → Ordering) → Either a b → Element (Either a b) Source # minimumByEx ∷ (Element (Either a b) → Element (Either a b) → Ordering) → Either a b → Element (Either a b) Source # oelem ∷ Element (Either a b) → Either a b → Bool Source # onotElem ∷ Element (Either a b) → Either a b → Bool Source #
MonoFunctor (Either a b)
Instance details Defined in Data.MonoTraversable Methods omap ∷ (Element (Either a b) → Element (Either a b)) → Either a b → Either a b Source #
MonoPointed (Either a b)
Instance details Defined in Data.MonoTraversable Methods opoint ∷ Element (Either a b) → Either a b Source #
MonoTraversable (Either a b)
Instance details Defined in Data.MonoTraversable Methods otraverse ∷ Applicative f ⇒ (Element (Either a b) → f (Element (Either a b))) → Either a b → f (Either a b) Source # omapM ∷ Applicative m ⇒ (Element (Either a b) → m (Element (Either a b))) → Either a b → m (Either a b) Source #
(NoThunks a, NoThunks b) ⇒ NoThunks (Either a b)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Either a b → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Either a b → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Either a b) → String Source #
(Eq a, Eq b) ⇒ Eq (Either a b)
Instance details Defined in PlutusTx.Eq Methods (==) ∷ Either a b → Either a b → Bool Source #
(Ord a, Ord b) ⇒ Ord (Either a b)
Instance details Defined in PlutusTx.Ord Methods compare ∷ Either a b → Either a b → Ordering Source # (<) ∷ Either a b → Either a b → Bool Source # (<=) ∷ Either a b → Either a b → Bool Source # (>) ∷ Either a b → Either a b → Bool Source # (>=) ∷ Either a b → Either a b → Bool Source # max ∷ Either a b → Either a b → Either a b Source # min ∷ Either a b → Either a b → Either a b Source #
Corecursive (Either a b)
Instance details Defined in Data.Functor.Foldable Methods embed ∷ Base (Either a b) (Either a b) → Either a b Source # ana ∷ (a0 → Base (Either a b) a0) → a0 → Either a b Source # apo ∷ (a0 → Base (Either a b) (Either (Either a b) a0)) → a0 → Either a b Source # postpro ∷ Recursive (Either a b) ⇒ (∀ b0. Base (Either a b) b0 → Base (Either a b) b0) → (a0 → Base (Either a b) a0) → a0 → Either a b Source # gpostpro ∷ (Recursive (Either a b), Monad m) ⇒ (∀ b0. m (Base (Either a b) b0) → Base (Either a b) (m b0)) → (∀ c. Base (Either a b) c → Base (Either a b) c) → (a0 → Base (Either a b) (m a0)) → a0 → Either a b Source #
Recursive (Either a b)
Instance details Defined in Data.Functor.Foldable Methods project ∷ Either a b → Base (Either a b) (Either a b) Source # cata ∷ (Base (Either a b) a0 → a0) → Either a b → a0 Source # para ∷ (Base (Either a b) (Either a b, a0) → a0) → Either a b → a0 Source # gpara ∷ (Corecursive (Either a b), Comonad w) ⇒ (∀ b0. Base (Either a b) (w b0) → w (Base (Either a b) b0)) → (Base (Either a b) (EnvT (Either a b) w a0) → a0) → Either a b → a0 Source # prepro ∷ Corecursive (Either a b) ⇒ (∀ b0. Base (Either a b) b0 → Base (Either a b) b0) → (Base (Either a b) a0 → a0) → Either a b → a0 Source # gprepro ∷ (Corecursive (Either a b), Comonad w) ⇒ (∀ b0. Base (Either a b) (w b0) → w (Base (Either a b) b0)) → (∀ c. Base (Either a b) c → Base (Either a b) c) → (Base (Either a b) (w a0) → a0) → Either a b → a0 Source #
(Serialise a, Serialise b) ⇒ Serialise (Either a b)	Since: serialise-0.2.0.0
Instance details Defined in Codec.Serialise.Class Methods encode ∷ Either a b → Encoding Source # decode ∷ Decoder s (Either a b) Source # encodeList ∷ [Either a b] → Encoding Source # decodeList ∷ Decoder s [Either a b] Source #
(a ~ a', b ~ b') ⇒ Each (Either a a') (Either b b') a b	Since: microlens-0.4.11
Instance details Defined in Lens.Micro.Internal Methods each ∷ Traversal (Either a a') (Either b b') a b Source #
(RepeatWithIndex i f, RepeatWithIndex j g) ⇒ RepeatWithIndex (Either i j) (Product f g)
Instance details Defined in Data.Semialign.Internal Methods irepeat ∷ (Either i j → a) → Product f g a Source #
(SemialignWithIndex i f, SemialignWithIndex j g) ⇒ SemialignWithIndex (Either i j) (Product f g)
Instance details Defined in Data.Semialign.Internal Methods ialignWith ∷ (Either i j → These a b → c) → Product f g a → Product f g b → Product f g c Source #
(ZipWithIndex i f, ZipWithIndex j g) ⇒ ZipWithIndex (Either i j) (Product f g)
Instance details Defined in Data.Semialign.Internal Methods izipWith ∷ (Either i j → a → b → c) → Product f g a → Product f g b → Product f g c Source #
type Rep1 (Either a ∷ Type → Type)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics type Rep1 (Either a ∷ Type → Type) = D1 ('MetaData "Either" "Data.Either" "base" 'False) (C1 ('MetaCons "Left" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Right" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type Failure (Either a)
Instance details Defined in Basement.Monad type Failure (Either a) = a
type StM (Either e) a
Instance details Defined in Control.Monad.Trans.Control type StM (Either e) a = a
type Rep (Either a b)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics type Rep (Either a b) = D1 ('MetaData "Either" "Data.Either" "base" 'False) (C1 ('MetaCons "Left" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Right" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))
type Element (Either a b)
Instance details Defined in Data.MonoTraversable type Element (Either a b) = b
type Base (Either a b)	Example boring stub for non-recursive data types
Instance details Defined in Data.Functor.Foldable type Base (Either a b) = Const (Either a b) ∷ Type → Type

data family GenTx blk ∷ Type Source #

Generalized transaction

The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.

Instances

Instances details

Inject GenTx Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ InjectionIndex xs x → GenTx x → GenTx (HardForkBlock xs) Source #
Isomorphic GenTx Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ GenTx (HardForkBlock '[blk]) → GenTx blk Source # inject ∷ NoHardForks blk ⇒ GenTx blk → GenTx (HardForkBlock '[blk]) Source #
Typeable xs ⇒ ShowProxy (GenTx (HardForkBlock xs) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (GenTx (DualBlock m a) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (GenTx (DualBlock m a)) → String Source #
Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #
Generic (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (Validated (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Validated (GenTx (HardForkBlock xs)) → Rep (Validated (GenTx (HardForkBlock xs))) x # to ∷ Rep (Validated (GenTx (HardForkBlock xs))) x → Validated (GenTx (HardForkBlock xs)) #
Generic (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (GenTx (HardForkBlock xs)) ∷ Type → Type # Methods from ∷ GenTx (HardForkBlock xs) → Rep (GenTx (HardForkBlock xs)) x # to ∷ Rep (GenTx (HardForkBlock xs)) x → GenTx (HardForkBlock xs) #
Generic (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (TxId (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x # to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #
CanHardFork xs ⇒ Show (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → Validated (GenTx (HardForkBlock xs)) → ShowS # show ∷ Validated (GenTx (HardForkBlock xs)) → String # showList ∷ [Validated (GenTx (HardForkBlock xs))] → ShowS #
Bridge m a ⇒ Show (Validated (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → Validated (GenTx (DualBlock m a)) → ShowS # show ∷ Validated (GenTx (DualBlock m a)) → String # showList ∷ [Validated (GenTx (DualBlock m a))] → ShowS #
CanHardFork xs ⇒ Show (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → GenTx (HardForkBlock xs) → ShowS # show ∷ GenTx (HardForkBlock xs) → String # showList ∷ [GenTx (HardForkBlock xs)] → ShowS #
Bridge m a ⇒ Show (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → GenTx (DualBlock m a) → ShowS # show ∷ GenTx (DualBlock m a) → String # showList ∷ [GenTx (DualBlock m a)] → ShowS #
CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS # show ∷ TxId (GenTx (HardForkBlock xs)) → String # showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #
Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS # show ∷ TxId (GenTx (DualBlock m a)) → String # showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #
CanHardFork xs ⇒ Eq (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #
CanHardFork xs ⇒ Eq (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool # (/=) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool #
CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #
Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods (==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #
CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering # (<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) # min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #
Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering # (<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) # min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #
CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (HardForkBlock xs))) → String Source #
NoThunks (Validated (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (DualBlock m a))) → String Source #
CanHardFork xs ⇒ NoThunks (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #
NoThunks (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (DualBlock m a)) → String Source #
CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
NoThunks (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #
CanHardFork xs ⇒ HasTxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods txId ∷ GenTx (HardForkBlock xs) → TxId (GenTx (HardForkBlock xs)) Source #
Bridge m a ⇒ HasTxId (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods txId ∷ GenTx (DualBlock m a) → TxId (GenTx (DualBlock m a)) Source #
All CondenseConstraints xs ⇒ Condense (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ GenTx (HardForkBlock xs) → String Source #
All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
type Rep (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))
type Rep (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))
type Rep (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
newtype Validated (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
data Validated (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx { vDualGenTxMain ∷ Validated (GenTx m) vDualGenTxAux ∷ Validated (GenTx a) vDualGenTxBridge ∷ BridgeTx m a }
newtype GenTx (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx ∷ OneEraGenTx xs }
newtype TxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
newtype TxId (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype TxId (GenTx (DualBlock m a)) = DualGenTxId { dualGenTxIdMain ∷ GenTxId m }
data GenTx (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data GenTx (DualBlock m a) = DualGenTx { dualGenTxMain ∷ GenTx m dualGenTxAux ∷ GenTx a dualGenTxBridge ∷ BridgeTx m a }

data HardForkApplyTxErr xs where Source #

Bundled Patterns

pattern DegenApplyTxErr ∷ ∀ b. NoHardForks b ⇒ ApplyTxErr b → HardForkApplyTxErr '[b]

Instances

Instances details

Typeable xs ⇒ ShowProxy (HardForkApplyTxErr xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (HardForkApplyTxErr xs) → String Source #
Generic (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (HardForkApplyTxErr xs) ∷ Type → Type # Methods from ∷ HardForkApplyTxErr xs → Rep (HardForkApplyTxErr xs) x # to ∷ Rep (HardForkApplyTxErr xs) x → HardForkApplyTxErr xs #
CanHardFork xs ⇒ Show (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → HardForkApplyTxErr xs → ShowS # show ∷ HardForkApplyTxErr xs → String # showList ∷ [HardForkApplyTxErr xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ HardForkApplyTxErr xs → HardForkApplyTxErr xs → Bool # (/=) ∷ HardForkApplyTxErr xs → HardForkApplyTxErr xs → Bool #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → HardForkApplyTxErr xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkApplyTxErr xs) Source #
type Rep (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (HardForkApplyTxErr xs) = D1 ('MetaData "HardForkApplyTxErr" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "HardForkApplyTxErrFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OneEraApplyTxErr xs))) :+: C1 ('MetaCons "HardForkApplyTxErrWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MismatchEraInfo xs))))

data HardForkBlock xs where Source #

Bundled Patterns

pattern DegenBlock ∷ ∀ b. NoHardForks b ⇒ b → HardForkBlock '[b]

Instances

Instances details

CanHardFork xs ⇒ HasNestedContent Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods unnest ∷ Header (HardForkBlock xs) → DepPair (NestedCtxt Header (HardForkBlock xs)) Source # nest ∷ DepPair (NestedCtxt Header (HardForkBlock xs)) → Header (HardForkBlock xs) Source #
SerialiseHFC xs ⇒ ReconstructNestedCtxt Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods reconstructPrefixLen ∷ proxy (Header (HardForkBlock xs)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (HardForkBlock xs)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock xs) Source #
CanHardFork xs ⇒ StandardHash (HardForkBlock xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block
Typeable xs ⇒ ShowProxy (Header (HardForkBlock xs) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showProxy ∷ Proxy (Header (HardForkBlock xs)) → String Source #
Typeable xs ⇒ ShowProxy (HardForkBlock xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showProxy ∷ Proxy (HardForkBlock xs) → String Source #
Typeable xs ⇒ ShowProxy (GenTx (HardForkBlock xs) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #
Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
Generic (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (Validated (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Validated (GenTx (HardForkBlock xs)) → Rep (Validated (GenTx (HardForkBlock xs))) x # to ∷ Rep (Validated (GenTx (HardForkBlock xs))) x → Validated (GenTx (HardForkBlock xs)) #
Generic (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (GenTx (HardForkBlock xs)) ∷ Type → Type # Methods from ∷ GenTx (HardForkBlock xs) → Rep (GenTx (HardForkBlock xs)) x # to ∷ Rep (GenTx (HardForkBlock xs)) x → GenTx (HardForkBlock xs) #
Generic (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (TxId (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x # to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #
Generic (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (Ticked (LedgerState (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (HardForkBlock xs)) → Rep (Ticked (LedgerState (HardForkBlock xs))) x # to ∷ Rep (Ticked (LedgerState (HardForkBlock xs))) x → Ticked (LedgerState (HardForkBlock xs)) #
CanHardFork xs ⇒ Show (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → Header (HardForkBlock xs) → ShowS # show ∷ Header (HardForkBlock xs) → String # showList ∷ [Header (HardForkBlock xs)] → ShowS #
CanHardFork xs ⇒ Show (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → HardForkBlock xs → ShowS # show ∷ HardForkBlock xs → String # showList ∷ [HardForkBlock xs] → ShowS #
CanHardFork xs ⇒ Show (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → Validated (GenTx (HardForkBlock xs)) → ShowS # show ∷ Validated (GenTx (HardForkBlock xs)) → String # showList ∷ [Validated (GenTx (HardForkBlock xs))] → ShowS #
CanHardFork xs ⇒ Show (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → LedgerState (HardForkBlock xs) → ShowS # show ∷ LedgerState (HardForkBlock xs) → String # showList ∷ [LedgerState (HardForkBlock xs)] → ShowS #
CanHardFork xs ⇒ Show (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → GenTx (HardForkBlock xs) → ShowS # show ∷ GenTx (HardForkBlock xs) → String # showList ∷ [GenTx (HardForkBlock xs)] → ShowS #
CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS # show ∷ TxId (GenTx (HardForkBlock xs)) → String # showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #
All (Compose Eq Header) xs ⇒ Eq (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods (==) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool # (/=) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool #
All Eq xs ⇒ Eq (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods (==) ∷ HardForkBlock xs → HardForkBlock xs → Bool # (/=) ∷ HardForkBlock xs → HardForkBlock xs → Bool #
CanHardFork xs ⇒ Eq (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #
CanHardFork xs ⇒ Eq (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool # (/=) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool #
CanHardFork xs ⇒ Eq (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool # (/=) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool #
CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #
CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering # (<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) # min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #
CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods noThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (HardForkBlock xs))) → String Source #
CanHardFork xs ⇒ NoThunks (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
CanHardFork xs ⇒ NoThunks (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (HardForkBlock xs))) → String Source #
CanHardFork xs ⇒ ConvertRawHash (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods toRawHash ∷ proxy (HardForkBlock xs) → HeaderHash (HardForkBlock xs) → ByteString Source # fromRawHash ∷ proxy (HardForkBlock xs) → ByteString → HeaderHash (HardForkBlock xs) Source # toShortRawHash ∷ proxy (HardForkBlock xs) → HeaderHash (HardForkBlock xs) → ShortByteString Source # fromShortRawHash ∷ proxy (HardForkBlock xs) → ShortByteString → HeaderHash (HardForkBlock xs) Source # hashSize ∷ proxy (HardForkBlock xs) → Word32 Source #
CanHardFork xs ⇒ GetHeader (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeader ∷ HardForkBlock xs → Header (HardForkBlock xs) Source # blockMatchesHeader ∷ Header (HardForkBlock xs) → HardForkBlock xs → Bool Source # headerIsEBB ∷ Header (HardForkBlock xs) → Maybe EpochNo Source #
CanHardFork xs ⇒ GetPrevHash (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods headerPrevHash ∷ Header (HardForkBlock xs) → ChainHash (HardForkBlock xs) Source #
CanHardFork xs ⇒ BlockSupportsDiffusionPipelining (HardForkBlock xs) Source #	The `BlockSupportsDiffusionPipelining` instance for the HFC is compositional: `TentativeHeaderState (HardForkBlock xs)` is `OneEraTentativeHeaderState`, the n-ary sum of per-era `TentativeHeaderState`s. The `initialTentativeHeaderState` is the one for the first era. Similarly, `TentativeHeaderView (HardForkBlock xs)` is `OneEraTentativeHeaderView`, the n-ary sum of per-era `TentativeHeaderView`s, and `tentativeHeaderView` delegates to the era-specific `tentativeHeaderView`. `applyTentativeHeaderView Proxy thv st` works like this: If `thv` and `st` are in the same era, we call the corresponding era-specific `applyTentativeHeaderView`. If `thv` is in a later era than `st`, we replace `st` with the `initialTentativeHeaderState` for the era of `thv`, and then proceed like in the previous step. If `thv` is in an earlier era than `st`, we return `Nothing` to disallow pipelining. This behavior guarantees the "Consistent validity under subsequences" requirement if it is satisfied for every era. Note that at an era boundary, the tip of the selection might switch multiple times between two adjacent eras. Compared to the scenario where the pipelining criteria in both eras are compatible and make sense even across eras, this might lead to unnecessarily strict/relaxed diffusion pipelining. However, the tip switching between different eras is rare and rather short, so there is no direct need to address this, so we rather avoid the extra complexity for now. Still, a possible future refinement would be to allow custom logic for "upgrading" the `TentativeHeaderState` to a new era.
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining Associated Types type TentativeHeaderState (HardForkBlock xs) Source # type TentativeHeaderView (HardForkBlock xs) Source # Methods initialTentativeHeaderState ∷ Proxy (HardForkBlock xs) → TentativeHeaderState (HardForkBlock xs) Source # tentativeHeaderView ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → TentativeHeaderView (HardForkBlock xs) Source # applyTentativeHeaderView ∷ Proxy (HardForkBlock xs) → TentativeHeaderView (HardForkBlock xs) → TentativeHeaderState (HardForkBlock xs) → Maybe (TentativeHeaderState (HardForkBlock xs)) Source #
CanHardFork xs ⇒ BlockSupportsMetrics (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.Metrics Methods isSelfIssued ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → WhetherSelfIssued Source #
CanHardFork xs ⇒ BlockSupportsProtocol (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods validateView ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → ValidateView (BlockProtocol (HardForkBlock xs)) Source # selectView ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → SelectView (BlockProtocol (HardForkBlock xs)) Source # projectChainOrderConfig ∷ BlockConfig (HardForkBlock xs) → ChainOrderConfig (SelectView (BlockProtocol (HardForkBlock xs))) Source #
CanHardFork xs ⇒ BlockSupportsSanityCheck (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.SanityCheck Methods configAllSecurityParams ∷ TopLevelConfig (HardForkBlock xs) → NonEmpty SecurityParam Source #
CanHardFork xs ⇒ ConfigSupportsNode (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node Methods getSystemStart ∷ BlockConfig (HardForkBlock xs) → SystemStart Source # getNetworkMagic ∷ BlockConfig (HardForkBlock xs) → NetworkMagic Source #
All SingleEraBlock xs ⇒ HasHardForkHistory (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type HardForkIndices (HardForkBlock xs) ∷ [Type] Source # Methods hardForkSummary ∷ LedgerConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Summary (HardForkIndices (HardForkBlock xs)) Source #
CanHardFork xs ⇒ BasicEnvelopeValidation (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods expectedFirstBlockNo ∷ proxy (HardForkBlock xs) → BlockNo Source # expectedNextBlockNo ∷ proxy (HardForkBlock xs) → TipInfo (HardForkBlock xs) → TipInfo (HardForkBlock xs) → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy (HardForkBlock xs) → SlotNo Source # minimumNextSlotNo ∷ proxy (HardForkBlock xs) → TipInfo (HardForkBlock xs) → TipInfo (HardForkBlock xs) → SlotNo → SlotNo Source #
CanHardFork xs ⇒ HasAnnTip (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Associated Types type TipInfo (HardForkBlock xs) Source # Methods getTipInfo ∷ Header (HardForkBlock xs) → TipInfo (HardForkBlock xs) Source # tipInfoHash ∷ proxy (HardForkBlock xs) → TipInfo (HardForkBlock xs) → HeaderHash (HardForkBlock xs) Source #
CanHardFork xs ⇒ ValidateEnvelope (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type OtherHeaderEnvelopeError (HardForkBlock xs) Source # Methods additionalEnvelopeChecks ∷ TopLevelConfig (HardForkBlock xs) → LedgerView (BlockProtocol (HardForkBlock xs)) → Header (HardForkBlock xs) → Except (OtherHeaderEnvelopeError (HardForkBlock xs)) () Source #
CanHardFork xs ⇒ UpdateLedger (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger
CanHardFork xs ⇒ GetTip (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ LedgerState (HardForkBlock xs) → Point (LedgerState (HardForkBlock xs)) Source #
CanHardFork xs ⇒ GetTip (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ Ticked (LedgerState (HardForkBlock xs)) → Point (Ticked (LedgerState (HardForkBlock xs))) Source #
CanHardFork xs ⇒ IsLedger (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type LedgerErr (LedgerState (HardForkBlock xs)) Source # type AuxLedgerEvent (LedgerState (HardForkBlock xs)) Source # Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → SlotNo → LedgerState (HardForkBlock xs) → LedgerResult (LedgerState (HardForkBlock xs)) (Ticked (LedgerState (HardForkBlock xs))) Source #
CanHardFork xs ⇒ CommonProtocolParams (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.CommonProtocolParams Methods maxHeaderSize ∷ LedgerState (HardForkBlock xs) → Word32 Source # maxTxSize ∷ LedgerState (HardForkBlock xs) → Word32 Source #
CanHardFork xs ⇒ InspectLedger (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type LedgerWarning (HardForkBlock xs) Source # type LedgerUpdate (HardForkBlock xs) Source # Methods inspectLedger ∷ TopLevelConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → [LedgerEvent (HardForkBlock xs)] Source #
(All SingleEraBlock xs, All BlockSupportsLedgerQuery xs) ⇒ BlockSupportsLedgerQuery (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods answerBlockQuery ∷ ExtLedgerCfg (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → ExtLedgerState (HardForkBlock xs) → result Source # blockQueryIsSupportedOnVersion ∷ BlockQuery (HardForkBlock xs) result → BlockNodeToClientVersion (HardForkBlock xs) → Bool Source #
CanHardFork xs ⇒ HasTxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods txId ∷ GenTx (HardForkBlock xs) → TxId (GenTx (HardForkBlock xs)) Source #
All HasTxs xs ⇒ HasTxs (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods extractTxs ∷ HardForkBlock xs → [GenTx (HardForkBlock xs)] Source #
CanHardFork xs ⇒ LedgerSupportsMempool (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods txInvariant ∷ GenTx (HardForkBlock xs) → Bool Source # applyTx ∷ LedgerConfig (HardForkBlock xs) → WhetherToIntervene → SlotNo → GenTx (HardForkBlock xs) → TickedLedgerState (HardForkBlock xs) → Except (ApplyTxErr (HardForkBlock xs)) (TickedLedgerState (HardForkBlock xs), Validated (GenTx (HardForkBlock xs))) Source # reapplyTx ∷ LedgerConfig (HardForkBlock xs) → SlotNo → Validated (GenTx (HardForkBlock xs)) → TickedLedgerState (HardForkBlock xs) → Except (ApplyTxErr (HardForkBlock xs)) (TickedLedgerState (HardForkBlock xs)) Source # txForgetValidated ∷ Validated (GenTx (HardForkBlock xs)) → GenTx (HardForkBlock xs) Source #
CanHardFork xs ⇒ TxLimits (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type TxMeasure (HardForkBlock xs) Source # Methods txMeasure ∷ LedgerConfig (HardForkBlock xs) → TickedLedgerState (HardForkBlock xs) → GenTx (HardForkBlock xs) → Except (ApplyTxErr (HardForkBlock xs)) (TxMeasure (HardForkBlock xs)) Source # blockCapacityTxMeasure ∷ LedgerConfig (HardForkBlock xs) → TickedLedgerState (HardForkBlock xs) → TxMeasure (HardForkBlock xs) Source #
CanHardFork xs ⇒ LedgerSupportsPeerSelection (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.PeerSelection Methods getPeers ∷ LedgerState (HardForkBlock xs) → [(PoolStake, NonEmpty StakePoolRelay)] Source #
CanHardFork xs ⇒ LedgerSupportsProtocol (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods protocolLedgerView ∷ LedgerConfig (HardForkBlock xs) → Ticked (LedgerState (HardForkBlock xs)) → LedgerView (BlockProtocol (HardForkBlock xs)) Source # ledgerViewForecastAt ∷ LedgerConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Forecast (LedgerView (BlockProtocol (HardForkBlock xs))) Source #
CanHardFork xs ⇒ NodeInitStorage (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.InitStorage Methods nodeImmutableDbChunkInfo ∷ StorageConfig (HardForkBlock xs) → ChunkInfo Source # nodeCheckIntegrity ∷ StorageConfig (HardForkBlock xs) → HardForkBlock xs → Bool Source # nodeInitChainDB ∷ IOLike m ⇒ StorageConfig (HardForkBlock xs) → InitChainDB m (HardForkBlock xs) → m () Source #
(All (Compose Show WrapNodeToNodeVersion) xs, All (Compose Eq WrapNodeToNodeVersion) xs, All (Compose Show EraNodeToClientVersion) xs, All (Compose Eq EraNodeToClientVersion) xs, All HasNetworkProtocolVersion xs) ⇒ HasNetworkProtocolVersion (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion Associated Types type BlockNodeToNodeVersion (HardForkBlock xs) Source # type BlockNodeToClientVersion (HardForkBlock xs) Source #
(CanHardFork xs, SupportedNetworkProtocolVersion (HardForkBlock xs), SerialiseHFC xs) ⇒ RunNode (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node
SerialiseHFC xs ⇒ SerialiseNodeToClientConstraints (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient
SerialiseHFC xs ⇒ SerialiseNodeToNodeConstraints (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods estimateBlockSize ∷ Header (HardForkBlock xs) → SizeInBytes Source #
SerialiseHFC xs ⇒ SerialiseDiskConstraints (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk
SerialiseHFC xs ⇒ HasBinaryBlockInfo (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods getBinaryBlockInfo ∷ HardForkBlock xs → BinaryBlockInfo Source #
All CondenseConstraints xs ⇒ Condense (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ Header (HardForkBlock xs) → String Source #
All CondenseConstraints xs ⇒ Condense (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ HardForkBlock xs → String Source #
All CondenseConstraints xs ⇒ Condense (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ GenTx (HardForkBlock xs) → String Source #
All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #
All SingleEraBlock xs ⇒ SameDepIndex (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ BlockQuery (HardForkBlock xs) a → BlockQuery (HardForkBlock xs) b → Maybe (a :~: b) Source #
CanHardFork xs ⇒ HasHeader (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields ∷ Header (HardForkBlock xs) → HeaderFields (Header (HardForkBlock xs)) Source #
CanHardFork xs ⇒ HasHeader (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields ∷ HardForkBlock xs → HeaderFields (HardForkBlock xs) Source #
All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ BlockQuery (HardForkBlock xs) result → result → String Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) SlotNo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SlotNo → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s SlotNo Source #
CanHardFork xs ⇒ ApplyBlock (LedgerState (HardForkBlock xs)) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs))) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs))) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (PerEraLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → PerEraLedgerConfig xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (PerEraLedgerConfig xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → HardForkBlock xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkBlock xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → HardForkLedgerConfig xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkLedgerConfig xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → HardForkApplyTxErr xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkApplyTxErr xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (Shape xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → Shape xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (Shape xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → Header (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (Header (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → HardForkBlock xs → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkBlock xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (SerialisedHeader (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → SerialisedHeader (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (SerialisedHeader (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseResult (HardForkBlock xs) (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → result → Encoding Source # decodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → ∀ s. Decoder s result Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (HardForkChainDepState xs) Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (AnnTip (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (LedgerState (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → ∀ s. Decoder s (ByteString → a) Source #
SerialiseHFC xs ⇒ DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → Decoder s (SomeSecond (NestedCtxt Header) (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → HardForkBlock xs → Encoding Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → HardForkChainDepState xs → Encoding Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → AnnTip (HardForkBlock xs) → Encoding Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Encoding Source #
SerialiseHFC xs ⇒ EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → a → Encoding Source #
SerialiseHFC xs ⇒ EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → SomeSecond (NestedCtxt Header) (HardForkBlock xs) → Encoding Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (Serialised (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → Serialised (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (Serialised (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (Serialised (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → Serialised (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (Serialised (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (ByteString → HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (ByteString → HardForkBlock xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (SomeSecond BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SomeSecond BlockQuery (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (SomeSecond BlockQuery (HardForkBlock xs)) Source #
All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (HardForkBlock xs) result → ShowS # show ∷ BlockQuery (HardForkBlock xs) result → String # showList ∷ [BlockQuery (HardForkBlock xs) result] → ShowS #
CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #
Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (HardForkBlock xs)) → String Source #
All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS # show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String # showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #
type HeaderHash (HardForkBlock xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type HeaderHash (HardForkBlock xs ∷ Type) = OneEraHash xs
type Rep (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))
type Rep (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))
type Rep (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
type Rep (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
newtype BlockConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig { hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs }
type BlockProtocol (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type BlockProtocol (HardForkBlock xs) = HardForkProtocol xs
newtype CodecConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs }
newtype Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader ∷ OneEraHeader xs }
newtype StorageConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig { hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs }
type CannotForge (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging type CannotForge (HardForkBlock xs) = HardForkCannotForge xs
type ForgeStateInfo (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging type ForgeStateInfo (HardForkBlock xs) = HardForkForgeStateInfo xs
type ForgeStateUpdateError (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging type ForgeStateUpdateError (HardForkBlock xs) = HardForkForgeStateUpdateError xs
data NestedCtxt_ (HardForkBlock xs) a b Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where NCZ ∷ ∀ x (a ∷ Type → Type) b (xs1 ∷ [Type]). !(NestedCtxt_ x a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b NCS ∷ ∀ (xs1 ∷ [Type]) (a ∷ Type → Type) b x. !(NestedCtxt_ (HardForkBlock xs1) a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b
type TentativeHeaderState (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining type TentativeHeaderState (HardForkBlock xs) = OneEraTentativeHeaderState xs
type TentativeHeaderView (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining type TentativeHeaderView (HardForkBlock xs) = OneEraTentativeHeaderView xs
type HardForkIndices (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type HardForkIndices (HardForkBlock xs) = xs
type OtherHeaderEnvelopeError (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type OtherHeaderEnvelopeError (HardForkBlock xs) = HardForkEnvelopeErr xs
type TipInfo (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block type TipInfo (HardForkBlock xs) = OneEraTipInfo xs
newtype Validated (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
type AuxLedgerEvent (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs
type LedgerCfg (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs
type LedgerErr (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs
newtype LedgerState (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype LedgerState (HardForkBlock xs) = HardForkLedgerState { hardForkLedgerStatePerEra ∷ HardForkState LedgerState xs }
type LedgerUpdate (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerUpdate (HardForkBlock xs) = HardForkLedgerUpdate xs
type LedgerWarning (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerWarning (HardForkBlock xs) = HardForkLedgerWarning xs
data BlockQuery (HardForkBlock xs) a Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) a where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) result. QueryIfCurrent xs result → BlockQuery (HardForkBlock xs) (Either (MismatchEraInfo xs) result) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) a x. IsNonEmpty xs1 ⇒ QueryAnytime a → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) a QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x a. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) a → BlockQuery (HardForkBlock (x ': xs1)) a
type ApplyTxErr (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type ApplyTxErr (HardForkBlock xs) = HardForkApplyTxErr xs
newtype GenTx (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx ∷ OneEraGenTx xs }
newtype TxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
type TxMeasure (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type TxMeasure (HardForkBlock xs) = HardForkTxMeasure xs
type BlockNodeToClientVersion (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion type BlockNodeToClientVersion (HardForkBlock xs) = HardForkNodeToClientVersion xs
type BlockNodeToNodeVersion (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion type BlockNodeToNodeVersion (HardForkBlock xs) = HardForkNodeToNodeVersion xs
data Ticked (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }

data HardForkEnvelopeErr xs where Source #

Bundled Patterns

pattern DegenOtherHeaderEnvelopeError ∷ ∀ b. NoHardForks b ⇒ OtherHeaderEnvelopeError b → HardForkEnvelopeErr '[b]

Instances

Instances details

Generic (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (HardForkEnvelopeErr xs) ∷ Type → Type # Methods from ∷ HardForkEnvelopeErr xs → Rep (HardForkEnvelopeErr xs) x # to ∷ Rep (HardForkEnvelopeErr xs) x → HardForkEnvelopeErr xs #
CanHardFork xs ⇒ Show (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods showsPrec ∷ Int → HardForkEnvelopeErr xs → ShowS # show ∷ HardForkEnvelopeErr xs → String # showList ∷ [HardForkEnvelopeErr xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) ∷ HardForkEnvelopeErr xs → HardForkEnvelopeErr xs → Bool # (/=) ∷ HardForkEnvelopeErr xs → HardForkEnvelopeErr xs → Bool #
CanHardFork xs ⇒ NoThunks (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → HardForkEnvelopeErr xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkEnvelopeErr xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkEnvelopeErr xs) → String Source #
type Rep (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (HardForkEnvelopeErr xs) = D1 ('MetaData "HardForkEnvelopeErr" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "HardForkEnvelopeErrFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraEnvelopeErr xs))) :+: C1 ('MetaCons "HardForkEnvelopeErrWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))

data HardForkLedgerConfig xs where Source #

Bundled Patterns

pattern DegenLedgerConfig ∷ PartialLedgerConfig b → HardForkLedgerConfig '[b]

Instances

Instances details

Generic (HardForkLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Associated Types type Rep (HardForkLedgerConfig xs) ∷ Type → Type # Methods from ∷ HardForkLedgerConfig xs → Rep (HardForkLedgerConfig xs) x # to ∷ Rep (HardForkLedgerConfig xs) x → HardForkLedgerConfig xs #
CanHardFork xs ⇒ NoThunks (HardForkLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → HardForkLedgerConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkLedgerConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkLedgerConfig xs) → String Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → HardForkLedgerConfig xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkLedgerConfig xs) Source #
type Rep (HardForkLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type Rep (HardForkLedgerConfig xs) = D1 ('MetaData "HardForkLedgerConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "HardForkLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkLedgerConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkLedgerConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraLedgerConfig xs))))

data HardForkLedgerError xs where Source #

Bundled Patterns

pattern DegenLedgerError ∷ ∀ b. NoHardForks b ⇒ LedgerError b → HardForkLedgerError '[b]

Instances

Instances details

Generic (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (HardForkLedgerError xs) ∷ Type → Type # Methods from ∷ HardForkLedgerError xs → Rep (HardForkLedgerError xs) x # to ∷ Rep (HardForkLedgerError xs) x → HardForkLedgerError xs #
CanHardFork xs ⇒ Show (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods showsPrec ∷ Int → HardForkLedgerError xs → ShowS # show ∷ HardForkLedgerError xs → String # showList ∷ [HardForkLedgerError xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) ∷ HardForkLedgerError xs → HardForkLedgerError xs → Bool # (/=) ∷ HardForkLedgerError xs → HardForkLedgerError xs → Bool #
CanHardFork xs ⇒ NoThunks (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → HardForkLedgerError xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkLedgerError xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkLedgerError xs) → String Source #
type Rep (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (HardForkLedgerError xs) = D1 ('MetaData "HardForkLedgerError" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "HardForkLedgerErrorFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraLedgerError xs))) :+: C1 ('MetaCons "HardForkLedgerErrorWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))

data family Header blk ∷ Type Source #

Instances

data family LedgerState blk ∷ Type Source #

Ledger state associated with a block

This is the Consensus notion of a ledger state. Each block type is associated with one of the Ledger types for the ledger state. Virtually every concept in this codebase revolves around this type, or the referenced blk. Whenever we use the type variable l, we intend to denote that the expected instantiation is either a LedgerState or some wrapper over it (like the ExtLedgerState).

The main operations we can do with a LedgerState are ticking (defined in IsLedger), and applying a block (defined in ApplyBlock).

Instances

Instances details

Inject LedgerState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ InjectionIndex xs x → LedgerState x → LedgerState (HardForkBlock xs) Source #
Isomorphic LedgerState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ LedgerState (HardForkBlock '[blk]) → LedgerState blk Source # inject ∷ NoHardForks blk ⇒ LedgerState blk → LedgerState (HardForkBlock '[blk]) Source #
Generic (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (Ticked (LedgerState (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (HardForkBlock xs)) → Rep (Ticked (LedgerState (HardForkBlock xs))) x # to ∷ Rep (Ticked (LedgerState (HardForkBlock xs))) x → Ticked (LedgerState (HardForkBlock xs)) #
CanHardFork xs ⇒ Show (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → LedgerState (HardForkBlock xs) → ShowS # show ∷ LedgerState (HardForkBlock xs) → String # showList ∷ [LedgerState (HardForkBlock xs)] → ShowS #
Bridge m a ⇒ Show (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → LedgerState (DualBlock m a) → ShowS # show ∷ LedgerState (DualBlock m a) → String # showList ∷ [LedgerState (DualBlock m a)] → ShowS #
CanHardFork xs ⇒ Eq (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool # (/=) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool #
Bridge m a ⇒ Eq (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods (==) ∷ LedgerState (DualBlock m a) → LedgerState (DualBlock m a) → Bool # (/=) ∷ LedgerState (DualBlock m a) → LedgerState (DualBlock m a) → Bool #
CanHardFork xs ⇒ NoThunks (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs)) → String Source #
NoThunks (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → LedgerState (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (DualBlock m a)) → String Source #
CanHardFork xs ⇒ NoThunks (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (HardForkBlock xs))) → String Source #
NoThunks (Ticked (LedgerState (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (DualBlock m a))) → String Source #
CanHardFork xs ⇒ GetTip (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ LedgerState (HardForkBlock xs) → Point (LedgerState (HardForkBlock xs)) Source #
Bridge m a ⇒ GetTip (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getTip ∷ LedgerState (DualBlock m a) → Point (LedgerState (DualBlock m a)) Source #
CanHardFork xs ⇒ GetTip (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ Ticked (LedgerState (HardForkBlock xs)) → Point (Ticked (LedgerState (HardForkBlock xs))) Source #
Bridge m a ⇒ GetTip (Ticked (LedgerState (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getTip ∷ Ticked (LedgerState (DualBlock m a)) → Point (Ticked (LedgerState (DualBlock m a))) Source #
CanHardFork xs ⇒ IsLedger (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type LedgerErr (LedgerState (HardForkBlock xs)) Source # type AuxLedgerEvent (LedgerState (HardForkBlock xs)) Source # Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → SlotNo → LedgerState (HardForkBlock xs) → LedgerResult (LedgerState (HardForkBlock xs)) (Ticked (LedgerState (HardForkBlock xs))) Source #
Bridge m a ⇒ IsLedger (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Associated Types type LedgerErr (LedgerState (DualBlock m a)) Source # type AuxLedgerEvent (LedgerState (DualBlock m a)) Source # Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → SlotNo → LedgerState (DualBlock m a) → LedgerResult (LedgerState (DualBlock m a)) (Ticked (LedgerState (DualBlock m a))) Source #
CanHardFork xs ⇒ ApplyBlock (LedgerState (HardForkBlock xs)) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs))) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs))) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (LedgerState (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Encoding Source #
Bridge m a ⇒ ApplyBlock (LedgerState (DualBlock m a)) (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a))) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a))) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) → LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a)) Source #
Isomorphic (Ticked :.: LedgerState) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ (Ticked :.: LedgerState) (HardForkBlock '[blk]) → (Ticked :.: LedgerState) blk Source # inject ∷ NoHardForks blk ⇒ (Ticked :.: LedgerState) blk → (Ticked :.: LedgerState) (HardForkBlock '[blk]) Source #
type HeaderHash (LedgerState blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (LedgerState blk ∷ Type) = HeaderHash blk
type Rep (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
type AuxLedgerEvent (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs
type AuxLedgerEvent (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type AuxLedgerEvent (LedgerState (DualBlock m a)) = AuxLedgerEvent (LedgerState m)
type LedgerCfg (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs
type LedgerCfg (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type LedgerCfg (LedgerState (DualBlock m a)) = DualLedgerConfig m a
type LedgerErr (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs
type LedgerErr (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type LedgerErr (LedgerState (DualBlock m a)) = DualLedgerError m a
newtype LedgerState (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype LedgerState (HardForkBlock xs) = HardForkLedgerState { hardForkLedgerStatePerEra ∷ HardForkState LedgerState xs }
data Ticked (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }
data Ticked (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Ticked (LedgerState (DualBlock m a)) = TickedDualLedgerState { tickedDualLedgerStateMain ∷ Ticked (LedgerState m) tickedDualLedgerStateAux ∷ Ticked (LedgerState a) tickedDualLedgerStateBridge ∷ BridgeLedger m a tickedDualLedgerStateAuxOrig ∷ LedgerState a }
data LedgerState (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data LedgerState (DualBlock m a) = DualLedgerState { dualLedgerStateMain ∷ LedgerState m dualLedgerStateAux ∷ LedgerState a dualLedgerStateBridge ∷ BridgeLedger m a }

data OneEraTipInfo xs where Source #

Bundled Patterns

pattern DegenTipInfo ∷ ∀ b. NoHardForks b ⇒ TipInfo b → OneEraTipInfo '[b]

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraTipInfo xs → ShowS # show ∷ OneEraTipInfo xs → String # showList ∷ [OneEraTipInfo xs] → ShowS #
CanHardFork xs ⇒ Eq (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool # (/=) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool #
CanHardFork xs ⇒ NoThunks (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraTipInfo xs) → String Source #

data TopLevelConfig blk where Source #

The top-level node configuration

Bundled Patterns

pattern DegenTopLevelConfig ∷ NoHardForks b ⇒ TopLevelConfig b → TopLevelConfig (HardForkBlock '[b])

Instances

Instances details

Isomorphic TopLevelConfig Source #	Projection/injection for `TopLevelConfig` NOTE: We do not define one for `LedgerConfig` or `ConsensusConfig`, since we need the `EraParams` for their injections, which we can only derive if we have the top-level config.
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ TopLevelConfig (HardForkBlock '[blk]) → TopLevelConfig blk Source # inject ∷ NoHardForks blk ⇒ TopLevelConfig blk → TopLevelConfig (HardForkBlock '[blk]) Source #
Generic (TopLevelConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.Config Associated Types type Rep (TopLevelConfig blk) ∷ Type → Type # Methods from ∷ TopLevelConfig blk → Rep (TopLevelConfig blk) x # to ∷ Rep (TopLevelConfig blk) x → TopLevelConfig blk #
(ConsensusProtocol (BlockProtocol blk), NoThunks (LedgerConfig blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) ⇒ NoThunks (TopLevelConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.Config Methods noThunks ∷ Context → TopLevelConfig blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TopLevelConfig blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TopLevelConfig blk) → String Source #
type Rep (TopLevelConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.Config type Rep (TopLevelConfig blk) = D1 ('MetaData "TopLevelConfig" "Ouroboros.Consensus.Config" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "TopLevelConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "topLevelConfigProtocol") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConsensusConfig (BlockProtocol blk))) :: (S1 ('MetaSel ('Just "topLevelConfigLedger") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerConfig blk)) :: S1 ('MetaSel ('Just "topLevelConfigBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlockConfig blk)))) :: (S1 ('MetaSel ('Just "topLevelConfigCodec") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig blk)) :: (S1 ('MetaSel ('Just "topLevelConfigStorage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig blk)) :*: S1 ('MetaSel ('Just "topLevelConfigCheckpoints") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CheckpointsMap blk))))))

data family TxId tx ∷ Type Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #
Generic (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (TxId (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x # to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #
CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS # show ∷ TxId (GenTx (HardForkBlock xs)) → String # showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #
Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS # show ∷ TxId (GenTx (DualBlock m a)) → String # showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #
CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #
Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods (==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #
CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering # (<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) # min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #
Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering # (<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) # min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #
CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
NoThunks (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #
All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
type Rep (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
newtype TxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
newtype TxId (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype TxId (GenTx (DualBlock m a)) = DualGenTxId { dualGenTxIdMain ∷ GenTxId m }

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result