ouroboros-consensus-cardano-0.12.1.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Synopsis

Documentation

newtype ByronSpecLedgerError Source #

Constructors

ByronSpecLedgerError 

Fields

Instances

Instances details
Eq ByronSpecLedgerError Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

(==) :: ByronSpecLedgerError -> ByronSpecLedgerError -> Bool Source #

(/=) :: ByronSpecLedgerError -> ByronSpecLedgerError -> Bool Source #

Show ByronSpecLedgerError Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

showsPrec :: Int -> ByronSpecLedgerError -> ShowS Source #

show :: ByronSpecLedgerError -> String Source #

showList :: [ByronSpecLedgerError] -> ShowS Source #

NoThunks ByronSpecLedgerError Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks :: Context -> ByronSpecLedgerError -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ByronSpecLedgerError -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ByronSpecLedgerError -> String

initByronSpecLedgerState :: ByronSpecGenesis -> LedgerState ByronSpecBlock Source #

Type family instances

data family LedgerState blk #

Instances

Instances details
Eq (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

(==) :: LedgerState ByronSpecBlock -> LedgerState ByronSpecBlock -> Bool Source #

(/=) :: LedgerState ByronSpecBlock -> LedgerState ByronSpecBlock -> Bool Source #

Eq (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

(==) :: Ticked (LedgerState ByronSpecBlock) -> Ticked (LedgerState ByronSpecBlock) -> Bool Source #

(/=) :: Ticked (LedgerState ByronSpecBlock) -> Ticked (LedgerState ByronSpecBlock) -> Bool Source #

Show (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

showsPrec :: Int -> LedgerState ByronSpecBlock -> ShowS Source #

show :: LedgerState ByronSpecBlock -> String Source #

showList :: [LedgerState ByronSpecBlock] -> ShowS Source #

Show (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

showsPrec :: Int -> Ticked (LedgerState ByronSpecBlock) -> ShowS Source #

show :: Ticked (LedgerState ByronSpecBlock) -> String Source #

showList :: [Ticked (LedgerState ByronSpecBlock)] -> ShowS Source #

Generic (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Associated Types

type Rep (LedgerState ByronSpecBlock) :: Type -> Type Source #

Methods

from :: LedgerState ByronSpecBlock -> Rep (LedgerState ByronSpecBlock) x Source #

to :: Rep (LedgerState ByronSpecBlock) x -> LedgerState ByronSpecBlock Source #

NoThunks (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks :: Context -> LedgerState ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> LedgerState ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (LedgerState ByronSpecBlock) -> String

NoThunks (Ticked (LedgerState ByronSpecBlock)) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks :: Context -> Ticked (LedgerState ByronSpecBlock) -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> Ticked (LedgerState ByronSpecBlock) -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (Ticked (LedgerState ByronSpecBlock)) -> String

Serialise (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

encode :: LedgerState ByronSpecBlock -> Encoding

decode :: Decoder s (LedgerState ByronSpecBlock)

encodeList :: [LedgerState ByronSpecBlock] -> Encoding

decodeList :: Decoder s [LedgerState ByronSpecBlock]

GetTip (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

getTip :: LedgerState ByronSpecBlock -> Point (LedgerState ByronSpecBlock)

GetTip (Ticked (LedgerState ByronSpecBlock)) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

getTip :: Ticked (LedgerState ByronSpecBlock) -> Point (Ticked (LedgerState ByronSpecBlock))

IsLedger (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Associated Types

type LedgerErr (LedgerState ByronSpecBlock)

type AuxLedgerEvent (LedgerState ByronSpecBlock)

Methods

applyChainTickLedgerResult :: LedgerCfg (LedgerState ByronSpecBlock) -> SlotNo -> LedgerState ByronSpecBlock -> LedgerResult (LedgerState ByronSpecBlock) (Ticked (LedgerState ByronSpecBlock))

ApplyBlock (LedgerState ByronSpecBlock) ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

applyBlockLedgerResult :: LedgerCfg (LedgerState ByronSpecBlock) -> ByronSpecBlock -> Ticked (LedgerState ByronSpecBlock) -> Except (LedgerErr (LedgerState ByronSpecBlock)) (LedgerResult (LedgerState ByronSpecBlock) (LedgerState ByronSpecBlock))

reapplyBlockLedgerResult :: LedgerCfg (LedgerState ByronSpecBlock) -> ByronSpecBlock -> Ticked (LedgerState ByronSpecBlock) -> LedgerResult (LedgerState ByronSpecBlock) (LedgerState ByronSpecBlock)

data LedgerState ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

data LedgerState ByronSpecBlock = ByronSpecLedgerState {}
type HeaderHash (LedgerState blk :: Type) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash (LedgerState blk :: Type) = HeaderHash blk
type Rep (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type Rep (LedgerState ByronSpecBlock) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.ByronSpec.Ledger.Ledger" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecLedgerTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo)) :*: S1 ('MetaSel ('Just "byronSpecLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (State CHAIN))))
type AuxLedgerEvent (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type AuxLedgerEvent (LedgerState ByronSpecBlock) = VoidLedgerEvent (LedgerState ByronSpecBlock)
type LedgerErr (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type LedgerErr (LedgerState ByronSpecBlock) = ByronSpecLedgerError
type LedgerCfg (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type LedgerCfg (LedgerState ByronSpecBlock) = ByronSpecGenesis
data Ticked (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

data Ticked (LedgerState ByronSpecBlock) = TickedByronSpecLedgerState {}

data family Ticked st #

Instances

Instances details
Eq (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

(==) :: Ticked (LedgerState ByronSpecBlock) -> Ticked (LedgerState ByronSpecBlock) -> Bool Source #

(/=) :: Ticked (LedgerState ByronSpecBlock) -> Ticked (LedgerState ByronSpecBlock) -> Bool Source #

Show (Ticked ()) 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

showsPrec :: Int -> Ticked () -> ShowS Source #

show :: Ticked () -> String Source #

showList :: [Ticked ()] -> ShowS Source #

Show (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

showsPrec :: Int -> Ticked (LedgerState ByronSpecBlock) -> ShowS Source #

show :: Ticked (LedgerState ByronSpecBlock) -> String Source #

showList :: [Ticked (LedgerState ByronSpecBlock)] -> ShowS Source #

NoThunks (Ticked (LedgerState ByronSpecBlock)) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks :: Context -> Ticked (LedgerState ByronSpecBlock) -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> Ticked (LedgerState ByronSpecBlock) -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (Ticked (LedgerState ByronSpecBlock)) -> String

GetTip (Ticked (LedgerState ByronSpecBlock)) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

getTip :: Ticked (LedgerState ByronSpecBlock) -> Point (Ticked (LedgerState ByronSpecBlock))

Show (Ticked (f a)) => Show ((Ticked :.: f) a) 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

showsPrec :: Int -> (Ticked :.: f) a -> ShowS Source #

show :: (Ticked :.: f) a -> String Source #

showList :: [(Ticked :.: f) a] -> ShowS Source #

NoThunks (Ticked (f a)) => NoThunks ((Ticked :.: f) a) 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

noThunks :: Context -> (Ticked :.: f) a -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> (Ticked :.: f) a -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ((Ticked :.: f) a) -> String

data Ticked () 
Instance details

Defined in Ouroboros.Consensus.Ticked

data Ticked () = TickedTrivial
type HeaderHash (Ticked l :: Type) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash (Ticked l :: Type) = HeaderHash l
data Ticked (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

data Ticked (LedgerState ByronSpecBlock) = TickedByronSpecLedgerState {}

Orphan instances

UpdateLedger ByronSpecBlock Source # 
Instance details

CommonProtocolParams ByronSpecBlock Source # 
Instance details

Methods

maxHeaderSize :: LedgerState ByronSpecBlock -> Word32

maxTxSize :: LedgerState ByronSpecBlock -> Word32

Eq (LedgerState ByronSpecBlock) Source # 
Instance details

Methods

(==) :: LedgerState ByronSpecBlock -> LedgerState ByronSpecBlock -> Bool Source #

(/=) :: LedgerState ByronSpecBlock -> LedgerState ByronSpecBlock -> Bool Source #

Eq (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Methods

(==) :: Ticked (LedgerState ByronSpecBlock) -> Ticked (LedgerState ByronSpecBlock) -> Bool Source #

(/=) :: Ticked (LedgerState ByronSpecBlock) -> Ticked (LedgerState ByronSpecBlock) -> Bool Source #

Show (LedgerState ByronSpecBlock) Source # 
Instance details

Methods

showsPrec :: Int -> LedgerState ByronSpecBlock -> ShowS Source #

show :: LedgerState ByronSpecBlock -> String Source #

showList :: [LedgerState ByronSpecBlock] -> ShowS Source #

Show (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Methods

showsPrec :: Int -> Ticked (LedgerState ByronSpecBlock) -> ShowS Source #

show :: Ticked (LedgerState ByronSpecBlock) -> String Source #

showList :: [Ticked (LedgerState ByronSpecBlock)] -> ShowS Source #

Generic (LedgerState ByronSpecBlock) Source # 
Instance details

Associated Types

type Rep (LedgerState ByronSpecBlock) :: Type -> Type Source #

Methods

from :: LedgerState ByronSpecBlock -> Rep (LedgerState ByronSpecBlock) x Source #

to :: Rep (LedgerState ByronSpecBlock) x -> LedgerState ByronSpecBlock Source #

NoThunks (LedgerState ByronSpecBlock) Source # 
Instance details

Methods

noThunks :: Context -> LedgerState ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> LedgerState ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (LedgerState ByronSpecBlock) -> String

NoThunks (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Methods

noThunks :: Context -> Ticked (LedgerState ByronSpecBlock) -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> Ticked (LedgerState ByronSpecBlock) -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (Ticked (LedgerState ByronSpecBlock)) -> String

Serialise (LedgerState ByronSpecBlock) Source # 
Instance details

Methods

encode :: LedgerState ByronSpecBlock -> Encoding

decode :: Decoder s (LedgerState ByronSpecBlock)

encodeList :: [LedgerState ByronSpecBlock] -> Encoding

decodeList :: Decoder s [LedgerState ByronSpecBlock]

GetTip (LedgerState ByronSpecBlock) Source # 
Instance details

Methods

getTip :: LedgerState ByronSpecBlock -> Point (LedgerState ByronSpecBlock)

GetTip (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Methods

getTip :: Ticked (LedgerState ByronSpecBlock) -> Point (Ticked (LedgerState ByronSpecBlock))

IsLedger (LedgerState ByronSpecBlock) Source # 
Instance details

Associated Types

type LedgerErr (LedgerState ByronSpecBlock)

type AuxLedgerEvent (LedgerState ByronSpecBlock)

Methods

applyChainTickLedgerResult :: LedgerCfg (LedgerState ByronSpecBlock) -> SlotNo -> LedgerState ByronSpecBlock -> LedgerResult (LedgerState ByronSpecBlock) (Ticked (LedgerState ByronSpecBlock))

ApplyBlock (LedgerState ByronSpecBlock) ByronSpecBlock Source # 
Instance details

Methods

applyBlockLedgerResult :: LedgerCfg (LedgerState ByronSpecBlock) -> ByronSpecBlock -> Ticked (LedgerState ByronSpecBlock) -> Except (LedgerErr (LedgerState ByronSpecBlock)) (LedgerResult (LedgerState ByronSpecBlock) (LedgerState ByronSpecBlock))

reapplyBlockLedgerResult :: LedgerCfg (LedgerState ByronSpecBlock) -> ByronSpecBlock -> Ticked (LedgerState ByronSpecBlock) -> LedgerResult (LedgerState ByronSpecBlock) (LedgerState ByronSpecBlock)