cardano-ledger-dijkstra-0.3.0.0: Cardano ledger with nested transactions
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Dijkstra.Core

Synopsis

Documentation

class ConwayEraTxBody era ⇒ DijkstraEraTxBody era where Source #

Methods

guardsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (OSet (Credential 'Guard)) Source #

subTransactionsTxBodyL ∷ Lens' (TxBody 'TopTx era) (OMap TxId (Tx 'SubTx era)) Source #

requiredTopLevelGuardsL ∷ Lens' (TxBody 'SubTx era) (Map (Credential 'Guard) (StrictMaybe (Data era))) Source #

directDepositsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) DirectDeposits Source #

accountBalanceIntervalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (AccountBalanceIntervals era) Source #

Instances

Instances details
(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ DijkstraEraTxBody DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Methods

guardsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (OSet (Credential 'Guard)) Source #

subTransactionsTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (OMap TxId (Tx 'SubTx DijkstraEra)) Source #

requiredTopLevelGuardsL ∷ Lens' (TxBody 'SubTx DijkstraEra) (Map (Credential 'Guard) (StrictMaybe (Data DijkstraEra))) Source #

directDepositsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) DirectDeposits Source #

accountBalanceIntervalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (AccountBalanceIntervals DijkstraEra) Source #

data DijkstraBlockBody era where Source #

Bundled Patterns

pattern DijkstraBlockBody ∷ AlonzoEraTx era ⇒ StrictSeq (Tx 'TopTx era) → StrictMaybe PerasCert → DijkstraBlockBody era 

Instances

Instances details
(AlonzoEraTx era, Coercible (DijkstraTx 'TopTx era) (Tx 'TopTx era), DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody 'TopTx era)), DecCBOR (Annotator (TxWits era))) ⇒ DecCBOR (Annotator (DijkstraBlockBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

decCBOR ∷ Decoder s (Annotator (DijkstraBlockBody era)) Source #

dropCBOR ∷ Proxy (Annotator (DijkstraBlockBody era)) → Decoder s () Source #

label ∷ Proxy (Annotator (DijkstraBlockBody era)) → Text Source #

EncCBOR (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

encCBOR ∷ DijkstraBlockBody era → Encoding Source #

(AlonzoEraTx era, EncCBOR (Tx 'TopTx era)) ⇒ EncCBORGroup (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

encCBORGroup ∷ DijkstraBlockBody era → Encoding Source #

listLen ∷ Proxy (DijkstraBlockBody era) → Word Source #

Memoized (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Associated Types

type RawType (DijkstraBlockBody era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type RawType (DijkstraBlockBody era) = DijkstraBlockBodyRaw era

Methods

getMemoBytes ∷ DijkstraBlockBody era → MemoBytes (RawType (DijkstraBlockBody era))

wrapMemoBytes ∷ MemoBytes (RawType (DijkstraBlockBody era)) → DijkstraBlockBody era

(NFData (Tx 'TopTx era), NFData PerasCert) ⇒ NFData (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

rnf ∷ DijkstraBlockBody era → () #

Generic (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Associated Types

type Rep (DijkstraBlockBody era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type Rep (DijkstraBlockBody era) = D1 ('MetaData "DijkstraBlockBody" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraBlockBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraBlockBodyRaw era)))))

Methods

from ∷ DijkstraBlockBody era → Rep (DijkstraBlockBody era) x #

to ∷ Rep (DijkstraBlockBody era) x → DijkstraBlockBody era #

Show (Tx 'TopTx era) ⇒ Show (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

showsPrec ∷ Int → DijkstraBlockBody era → ShowS #

show ∷ DijkstraBlockBody era → String #

showList ∷ [DijkstraBlockBody era] → ShowS #

Eq (Tx 'TopTx era) ⇒ Eq (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

(==) ∷ DijkstraBlockBody era → DijkstraBlockBody era → Bool #

(/=) ∷ DijkstraBlockBody era → DijkstraBlockBody era → Bool #

type RawType (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type RawType (DijkstraBlockBody era) = DijkstraBlockBodyRaw era
type Rep (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type Rep (DijkstraBlockBody era) = D1 ('MetaData "DijkstraBlockBody" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraBlockBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraBlockBodyRaw era)))))

module Cardano.Ledger.Conway.Core

newtype DirectDeposits Source #

Direct deposits to account addresses.

Constructors

DirectDeposits 

Fields

Instances

Instances details
DecCBOR DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

Methods

decCBOR ∷ Decoder s DirectDeposits Source #

dropCBOR ∷ Proxy DirectDeposits → Decoder s () Source #

label ∷ Proxy DirectDeposits → Text Source #

EncCBOR DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBOR ∷ DirectDeposits → Encoding Source #

NFData DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnf ∷ DirectDeposits → () #

Monoid DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

Methods

mempty ∷ DirectDeposits #

mappend ∷ DirectDeposits → DirectDeposits → DirectDeposits #

mconcat ∷ [DirectDeposits] → DirectDeposits #

Semigroup DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

Methods

(<>) ∷ DirectDeposits → DirectDeposits → DirectDeposits #

sconcat ∷ NonEmpty DirectDeposits → DirectDeposits #

stimes ∷ Integral b ⇒ b → DirectDeposits → DirectDeposits #

Generic DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

type Rep DirectDeposits = D1 ('MetaData "DirectDeposits" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-inplace" 'True) (C1 ('MetaCons "DirectDeposits" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDirectDeposits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountAddress Coin))))

Methods

from ∷ DirectDeposits → Rep DirectDeposits x #

to ∷ Rep DirectDeposits x → DirectDeposits #

Show DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

Methods

showsPrec ∷ Int → DirectDeposits → ShowS #

show ∷ DirectDeposits → String #

showList ∷ [DirectDeposits] → ShowS #

Eq DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

Methods

(==) ∷ DirectDeposits → DirectDeposits → Bool #

(/=) ∷ DirectDeposits → DirectDeposits → Bool #

NoThunks DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

Methods

noThunks ∷ Context → DirectDeposits → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DirectDeposits → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy DirectDeposits → String Source #

type Rep DirectDeposits 
Instance details

Defined in Cardano.Ledger.Address

type Rep DirectDeposits = D1 ('MetaData "DirectDeposits" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-inplace" 'True) (C1 ('MetaCons "DirectDeposits" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDirectDeposits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountAddress Coin))))