Pattern synonyms

Associated Types

type Rep (CodecConfig (DualBlock m a))

Instance details

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.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))))

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

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

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.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

data CodecConfig (DualBlock m a) = DualCodecConfig {

dualCodecConfigMain ∷ !(CodecConfig m)
dualCodecConfigAux ∷ !(CodecConfig a)

}

data family ConsensusConfig p 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))

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.26.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)))))

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

Associated Types

type Rep (ConsensusConfig (Bft c))

Instance details

type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.26.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)))))))

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))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep (ConsensusConfig (ModChainSel p s)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))

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

Associated Types

type Rep (ConsensusConfig (PBft c))
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))

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

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

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.26.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

type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.26.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.26.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

type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.26.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

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

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

FromJSON2 Either

Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSON2 ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Maybe b → (Value → Parser b) → (Value → Parser [b]) → Value → Parser (Either a b) Source #

liftParseJSONList2 ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Maybe b → (Value → Parser b) → (Value → Parser [b]) → Value → Parser [Either a b] Source #

liftOmittedField2 ∷ Maybe a → Maybe b → Maybe (Either a b) Source #

ToJSON2 Either

Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON2 ∷ (a → Bool) → (a → Value) → ([a] → Value) → (b → Bool) → (b → Value) → ([b] → Value) → Either a b → Value Source #

liftToJSONList2 ∷ (a → Bool) → (a → Value) → ([a] → Value) → (b → Bool) → (b → Value) → ([b] → Value) → [Either a b] → Value Source #

liftToEncoding2 ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → (b → Bool) → (b → Encoding) → ([b] → Encoding) → Either a b → Encoding Source #

liftToEncodingList2 ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → (b → Bool) → (b → Encoding) → ([b] → Encoding) → [Either a b] → Encoding Source #

liftOmitField2 ∷ (a → Bool) → (b → Bool) → Either a b → Bool Source #

Bifoldable Either

Since: base-4.10.0.0

Instance details

Defined in Data.Bifoldable

Methods

bifold ∷ Monoid m ⇒ Either m m → m #

bifoldMap ∷ Monoid m ⇒ (a → m) → (b → m) → Either a b → m #

bifoldr ∷ (a → c → c) → (b → c → c) → c → Either a b → c #

bifoldl ∷ (c → a → c) → (c → b → c) → c → Either a b → c #

Bifoldable1 Either

Instance details

Defined in Data.Bifoldable1

Methods

bifold1 ∷ Semigroup m ⇒ Either m m → m #

bifoldMap1 ∷ Semigroup m ⇒ (a → m) → (b → m) → Either a b → m #

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 #

Bitraversable Either

Since: base-4.10.0.0

Instance details

Defined in Data.Bitraversable

Methods

bitraverse ∷ Applicative f ⇒ (a → f c) → (b → f d) → Either a b → f (Either c d) #

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 #

Bicrosswalk Either

Instance details

Defined in Data.Crosswalk

Methods

bicrosswalk ∷ Align f ⇒ (a → f c) → (b → f d) → Either a b → f (Either c d) Source #

bisequenceL ∷ Align f ⇒ Either (f a) (f b) → f (Either a b) Source #

Generic1 (Either a ∷ Type → Type)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (Either a ∷ Type → Type)

@since base-4.6.0.0

Instance details

Defined in GHC.Internal.Generics

type Rep1 (Either a ∷ Type → Type) = D1 ('MetaData "Either" "GHC.Internal.Data.Either" "ghc-internal" '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))

Methods

from1 ∷ Either a a0 → Rep1 (Either a) a0 #

to1 ∷ 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) #

FromJSON a ⇒ FromJSON1 (Either a)

Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSON ∷ Maybe a0 → (Value → Parser a0) → (Value → Parser [a0]) → Value → Parser (Either a a0) Source #

liftParseJSONList ∷ Maybe a0 → (Value → Parser a0) → (Value → Parser [a0]) → Value → Parser [Either a a0] Source #

liftOmittedField ∷ Maybe a0 → Maybe (Either a a0) Source #

ToJSON a ⇒ ToJSON1 (Either a)

Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON ∷ (a0 → Bool) → (a0 → Value) → ([a0] → Value) → Either a a0 → Value Source #

liftToJSONList ∷ (a0 → Bool) → (a0 → Value) → ([a0] → Value) → [Either a a0] → Value Source #

liftToEncoding ∷ (a0 → Bool) → (a0 → Encoding) → ([a0] → Encoding) → Either a a0 → Encoding Source #

liftToEncodingList ∷ (a0 → Bool) → (a0 → Encoding) → ([a0] → Encoding) → [Either a a0] → Encoding Source #

liftOmitField ∷ (a0 → Bool) → Either a a0 → Bool Source #

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 #

MonadFailure (Either a)

Instance details

Defined in Basement.Monad

Associated Types

type Failure (Either a)
Instance details Defined in Basement.Monad type Failure (Either a) = a

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 #

Applicative (Either e)

@since base-3.0

Instance details

Defined in GHC.Internal.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 GHC.Internal.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 GHC.Internal.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 #

Foldable (Either a)

@since base-4.7.0.0

Instance details

Defined in GHC.Internal.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 #

Traversable (Either a)

@since base-4.7.0.0

Instance details

Defined in GHC.Internal.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) #

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

Methods

liftBaseWith ∷ (RunInBase (Either e) (Either e) → Either e a) → Either e a Source #

restoreM ∷ StM (Either e) a → Either e a Source #

MonadBase (Either e) (Either e)

Instance details

Defined in Control.Monad.Base

Methods

liftBase ∷ Either e α → Either e α Source #

(FromJSON a, FromJSON b) ⇒ FromJSON (Either a b)

Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON ∷ Value → Parser (Either a b) Source #

parseJSONList ∷ Value → Parser [Either a b] Source #

omittedField ∷ Maybe (Either a b) Source #

(ToJSON a, ToJSON b) ⇒ ToJSON (Either a b)

Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON ∷ Either a b → Value Source #

toEncoding ∷ Either a b → Encoding Source #

toJSONList ∷ [Either a b] → Value Source #

toEncodingList ∷ [Either a b] → Encoding Source #

omitField ∷ Either a b → Bool Source #

(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 → () #

Semigroup (Either a b)

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.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.Internal.Generics

Associated Types

type Rep (Either a b)

@since base-4.6.0.0

Instance details

Defined in GHC.Internal.Generics

type Rep (Either a b) = D1 ('MetaData "Either" "GHC.Internal.Data.Either" "ghc-internal" '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)))

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 GHC.Internal.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 GHC.Internal.Data.Either

Methods

showsPrec ∷ Int → Either a b → ShowS #

show ∷ Either a b → String #

showList ∷ [Either a b] → ShowS #

(Eq a, Eq b) ⇒ Eq (Either a b)

@since base-2.01

Instance details

Defined in GHC.Internal.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.01

Instance details

Defined in GHC.Internal.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 #

(MemPack a, MemPack b) ⇒ MemPack (Either a b)

Instance details

Defined in Data.MemPack

Methods

typeName ∷ String Source #

packedByteCount ∷ Either a b → Int Source #

packM ∷ Either a b → Pack s () Source #

unpackM ∷ Buffer b0 ⇒ Unpack b0 (Either a b) 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 #

Strict (Either a b) (Either a b)

Instance details

Defined in Data.Strict.Classes

Methods

toStrict ∷ Either a b → Either a b Source #

toLazy ∷ Either a b → 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.Internal.Generics

type Rep1 (Either a ∷ Type → Type) = D1 ('MetaData "Either" "GHC.Internal.Data.Either" "ghc-internal" '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.Internal.Generics

type Rep (Either a b) = D1 ('MetaData "Either" "GHC.Internal.Data.Either" "ghc-internal" '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 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, HasCanonicalTxIn xs, HasHardForkTxOut 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

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

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)))

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.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

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))

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.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))

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)))

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.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

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

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

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

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

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

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

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

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

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

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.26.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.26.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.26.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

data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx {

}

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

newtype TxId (GenTx (DualBlock m a)) = DualGenTxId {

dualGenTxIdMain ∷ GenTxId m

}

data GenTx (DualBlock m a) Source #

Instance details

data GenTx (DualBlock m a) = DualGenTx {

dualGenTxMain ∷ GenTx m
dualGenTxAux ∷ GenTx a
dualGenTxBridge ∷ BridgeTx m a

}

data HardForkApplyTxErr (xs ∷ [Type]) where Source #

Bundled Patterns

pattern DegenApplyTxErr ∷ 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)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (HardForkApplyTxErr xs) = D1 ('MetaData "HardForkApplyTxErr" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.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))))

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.26.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 ∷ [Type]) where Source #

Bundled Patterns

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

Instances

Instances details

All SingleEraBlock xs ⇒ SameDepIndex2 (BlockQuery (HardForkBlock xs) ∷ QueryFootprint → Type → Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Methods

sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (HardForkBlock xs) x a → BlockQuery (HardForkBlock xs) y b → Maybe ('(x, a) :~: '(y, b)) Source #

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 #

SerialiseHFC xs ⇒ SerialiseBlockQueryResult (HardForkBlock xs) BlockQuery Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) fp result → result → Encoding Source #

decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) fp result → ∀ s. Decoder s result Source #

CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header ∷ Type → Type) 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 #

Generic (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type Rep (Validated (GenTx (HardForkBlock xs)))

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.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

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))

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.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))

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)))

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.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

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 (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 (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 (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 (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 ⇒ 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 TentativeHeaderStates. The initialTentativeHeaderState is the one for the first era.
Similarly, TentativeHeaderView (HardForkBlock xs) is OneEraTentativeHeaderView, the n-ary sum of per-era TentativeHeaderViews, 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)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining type TentativeHeaderState (HardForkBlock xs) = OneEraTentativeHeaderState xs
type TentativeHeaderView (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining type TentativeHeaderView (HardForkBlock xs) = OneEraTentativeHeaderView xs

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)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type HardForkIndices (HardForkBlock xs) = xs

Methods

hardForkSummary ∷ ∀ (mk ∷ MapKind). LedgerConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) mk → 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)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block type TipInfo (HardForkBlock xs) = OneEraTipInfo xs

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)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type OtherHeaderEnvelopeError (HardForkBlock xs) = HardForkEnvelopeErr xs

Methods

additionalEnvelopeChecks ∷ TopLevelConfig (HardForkBlock xs) → LedgerView (BlockProtocol (HardForkBlock xs)) → Header (HardForkBlock xs) → Except (OtherHeaderEnvelopeError (HardForkBlock xs)) () Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut 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 ∷ ∀ (mk ∷ MapKind). LedgerState (HardForkBlock xs) mk → Point (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))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs
type AuxLedgerEvent (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → SlotNo → LedgerState (HardForkBlock xs) EmptyMK → LedgerResult (LedgerState (HardForkBlock xs)) (Ticked (LedgerState (HardForkBlock xs)) DiffMK) Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ CommonProtocolParams (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.CommonProtocolParams

Methods

maxHeaderSize ∷ ∀ (mk ∷ MapKind). LedgerState (HardForkBlock xs) mk → Word32 Source #

maxTxSize ∷ ∀ (mk ∷ MapKind). LedgerState (HardForkBlock xs) mk → Word32 Source #

CanHardFork xs ⇒ InspectLedger (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type LedgerWarning (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerWarning (HardForkBlock xs) = HardForkLedgerWarning xs
type LedgerUpdate (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerUpdate (HardForkBlock xs) = HardForkLedgerUpdate xs

Methods

inspectLedger ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). TopLevelConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) mk1 → LedgerState (HardForkBlock xs) mk2 → [LedgerEvent (HardForkBlock xs)] Source #

(All SingleEraBlock xs, BlockSupportsHFLedgerQuery xs, All BlockSupportsLedgerQuery xs, CanHardFork xs) ⇒ BlockSupportsLedgerQuery (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Methods

answerPureBlockQuery ∷ ExtLedgerCfg (HardForkBlock xs) → BlockQuery (HardForkBlock xs) 'QFNoTables result → ExtLedgerState (HardForkBlock xs) EmptyMK → result Source #

answerBlockQueryLookup ∷ MonadSTM m ⇒ ExtLedgerCfg (HardForkBlock xs) → BlockQuery (HardForkBlock xs) 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock xs) → m result Source #

answerBlockQueryTraverse ∷ MonadSTM m ⇒ ExtLedgerCfg (HardForkBlock xs) → BlockQuery (HardForkBlock xs) 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock xs) → m result Source #

blockQueryIsSupportedOnVersion ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery (HardForkBlock xs) fp 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, HasCanonicalTxIn xs, HasHardForkTxOut 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) ValuesMK → Except (ApplyTxErr (HardForkBlock xs)) (TickedLedgerState (HardForkBlock xs) DiffMK, Validated (GenTx (HardForkBlock xs))) Source #

reapplyTx ∷ ComputeDiffs → LedgerConfig (HardForkBlock xs) → SlotNo → Validated (GenTx (HardForkBlock xs)) → TickedLedgerState (HardForkBlock xs) ValuesMK → Except (ApplyTxErr (HardForkBlock xs)) (TickedLedgerState (HardForkBlock xs) TrackingMK) Source #

reapplyTxs ∷ ComputeDiffs → LedgerConfig (HardForkBlock xs) → SlotNo → [(Validated (GenTx (HardForkBlock xs)), extra)] → TickedLedgerState (HardForkBlock xs) ValuesMK → ReapplyTxsResult extra (HardForkBlock xs) Source #

txForgetValidated ∷ Validated (GenTx (HardForkBlock xs)) → GenTx (HardForkBlock xs) Source #

getTransactionKeySets ∷ GenTx (HardForkBlock xs) → LedgerTables (LedgerState (HardForkBlock xs)) KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState (HardForkBlock xs) DiffMK → TickedLedgerState (HardForkBlock xs) DiffMK → TickedLedgerState (HardForkBlock xs) DiffMK Source #

applyMempoolDiffs ∷ LedgerTables (LedgerState (HardForkBlock xs)) ValuesMK → LedgerTables (LedgerState (HardForkBlock xs)) KeysMK → TickedLedgerState (HardForkBlock xs) DiffMK → TickedLedgerState (HardForkBlock xs) ValuesMK Source #

CanHardFork xs ⇒ TxLimits (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type TxMeasure (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type TxMeasure (HardForkBlock xs) = HardForkTxMeasure xs

Methods

txMeasure ∷ LedgerConfig (HardForkBlock xs) → TickedLedgerState (HardForkBlock xs) ValuesMK → GenTx (HardForkBlock xs) → Except (ApplyTxErr (HardForkBlock xs)) (TxMeasure (HardForkBlock xs)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (HardForkBlock xs) → TickedLedgerState (HardForkBlock xs) mk → TxMeasure (HardForkBlock xs) Source #

CanHardFork xs ⇒ LedgerSupportsPeerSelection (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.PeerSelection

Methods

getPeers ∷ ∀ (mk ∷ MapKind). LedgerState (HardForkBlock xs) mk → [(PoolStake, NonEmpty StakePoolRelay)] Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ LedgerSupportsProtocol (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (HardForkBlock xs) → Ticked (LedgerState (HardForkBlock xs)) mk → LedgerView (BlockProtocol (HardForkBlock xs)) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) mk → Forecast (LedgerView (BlockProtocol (HardForkBlock xs))) Source #

All (Compose CanStowLedgerTables LedgerState) xs ⇒ CanStowLedgerTables (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

stowLedgerTables ∷ LedgerState (HardForkBlock xs) ValuesMK → LedgerState (HardForkBlock xs) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (HardForkBlock xs) EmptyMK → LedgerState (HardForkBlock xs) ValuesMK Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (LedgerState (HardForkBlock xs)) Source #

Warning: projectLedgerTables and withLedgerTables are prohibitively expensive when using big tables or when used multiple times. See the TxOut instance for the HardForkBlock for more information.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (HardForkBlock xs) mk → LedgerTables (LedgerState (HardForkBlock xs)) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (HardForkBlock xs) any → LedgerTables (LedgerState (HardForkBlock xs)) mk → LedgerState (HardForkBlock xs) mk 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)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion type BlockNodeToNodeVersion (HardForkBlock xs) = HardForkNodeToNodeVersion xs
type BlockNodeToClientVersion (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion type BlockNodeToClientVersion (HardForkBlock xs) = HardForkNodeToClientVersion xs

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs, BlockSupportsHFLedgerQuery 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

(CanHardFork xs, HasHardForkTxOut xs) ⇒ CanUpgradeLedgerTables (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (HardForkBlock xs) mk1 → LedgerState (HardForkBlock xs) mk2 → LedgerTables (LedgerState (HardForkBlock xs)) ValuesMK → LedgerTables (LedgerState (HardForkBlock xs)) ValuesMK Source #

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 #

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 #

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, HasCanonicalTxIn xs, HasHardForkTxOut 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)) ValuesMK → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) ValuesMK → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) ValuesMK → LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs) DiffMK) Source #

getBlockKeySets ∷ HardForkBlock xs → LedgerTables (LedgerState (HardForkBlock xs)) KeysMK 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) (SomeBlockQuery (BlockQuery (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SomeBlockQuery (BlockQuery (HardForkBlock xs)) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (HardForkBlock 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 ⇒ 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 ⇒ 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 ⇒ 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) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (LedgerState (HardForkBlock xs) EmptyMK) 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 ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) EmptyMK → Encoding Source #

(ShowMK mk, CanHardFork xs) ⇒ Show (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec ∷ Int → LedgerState (HardForkBlock xs) mk → ShowS #

show ∷ LedgerState (HardForkBlock xs) mk → String #

showList ∷ [LedgerState (HardForkBlock xs) mk] → ShowS #

(EqMK mk, CanHardFork xs) ⇒ Eq (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

(==) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(/=) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(NoThunksMK mk, CanHardFork xs) ⇒ NoThunks (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks ∷ Context → LedgerState (HardForkBlock xs) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (HardForkBlock xs) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs) mk) → String Source #

CanHardFork xs ⇒ GetTip (Ticked (LedgerState (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (HardForkBlock xs)) mk → Point (Ticked (LedgerState (HardForkBlock xs))) Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (Ticked (LedgerState (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (HardForkBlock xs)) mk → LedgerTables (Ticked (LedgerState (HardForkBlock xs))) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (HardForkBlock xs)) any → LedgerTables (Ticked (LedgerState (HardForkBlock xs))) mk → Ticked (LedgerState (HardForkBlock xs)) mk Source #

All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs) footprint) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Methods

showResult ∷ BlockQuery (HardForkBlock xs) footprint result → result → String Source #

Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ QueryFootprint → 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 #

All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) footprint result) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Methods

showsPrec ∷ Int → BlockQuery (HardForkBlock xs) footprint result → ShowS #

show ∷ BlockQuery (HardForkBlock xs) footprint result → String #

showList ∷ [BlockQuery (HardForkBlock xs) footprint result] → 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.26.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.26.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.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId 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 #

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) mk Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) 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) footprint result Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

data BlockQuery (HardForkBlock xs) footprint result where

QueryIfCurrent ∷ ∀ (xs ∷ [Type]) (footprint ∷ QueryFootprint) result1. QueryIfCurrent xs footprint result1 → BlockQuery (HardForkBlock xs) footprint (Either (MismatchEraInfo xs) result1)
QueryAnytime ∷ ∀ (xs1 ∷ [Type]) result x. IsNonEmpty xs1 ⇒ QueryAnytime result → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) 'QFNoTables result
QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x result. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) result → BlockQuery (HardForkBlock (x ': xs1)) 'QFNoTables result

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 TxIn (LedgerState (HardForkBlock xs)) Source #

Must be the CannonicalTxIn type, but this will probably change in the future to NS WrapTxIn xs. See HasCanonicalTxIn.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxIn (LedgerState (HardForkBlock xs)) = CanonicalTxIn xs

type TxOut (LedgerState (HardForkBlock xs)) Source #

Must be the HardForkTxOut type

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxOut (LedgerState (HardForkBlock xs)) = HardForkTxOut 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) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) = TickedHardForkLedgerState {

tickedHardForkLedgerStateTransition ∷ !TransitionInfo
tickedHardForkLedgerStatePerEra ∷ !(HardForkState (FlipTickedLedgerState mk) xs)

}

data HardForkEnvelopeErr (xs ∷ [Type]) where Source #

Bundled Patterns

pattern DegenOtherHeaderEnvelopeError ∷ 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)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type Rep (HardForkEnvelopeErr xs) = D1 ('MetaData "HardForkEnvelopeErr" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.26.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))))

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.26.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 ∷ [Type]) 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)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type Rep (HardForkLedgerConfig xs) = D1 ('MetaData "HardForkLedgerConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.26.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))))

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.26.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 ∷ [Type]) where Source #

Bundled Patterns

pattern DegenLedgerError ∷ 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)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type Rep (HardForkLedgerError xs) = D1 ('MetaData "HardForkLedgerError" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.26.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))))

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.26.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 Source #

Instances

data family LedgerState blk (mk ∷ MapKind) Source #

Ledger state associated with a block

This is the Consensus notion of a Ledger 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 signal that the expected instantiation is either a LedgerState or some wrapper over it (like the ExtLedgerState).

This type is parametrized over mk :: MapKind to express the LedgerTables contained in such a LedgerState. See LedgerTables for a more thorough description.

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

Instances

Instances details

CanHardFork xs ⇒ GetTip (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState (HardForkBlock xs) mk → Point (LedgerState (HardForkBlock xs)) Source #

Bridge m a ⇒ GetTip (LedgerState (DualBlock m a)) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState (DualBlock m a) mk → Point (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))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs
type AuxLedgerEvent (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → SlotNo → LedgerState (HardForkBlock xs) EmptyMK → LedgerResult (LedgerState (HardForkBlock xs)) (Ticked (LedgerState (HardForkBlock xs)) DiffMK) Source #

Bridge m a ⇒ IsLedger (LedgerState (DualBlock m a)) Source #

Instance details

Associated Types

type LedgerErr (LedgerState (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type LedgerErr (LedgerState (DualBlock m a)) = DualLedgerError m a
type AuxLedgerEvent (LedgerState (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type AuxLedgerEvent (LedgerState (DualBlock m a)) = AuxLedgerEvent (LedgerState m)

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → SlotNo → LedgerState (DualBlock m a) EmptyMK → LedgerResult (LedgerState (DualBlock m a)) (Ticked (LedgerState (DualBlock m a)) DiffMK) Source #

All (Compose CanStowLedgerTables LedgerState) xs ⇒ CanStowLedgerTables (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

stowLedgerTables ∷ LedgerState (HardForkBlock xs) ValuesMK → LedgerState (HardForkBlock xs) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (HardForkBlock xs) EmptyMK → LedgerState (HardForkBlock xs) ValuesMK Source #

CanStowLedgerTables (LedgerState m) ⇒ CanStowLedgerTables (LedgerState (DualBlock m a)) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState (DualBlock m a) ValuesMK → LedgerState (DualBlock m a) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (DualBlock m a) EmptyMK → LedgerState (DualBlock m a) ValuesMK Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (LedgerState (HardForkBlock xs)) Source #

Warning: projectLedgerTables and withLedgerTables are prohibitively expensive when using big tables or when used multiple times. See the TxOut instance for the HardForkBlock for more information.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (HardForkBlock xs) mk → LedgerTables (LedgerState (HardForkBlock xs)) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (HardForkBlock xs) any → LedgerTables (LedgerState (HardForkBlock xs)) mk → LedgerState (HardForkBlock xs) mk Source #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (LedgerState (DualBlock m a)) Source #

Instance details

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (DualBlock m a) mk → LedgerTables (LedgerState (DualBlock m a)) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (DualBlock m a) any → LedgerTables (LedgerState (DualBlock m a)) mk → LedgerState (DualBlock m a) mk Source #

(Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m)), MemPack (TxOut (LedgerState m))) ⇒ SerializeTablesWithHint (LedgerState (DualBlock m a)) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (DualBlock m a)) ValuesMK) → LedgerTables (LedgerState (DualBlock m a)) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (DualBlock m a)) ValuesMK) → Decoder s (LedgerTables (LedgerState (DualBlock m a)) ValuesMK) Source #

(CanHardFork xs, HasHardForkTxOut xs) ⇒ CanUpgradeLedgerTables (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (HardForkBlock xs) mk1 → LedgerState (HardForkBlock xs) mk2 → LedgerTables (LedgerState (HardForkBlock xs)) ValuesMK → LedgerTables (LedgerState (HardForkBlock xs)) ValuesMK Source #

CanUpgradeLedgerTables (LedgerState (DualBlock m a)) Source #

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (DualBlock m a) mk1 → LedgerState (DualBlock m a) mk2 → LedgerTables (LedgerState (DualBlock m a)) ValuesMK → LedgerTables (LedgerState (DualBlock m a)) ValuesMK Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut 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)) ValuesMK → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) ValuesMK → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) ValuesMK → LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs) DiffMK) Source #

getBlockKeySets ∷ HardForkBlock xs → LedgerTables (LedgerState (HardForkBlock xs)) KeysMK Source #

Bridge m a ⇒ ApplyBlock (LedgerState (DualBlock m a)) (DualBlock m a) Source #

Instance details

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK) Source #

getBlockKeySets ∷ DualBlock m a → LedgerTables (LedgerState (DualBlock m a)) KeysMK Source #

SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (LedgerState (HardForkBlock xs) EmptyMK) Source #

SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) EmptyMK → Encoding Source #

(ShowMK mk, CanHardFork xs) ⇒ Show (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec ∷ Int → LedgerState (HardForkBlock xs) mk → ShowS #

show ∷ LedgerState (HardForkBlock xs) mk → String #

showList ∷ [LedgerState (HardForkBlock xs) mk] → ShowS #

(Bridge m a, ShowMK mk) ⇒ Show (LedgerState (DualBlock m a) mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState (DualBlock m a) mk → ShowS #

show ∷ LedgerState (DualBlock m a) mk → String #

showList ∷ [LedgerState (DualBlock m a) mk] → ShowS #

(EqMK mk, CanHardFork xs) ⇒ Eq (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

(==) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(/=) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(Bridge m a, EqMK mk) ⇒ Eq (LedgerState (DualBlock m a) mk) Source #

Instance details

Methods

(==) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool #

(/=) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool #

(NoThunksMK mk, CanHardFork xs) ⇒ NoThunks (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks ∷ Context → LedgerState (HardForkBlock xs) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (HardForkBlock xs) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs) mk) → String Source #

NoThunks (LedgerState (DualBlock m a) mk) Source #

Instance details

Methods

noThunks ∷ Context → LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (DualBlock m a) mk) → String Source #

CanHardFork xs ⇒ GetTip (Ticked (LedgerState (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (HardForkBlock xs)) mk → Point (Ticked (LedgerState (HardForkBlock xs))) Source #

Bridge m a ⇒ GetTip (Ticked (LedgerState (DualBlock m a))) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (DualBlock m a)) mk → Point (Ticked (LedgerState (DualBlock m a))) Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (Ticked (LedgerState (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (HardForkBlock xs)) mk → LedgerTables (Ticked (LedgerState (HardForkBlock xs))) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (HardForkBlock xs)) any → LedgerTables (Ticked (LedgerState (HardForkBlock xs))) mk → Ticked (LedgerState (HardForkBlock xs)) mk Source #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (Ticked (LedgerState (DualBlock m a))) Source #

Instance details

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (DualBlock m a)) mk → LedgerTables (Ticked (LedgerState (DualBlock m a))) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (DualBlock m a)) any → LedgerTables (Ticked (LedgerState (DualBlock m a))) mk → Ticked (LedgerState (DualBlock m a)) mk Source #

(txout ~ TxOut (LedgerState m), IndexedMemPack (LedgerState m EmptyMK) txout) ⇒ IndexedMemPack (LedgerState (DualBlock m a) EmptyMK) txout Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (DualBlock m a) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (DualBlock m a) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (DualBlock m a) EmptyMK → Unpack b txout Source #

indexedTypeName ∷ LedgerState (DualBlock m a) EmptyMK → String Source #

StandardHash blk ⇒ StandardHash (LedgerState blk ∷ MapKind → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

NoThunks (Ticked (LedgerState (DualBlock m a)) mk) Source #

Instance details

Methods

noThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked (LedgerState (DualBlock m a)) mk) → String Source #

Inject (Flip LedgerState mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Flip LedgerState mk x → Flip LedgerState mk (HardForkBlock xs) Source #

Isomorphic (Flip LedgerState mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ Flip LedgerState mk (HardForkBlock '[blk]) → Flip LedgerState mk blk Source #

inject ∷ NoHardForks blk ⇒ Flip LedgerState mk blk → Flip LedgerState mk (HardForkBlock '[blk]) Source #

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

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

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

type LedgerErr (LedgerState (DualBlock m a)) = DualLedgerError m a

newtype LedgerState (HardForkBlock xs) mk Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) xs

}

type TxIn (LedgerState (HardForkBlock xs)) Source #

Must be the CannonicalTxIn type, but this will probably change in the future to NS WrapTxIn xs. See HasCanonicalTxIn.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxIn (LedgerState (HardForkBlock xs)) = CanonicalTxIn xs

type TxIn (LedgerState (DualBlock m a)) Source #

Instance details

type TxIn (LedgerState (DualBlock m a)) = TxIn (LedgerState m)

type TxOut (LedgerState (HardForkBlock xs)) Source #

Must be the HardForkTxOut type

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxOut (LedgerState (HardForkBlock xs)) = HardForkTxOut xs

type TxOut (LedgerState (DualBlock m a)) Source #

Instance details

type TxOut (LedgerState (DualBlock m a)) = TxOut (LedgerState m)

data LedgerState (DualBlock m a) mk Source #

Instance details

data LedgerState (DualBlock m a) mk = DualLedgerState {

dualLedgerStateMain ∷ LedgerState m mk
dualLedgerStateAux ∷ LedgerState a ValuesMK
dualLedgerStateBridge ∷ BridgeLedger m a

}

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) = TickedHardForkLedgerState {

tickedHardForkLedgerStateTransition ∷ !TransitionInfo
tickedHardForkLedgerStatePerEra ∷ !(HardForkState (FlipTickedLedgerState mk) xs)

}

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Instance details

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) = TickedDualLedgerState {

tickedDualLedgerStateMain ∷ Ticked (LedgerState m) mk
tickedDualLedgerStateAux ∷ Ticked (LedgerState a) ValuesMK
tickedDualLedgerStateBridge ∷ BridgeLedger m a
tickedDualLedgerStateAuxOrig ∷ LedgerState a ValuesMK

}

type HeaderHash (LedgerState blk ∷ MapKind → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash (LedgerState blk ∷ MapKind → Type) = HeaderHash blk

data OneEraTipInfo (xs ∷ [Type]) where Source #

Bundled Patterns

pattern DegenTipInfo ∷ 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

Associated Types

type Rep (TopLevelConfig blk)

Instance details

type Rep (TopLevelConfig blk) = D1 ('MetaData "TopLevelConfig" "Ouroboros.Consensus.Config" "ouroboros-consensus-0.26.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))))))

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

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

type Rep (TopLevelConfig blk) = D1 ('MetaData "TopLevelConfig" "Ouroboros.Consensus.Config" "ouroboros-consensus-0.26.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 blk 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

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)))

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.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

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

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

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

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

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.26.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