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-4.0.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-4.0.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-4.0.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-4.0.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 t)) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Associated Types

type Rep (ConsensusConfig (ModChainSel p t))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

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

Methods

from ∷ ConsensusConfig (ModChainSel p t) → Rep (ConsensusConfig (ModChainSel p t)) x #

to ∷ Rep (ConsensusConfig (ModChainSel p t)) x → ConsensusConfig (ModChainSel p t) #

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-4.0.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 t)) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Methods

noThunks ∷ Context → ConsensusConfig (ModChainSel p t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (ModChainSel p t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (ModChainSel p t)) → 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-4.0.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-4.0.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 t)) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep (ConsensusConfig (ModChainSel p t)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-4.0.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-4.0.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 t) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

newtype ConsensusConfig (ModChainSel p t) = 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 Source #

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

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

Instance details

Defined in Data.Hashable.Class

Methods

liftHashWithSalt2 ∷ (Int → a → Int) → (Int → b → Int) → Int → Either a b → Int Source #

Bicrosswalk Either Source #

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 #

(Typeable DefaultUni a, Typeable DefaultUni b, Lift DefaultUni a, Lift DefaultUni b) ⇒ Lift DefaultUni (Either a b) Source #

Instance details

Defined in PlutusTx.Lift.Instances

Methods

lift ∷ Either a b → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

(PrettyBy config a, PrettyBy config b) ⇒ DefaultPrettyBy config (Either a b) Source #

Default pretty-printing for the spine of Either (elements are pretty-printed the way PrettyBy config constraints specify it).

Instance details

Defined in PlutusPrelude

Methods

defaultPrettyBy ∷ config → Either a b → Doc ann Source #

defaultPrettyListBy ∷ config → [Either a b] → Doc ann Source #

PrettyDefaultBy config (Either a b) ⇒ PrettyBy config (Either a b) Source #

An instance extending the set of types supporting default pretty-printing with Either.

Instance details

Defined in PlutusPrelude

Methods

prettyBy ∷ config → Either a b → Doc ann Source #

prettyListBy ∷ config → [Either a b] → Doc ann Source #

FromJSON a ⇒ FromJSON1 (Either a) Source #

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

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

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 #

catchNoPropagate ∷ Exception e0 ⇒ Either e a → (ExceptionWithContext 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 #

rethrowM ∷ Exception e0 ⇒ ExceptionWithContext 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) Source #

Instance details

Defined in Data.Hashable.Class

Methods

liftHashWithSalt ∷ (Int → a0 → Int) → Int → Either a a0 → Int Source #

MonadBaseControl (Either e) (Either e) Source #

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 #

SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (ByteString → Either DecoderError (HardForkBlock xs)) Source #

Instance details

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

Methods

decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (ByteString → Either DecoderError (HardForkBlock xs)) Source #

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

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

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

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

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 #

(DecCBOR a, DecCBOR b) ⇒ DecCBOR (Either a b) Source #

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (Either a b) Source #

dropCBOR ∷ Proxy (Either a b) → Decoder s () Source #

label ∷ Proxy (Either a b) → Text Source #

(EncCBOR a, EncCBOR b) ⇒ EncCBOR (Either a b) Source #

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Either a b → Encoding 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 #

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

Since: base-2.1

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

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 #

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 #

(Hashable a, Hashable b) ⇒ Hashable (Either a b) Source #

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

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 s b0 (Either a b) Source #

MonoFoldable (Either a b) Source #

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

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

Instance details

Defined in Data.MonoTraversable

Methods

opoint ∷ Element (Either a b) → Either a b Source #

MonoTraversable (Either a b) Source #

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

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 #

(Flat a, Flat b) ⇒ Flat (Either a b) #

Instance details

Defined in PlutusCore.Flat.Instances.Base

Methods

encode ∷ Either a b → Encoding

decode ∷ Get (Either a b)

size ∷ Either a b → NumBits → NumBits

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

Instance details

Defined in PlutusTx.Eq

Methods

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

(FromData a, FromData b) ⇒ FromData (Either a b) Source #

Instance details

Defined in PlutusTx.IsData.Instances

Methods

fromBuiltinData ∷ BuiltinData → Maybe (Either a b) Source #

(ToData a, ToData b) ⇒ ToData (Either a b) Source #

Instance details

Defined in PlutusTx.IsData.Instances

Methods

toBuiltinData ∷ Either a b → BuiltinData Source #

(UnsafeFromData a, UnsafeFromData b) ⇒ UnsafeFromData (Either a b) Source #

Instance details

Defined in PlutusTx.IsData.Instances

Methods

unsafeFromBuiltinData ∷ BuiltinData → Either a b Source #

(Ord a, Ord b) ⇒ Ord (Either a b) Source #

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 #

(Show a, Show b) ⇒ Show (Either a b) Source #

Instance details

Defined in PlutusTx.Show

Methods

showsPrec ∷ Integer → Either a b → ShowS Source #

show ∷ Either a b → BuiltinString Source #

(Pretty a, Pretty b) ⇒ Pretty (Either a b) Source #

Instance details

Defined in PlutusPrelude

Methods

pretty ∷ Either a b → Doc ann Source #

prettyList ∷ [Either a b] → Doc ann Source #

(Finite a, Uniform a, Finite b, Uniform b) ⇒ Uniform (Either a b) Source #

Instance details

Defined in System.Random.Internal

Methods

uniformM ∷ StatefulGen g m ⇒ g → m (Either a b) Source #

Corecursive (Either a b) Source #

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

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

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 #

(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes, HasBlueprintDefinition b, HasSchemaDefinition b referencedTypes) ⇒ HasBlueprintSchema (Either a b) referencedTypes Source #

Instance details

Defined in PlutusTx.IsData.Instances

Methods

schema ∷ Schema referencedTypes Source #

Typeable DefaultUni Either Source #

Instance details

Defined in PlutusTx.Lift.Instances

Methods

typeRep ∷ Proxy Either → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

Strict (Either a b) (Either a b) Source #

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

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

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

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

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

Instance details

Defined in Basement.Monad

type Failure (Either a) = a

type StM (Either e) a Source #

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

Instance details

Defined in Data.MonoTraversable

type Element (Either a b) = b

type Base (Either a b) Source #

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 #

(Typeable m, Typeable a) ⇒ ShowProxy (GenTx (DualBlock m a) ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (GenTx (DualBlock m a)) → String #

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 #

(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String #

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

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-4.0.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-4.0.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-4.0.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 ⇒ 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 #

CanHardFork xs ⇒ HasRawTxId (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type RawTxId (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx (HardForkBlock xs)) → RawTxId (TxId (GenTx (HardForkBlock xs)))

HasRawTxId (GenTxId m) ⇒ HasRawTxId (TxId (GenTx (DualBlock m a)))

Instance details

Associated Types

type RawTxId (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

Methods

getRawTxId ∷ TxId (GenTx (DualBlock m a)) → RawTxId (TxId (GenTx (DualBlock m a)))

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

}

type RawTxId (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

type RawTxId (TxId (GenTx (DualBlock m a)))

Instance details

type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (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 #

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 #

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-4.0.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 #

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-4.0.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 #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ ApplyBlock LedgerState (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 (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 (HardForkBlock xs) (LedgerState (HardForkBlock xs) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (HardForkBlock xs) → HardForkBlock xs → Ticked LedgerState (HardForkBlock xs) ValuesMK → LedgerResult (HardForkBlock xs) (LedgerState (HardForkBlock xs) DiffMK) 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

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (HardForkBlock xs) → SlotNo → LedgerState (HardForkBlock xs) EmptyMK → LedgerResult (HardForkBlock xs) (Ticked LedgerState (HardForkBlock xs) DiffMK) 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 (HardForkBlock xs) ValuesMK → LedgerTables (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 (HardForkBlock xs) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (HardForkBlock xs) any → LedgerTables (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk 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 #

Typeable xs ⇒ ShowProxy (HardForkBlock xs ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showProxy ∷ Proxy (HardForkBlock xs) → String #

Typeable xs ⇒ ShowProxy (GenTx (HardForkBlock xs) ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy ∷ Proxy (GenTx (HardForkBlock xs)) → String #

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 #

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 #

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

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-4.0.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-4.0.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-4.0.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 #

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

Associated Types

type HashSize (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block type HashSize (HardForkBlock xs) = HashSizeOfHead xs

Methods

toRawHash ∷ proxy (HardForkBlock xs) → HeaderHash (HardForkBlock xs) → ByteString Source #

toShortRawHash ∷ proxy (HardForkBlock xs) → HeaderHash (HardForkBlock xs) → ShortByteString Source #

fromRawHash ∷ proxy (HardForkBlock xs) → ByteString → Maybe (HeaderHash (HardForkBlock xs)) Source #

fromShortRawHash ∷ proxy (HardForkBlock xs) → ShortByteString → Maybe (HeaderHash (HardForkBlock xs)) Source #

unsafeFromRawHash ∷ proxy (HardForkBlock xs) → ByteString → HeaderHash (HardForkBlock xs) Source #

unsafeFromShortRawHash ∷ 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 #

(StandardHash (HardForkBlock xs), HashSize (HardForkBlock xs) ~ HashSizeOfHead xs, CanHardFork xs) ⇒ BlockSupportsPeras (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Associated Types

type PerasVote (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type PerasVote (HardForkBlock xs) = OneEraPerasVote xs
type PerasCert (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type PerasCert (HardForkBlock xs) = OneEraPerasCert xs
type PerasError (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type PerasError (HardForkBlock xs) = HardForkPerasError xs
type PerasCrypto (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type PerasCrypto (HardForkBlock xs) = OneEraPerasCrypto xs
type PerasVotingCommitteeScheme (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type PerasVotingCommitteeScheme (HardForkBlock xs) = OneEraPerasVotingCommitteeScheme xs

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext (HardForkBlock xs) → PoolId → PrivateKey (PerasCrypto (HardForkBlock xs)) → PerasRoundNo → Point (HardForkBlock xs) → Either (PerasError (HardForkBlock xs)) (Maybe (ValidatedPerasVote (HardForkBlock xs))) Source #

verifyPerasVote ∷ PerasEpochContext (HardForkBlock xs) → PerasVote (HardForkBlock xs) → Either (PerasError (HardForkBlock xs)) (ValidatedPerasVote (HardForkBlock xs)) Source #

forgePerasCert ∷ PerasEpochContext (HardForkBlock xs) → PerasVoteCollectionWithQuorum (HardForkBlock xs) → Either (PerasError (HardForkBlock xs)) (ValidatedPerasCert (HardForkBlock xs)) Source #

verifyPerasCert ∷ PerasEpochContext (HardForkBlock xs) → PerasCert (HardForkBlock xs) → Either (PerasError (HardForkBlock xs)) (ValidatedPerasCert (HardForkBlock xs)) Source #

getPerasCertInBlock ∷ HardForkBlock xs → Either (PerasError (HardForkBlock xs)) (Maybe (PerasCert (HardForkBlock xs))) 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 #

tiebreakerView ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → TiebreakerView (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 #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

ApplyBlock LedgerState (HardForkBlock 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, 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 ∷ LedgerConfig (HardForkBlock xs) → SlotNo → Validated (GenTx (HardForkBlock xs)) → TickedLedgerState (HardForkBlock xs) ValuesMK → Except (ApplyTxErr (HardForkBlock xs)) (TickedLedgerState (HardForkBlock xs) ValuesMK) Source #

reapplyTxs ∷ ∀ (wtd ∷ WhatToDoWithTxDiffs) extra. LedgerConfig (HardForkBlock xs) → SlotNo → [(Validated (GenTx (HardForkBlock xs)), InputTxDiffs (HardForkBlock xs) wtd, extra)] → TickedLedgerState (HardForkBlock xs) ValuesMK → ReapplyTxsResult extra (HardForkBlock xs) wtd Source #

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

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

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

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

mkMempoolApplyTxError ∷ ∀ (mk ∷ MapKind). TickedLedgerState (HardForkBlock xs) mk → Text → Maybe (ApplyTxErr (HardForkBlock xs)) Source #

CanHardFork xs ⇒ TxLimits (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type TxMeasurePhase1 (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type TxMeasurePhase1 (HardForkBlock xs) = HardForkTxMeasurePhase1 xs
type TxMeasurePhase2 (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type TxMeasurePhase2 (HardForkBlock xs) = HardForkTxMeasurePhase2 xs

Methods

txWireSize ∷ GenTx (HardForkBlock xs) → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig (HardForkBlock xs) → TickedLedgerState (HardForkBlock xs) EmptyMK → GenTx (HardForkBlock xs) → Except (ApplyTxErr (HardForkBlock xs)) (TxMeasurePhase1 (HardForkBlock xs)) Source #

txMeasurePhase2 ∷ LedgerConfig (HardForkBlock xs) → TickedLedgerState (HardForkBlock xs) ValuesMK → GenTx (HardForkBlock xs) → Except (ApplyTxErr (HardForkBlock xs)) (TxMeasurePhase2 (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 ⇒ LedgerStateSupportsPeras (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPoolDistr ∷ LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk 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 ⇒ 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 #

CanHardFork xs ⇒ StateSupportsPerasEpochContext (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type MaybeEraIndexedEpochToPerasRoundInfo (HardForkBlock xs) = EraIndexed xs EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (HardForkBlock xs) → MaybeEraIndexedEpochToPerasRoundInfo (HardForkBlock xs) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (HardForkBlock xs)) ⇒ proxy (HardForkBlock xs) → EraIndexed (HardForkIndices (HardForkBlock xs)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (HardForkBlock xs) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (HardForkBlock xs) → ledgerState EmptyMK → chainDepState → Either (PerasError (HardForkBlock xs)) (BoundedPerasEpochContext (HardForkBlock xs)) Source #

SerialiseHFC xs ⇒ SerialiseDiskConstraints (HardForkBlock xs) Source #

Instance details

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

SerialiseHFC xs ⇒ HasBinaryBlockInfo (HardForkBlock xs) Source #

Instance details

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

Methods

getBinaryBlockInfo ∷ HardForkBlock xs → BinaryBlockInfo Source #

All CondenseConstraints xs ⇒ Condense (Header (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ Header (HardForkBlock xs) → String Source #

All CondenseConstraints xs ⇒ Condense (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ HardForkBlock xs → String Source #

All CondenseConstraints xs ⇒ Condense (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ GenTx (HardForkBlock xs) → String Source #

All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #

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

CanHardFork xs ⇒ HasHeader (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

getHeaderFields ∷ HardForkBlock xs → HeaderFields (HardForkBlock xs) #

CanHardFork xs ⇒ HasRawTxId (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type RawTxId (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx (HardForkBlock xs)) → RawTxId (TxId (GenTx (HardForkBlock xs)))

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 ⇒ IsPerasError (HardForkPerasError xs) (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

injectVotingCommitteeError ∷ PerasVotingCommitteeError (HardForkBlock xs) → HardForkPerasError xs Source #

injectConversionError ∷ PerasConversionError → HardForkPerasError xs Source #

injectQuorumNotReachedError ∷ VoteWeight → HardForkPerasError xs Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (PerEraLedgerConfig xs) Source #

Instance details

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

Methods

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

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (PerEraLedgerConfig xs) Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkBlock xs) Source #

Instance details

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

Methods

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

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkBlock xs) Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkLedgerConfig xs) Source #

Instance details

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

Methods

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

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkLedgerConfig xs) Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkApplyTxErr xs) Source #

Instance details

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

Methods

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

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkApplyTxErr xs) Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (Shape xs) Source #

Instance details

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

Methods

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

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (Shape xs) Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (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) (OneEraPerasCert xs) Source #

Instance details

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

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → OneEraPerasCert xs → Encoding Source #

decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (OneEraPerasCert xs) Source #

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (OneEraPerasVote xs) Source #

Instance details

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

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → OneEraPerasVote xs → Encoding Source #

decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (OneEraPerasVote 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 #

CanHardFork xs ⇒ IsPerasCert (OneEraPerasCert xs) (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPerasCertRound ∷ OneEraPerasCert xs → PerasRoundNo Source #

getPerasCertBlock ∷ OneEraPerasCert xs → BoostedBlock (OneEraPerasCert xs) Source #

getPerasCertPoint ∷ OneEraPerasCert xs → Point (HardForkBlock xs) Source #

(CanHardFork xs, All SingleEraBlock xs) ⇒ IsPerasVote (OneEraPerasVote xs) (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPerasVoteRound ∷ OneEraPerasVote xs → PerasRoundNo Source #

getPerasVoteBlock ∷ OneEraPerasVote xs → BoostedBlock (OneEraPerasVote xs) Source #

getPerasVoteSeatIndex ∷ OneEraPerasVote xs → PerasSeatIndex Source #

getPerasVotePoint ∷ OneEraPerasVote xs → Point (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 → Either DecoderError (HardForkBlock xs)) Source #

Instance details

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

Methods

decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (ByteString → Either DecoderError (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 #

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

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

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

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 #

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

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState (HardForkBlock xs) any → LedgerTables (HardForkBlock xs) mk → Ticked LedgerState (HardForkBlock xs) mk 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 #

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 #

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 ⇒ LedgerStateSupportsPeras (Ticked LedgerState (HardForkBlock xs)) Source #

LedgerStateSupportsPeras for the ticked hard fork ledger state, mirroring the instance for the unticked ledger state in Ouroboros.Consensus.HardFork.Combinator.Basics.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

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

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

}

type HashSize (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

type HashSize (HardForkBlock xs) = HashSizeOfHead 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 PerasCert (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type PerasCert (HardForkBlock xs) = OneEraPerasCert xs

type PerasCrypto (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type PerasCrypto (HardForkBlock xs) = OneEraPerasCrypto xs

type PerasError (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type PerasError (HardForkBlock xs) = HardForkPerasError xs

type PerasVote (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type PerasVote (HardForkBlock xs) = OneEraPerasVote xs

type PerasVotingCommitteeScheme (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type PerasVotingCommitteeScheme (HardForkBlock xs) = OneEraPerasVotingCommitteeScheme 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 (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type AuxLedgerEvent (HardForkBlock xs) = OneEraLedgerEvent 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 TxMeasurePhase1 (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type TxMeasurePhase1 (HardForkBlock xs) = HardForkTxMeasurePhase1 xs

type TxMeasurePhase2 (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type TxMeasurePhase2 (HardForkBlock xs) = HardForkTxMeasurePhase2 xs

type TxIn (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 (HardForkBlock xs) = CanonicalTxIn xs

type TxOut (HardForkBlock xs) Source #

Must be the HardForkTxOut type

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxOut (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

type MaybeEraIndexedEpochToPerasRoundInfo (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type MaybeEraIndexedEpochToPerasRoundInfo (HardForkBlock xs) = EraIndexed xs EpochToPerasRoundInfo

type RawTxId (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked LedgerState (HardForkBlock xs ∷ 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

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 #

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-4.0.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 ⇒ 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-4.0.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-4.0.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 #

Show (PerEraLedgerConfig xs) ⇒ Show (HardForkLedgerConfig xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec ∷ Int → HardForkLedgerConfig xs → ShowS #

show ∷ HardForkLedgerConfig xs → String #

showList ∷ [HardForkLedgerConfig xs] → ShowS #

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

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 #

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-4.0.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 ⇒ 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-4.0.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, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ ApplyBlock LedgerState (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 (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 (HardForkBlock xs) (LedgerState (HardForkBlock xs) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (HardForkBlock xs) → HardForkBlock xs → Ticked LedgerState (HardForkBlock xs) ValuesMK → LedgerResult (HardForkBlock xs) (LedgerState (HardForkBlock xs) DiffMK) 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

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (HardForkBlock xs) → SlotNo → LedgerState (HardForkBlock xs) EmptyMK → LedgerResult (HardForkBlock xs) (Ticked LedgerState (HardForkBlock xs) DiffMK) 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 (HardForkBlock xs) ValuesMK → LedgerTables (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 (HardForkBlock xs) mk Source #

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

Bridge m a ⇒ ApplyBlock LedgerState (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 (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 (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 (DualBlock m a) (LedgerState (DualBlock m a) 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

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (DualBlock m a) → SlotNo → LedgerState (DualBlock m a) EmptyMK → LedgerResult (DualBlock m a) (Ticked LedgerState (DualBlock m a) DiffMK) 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 (DualBlock m a) ValuesMK → LedgerTables (DualBlock m a) ValuesMK Source #

(Bridge m a, HasLedgerTables 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 (DualBlock m a) mk Source #

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

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

Instance details

Methods

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

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

(txout ~ TxOut m, IndexedMemPack LedgerState m txout) ⇒ IndexedMemPack LedgerState (DualBlock m a) 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 ⇒ ∀ s. LedgerState (DualBlock m a) EmptyMK → Unpack s b txout Source #

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPoolDistr ∷ LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (DualBlock m a) EmptyMK → PerasParams blk 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 #

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 #

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

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

(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, 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 (HardForkBlock xs) mk Source #

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

(Bridge m a, HasLedgerTables (Ticked 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 (DualBlock m a) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState (DualBlock m a) any → LedgerTables (DualBlock m a) mk → Ticked LedgerState (DualBlock m a) mk 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 ⇒ LedgerStateSupportsPeras (Ticked LedgerState (HardForkBlock xs)) Source #

LedgerStateSupportsPeras for the ticked hard fork ledger state, mirroring the instance for the unticked ledger state in Ouroboros.Consensus.HardFork.Combinator.Basics.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (DualBlock m a) EmptyMK → PerasParams blk Source #

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

type LedgerCfg LedgerState (DualBlock m a) Source #

Instance details

type LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m a

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

}

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 ∷ Type) (mk ∷ MapKind) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

data Ticked LedgerState (DualBlock m a ∷ 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 ⇒ 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 ⇒ 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 ⇒ 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-4.0.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-4.0.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 #

(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String #

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

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-4.0.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 ⇒ 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 #

CanHardFork xs ⇒ HasRawTxId (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type RawTxId (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx (HardForkBlock xs)) → RawTxId (TxId (GenTx (HardForkBlock xs)))

HasRawTxId (GenTxId m) ⇒ HasRawTxId (TxId (GenTx (DualBlock m a)))

Instance details

Associated Types

type RawTxId (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

Methods

getRawTxId ∷ TxId (GenTx (DualBlock m a)) → RawTxId (TxId (GenTx (DualBlock m a)))

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

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

dualGenTxIdMain ∷ GenTxId m

}

type RawTxId (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

type RawTxId (TxId (GenTx (DualBlock m a)))

Instance details