byron-spec-ledger-1.1.1.0: Executable specification of Cardano ledger
Safe HaskellNone
LanguageHaskell2010

Byron.Spec.Ledger.UTxO

Synopsis

Documentation

newtype TxId Source #

A unique ID of a transaction, which is computable from the transaction.

Constructors

TxId 

Fields

Instances

Instances details
HasTypeReps TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

typeReps ∷ TxId → Seq TypeRep Source #

Data TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TxId → c TxId #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxId #

toConstr ∷ TxId → Constr #

dataTypeOf ∷ TxId → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxId) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxId) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → TxId → TxId #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxId → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxId → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxId → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxId → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxId → m TxId #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxId → m TxId #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxId → m TxId #

Generic TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Associated Types

type Rep TxId 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep TxId = D1 ('MetaData "TxId" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash)))

Methods

from ∷ TxId → Rep TxId x #

to ∷ Rep TxId x → TxId #

Show TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

showsPrec ∷ Int → TxId → ShowS #

show ∷ TxId → String #

showList ∷ [TxId] → ShowS #

Eq TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

(==) ∷ TxId → TxId → Bool #

(/=) ∷ TxId → TxId → Bool #

Ord TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

compare ∷ TxId → TxId → Ordering #

(<) ∷ TxId → TxId → Bool #

(<=) ∷ TxId → TxId → Bool #

(>) ∷ TxId → TxId → Bool #

(>=) ∷ TxId → TxId → Bool #

max ∷ TxId → TxId → TxId #

min ∷ TxId → TxId → TxId #

Hashable TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

hashWithSalt ∷ Int → TxId → Int Source #

hash ∷ TxId → Int Source #

NoThunks TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

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

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

showTypeOf ∷ Proxy TxId → String Source #

type Rep TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep TxId = D1 ('MetaData "TxId" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash)))

data TxIn Source #

The input of a UTxO.

  • TODO - is it okay to use list indices instead of implementing the Ix Type?

Constructors

TxIn TxId Natural 

Instances

Instances details
HasTypeReps TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

typeReps ∷ TxIn → Seq TypeRep Source #

Data TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TxIn → c TxIn #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxIn #

toConstr ∷ TxIn → Constr #

dataTypeOf ∷ TxIn → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxIn) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxIn) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → TxIn → TxIn #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxIn → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxIn → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxIn → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxIn → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxIn → m TxIn #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxIn → m TxIn #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxIn → m TxIn #

Generic TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Associated Types

type Rep TxIn 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep TxIn = D1 ('MetaData "TxIn" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural)))

Methods

from ∷ TxIn → Rep TxIn x #

to ∷ Rep TxIn x → TxIn #

Show TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

showsPrec ∷ Int → TxIn → ShowS #

show ∷ TxIn → String #

showList ∷ [TxIn] → ShowS #

Eq TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

(==) ∷ TxIn → TxIn → Bool #

(/=) ∷ TxIn → TxIn → Bool #

Ord TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

compare ∷ TxIn → TxIn → Ordering #

(<) ∷ TxIn → TxIn → Bool #

(<=) ∷ TxIn → TxIn → Bool #

(>) ∷ TxIn → TxIn → Bool #

(>=) ∷ TxIn → TxIn → Bool #

max ∷ TxIn → TxIn → TxIn #

min ∷ TxIn → TxIn → TxIn #

Hashable TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

hashWithSalt ∷ Int → TxIn → Int Source #

hash ∷ TxIn → Int Source #

NoThunks TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

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

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

showTypeOf ∷ Proxy TxIn → String Source #

type Rep TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep TxIn = D1 ('MetaData "TxIn" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural)))

data TxOut Source #

The output of a UTxO.

Constructors

TxOut 

Fields

Instances

Instances details
HasTypeReps TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

typeReps ∷ TxOut → Seq TypeRep Source #

Data TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TxOut → c TxOut #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxOut #

toConstr ∷ TxOut → Constr #

dataTypeOf ∷ TxOut → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxOut) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxOut) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → TxOut → TxOut #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxOut → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxOut → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxOut → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxOut → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxOut → m TxOut #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxOut → m TxOut #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxOut → m TxOut #

Generic TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Associated Types

type Rep TxOut 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep TxOut = D1 ('MetaData "TxOut" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) (S1 ('MetaSel ('Just "addr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Addr) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Lovelace)))

Methods

from ∷ TxOut → Rep TxOut x #

to ∷ Rep TxOut x → TxOut #

Show TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

showsPrec ∷ Int → TxOut → ShowS #

show ∷ TxOut → String #

showList ∷ [TxOut] → ShowS #

Eq TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

(==) ∷ TxOut → TxOut → Bool #

(/=) ∷ TxOut → TxOut → Bool #

Ord TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

compare ∷ TxOut → TxOut → Ordering #

(<) ∷ TxOut → TxOut → Bool #

(<=) ∷ TxOut → TxOut → Bool #

(>) ∷ TxOut → TxOut → Bool #

(>=) ∷ TxOut → TxOut → Bool #

max ∷ TxOut → TxOut → TxOut #

min ∷ TxOut → TxOut → TxOut #

Hashable TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

hashWithSalt ∷ Int → TxOut → Int Source #

hash ∷ TxOut → Int Source #

NoThunks TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

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

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

showTypeOf ∷ Proxy TxOut → String Source #

type Rep TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep TxOut = D1 ('MetaData "TxOut" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) (S1 ('MetaSel ('Just "addr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Addr) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Lovelace)))

newtype UTxO Source #

The unspent transaction outputs.

Constructors

UTxO 

Fields

Instances

Instances details
Relation UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Associated Types

type Domain UTxO 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Domain UTxO = Domain (Map TxIn TxOut)
type Range UTxO 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Range UTxO = Range (Map TxIn TxOut)

Methods

singleton ∷ Domain UTxO → Range UTxO → UTxO Source #

dom ∷ UTxO → Set (Domain UTxO) Source #

range ∷ UTxO → Set (Range UTxO) Source #

(◁) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source #

(<|) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source #

(⋪) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source #

(</|) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source #

(▷) ∷ UTxO → Set (Range UTxO) → UTxO Source #

(|>) ∷ UTxO → Set (Range UTxO) → UTxO Source #

(⋫) ∷ UTxO → Set (Range UTxO) → UTxO Source #

(|/>) ∷ UTxO → Set (Range UTxO) → UTxO Source #

(∪) ∷ UTxO → UTxO → UTxO Source #

(⨃) ∷ (Ord (Domain UTxO), Ord (Range UTxO), Foldable f) ⇒ UTxO → f (Domain UTxO, Range UTxO) → UTxO Source #

(<=◁) ∷ Domain UTxO → UTxO → UTxO Source #

(▷<=) ∷ UTxO → Range UTxO → UTxO Source #

(▷>=) ∷ UTxO → Range UTxO → UTxO Source #

size ∷ Integral n ⇒ UTxO → n Source #

Monoid UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

mempty ∷ UTxO #

mappend ∷ UTxO → UTxO → UTxO #

mconcat ∷ [UTxO] → UTxO #

Semigroup UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

(<>) ∷ UTxO → UTxO → UTxO #

sconcat ∷ NonEmpty UTxO → UTxO #

stimes ∷ Integral b ⇒ b → UTxO → UTxO #

Data UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UTxO → c UTxO #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UTxO #

toConstr ∷ UTxO → Constr #

dataTypeOf ∷ UTxO → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UTxO) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UTxO) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → UTxO → UTxO #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UTxO → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UTxO → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → UTxO → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UTxO → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UTxO → m UTxO #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTxO → m UTxO #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTxO → m UTxO #

Show UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

showsPrec ∷ Int → UTxO → ShowS #

show ∷ UTxO → String #

showList ∷ [UTxO] → ShowS #

Eq UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

(==) ∷ UTxO → UTxO → Bool #

(/=) ∷ UTxO → UTxO → Bool #

NoThunks UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

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

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

showTypeOf ∷ Proxy UTxO → String Source #

type Domain UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Domain UTxO = Domain (Map TxIn TxOut)
type Range UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Range UTxO = Range (Map TxIn TxOut)

mapUTxOValues ∷ (Lovelace → Lovelace) → UTxO → UTxO Source #

Apply function uniformly across all outputs

addValue ∷ TxOut → Lovelace → TxOut Source #

fromTxOuts ∷ [TxOut] → UTxO Source #

Construct a UTxO from initial TxOuts

data TxBody Source #

A raw transaction

Constructors

TxBody 

Fields

Instances

Instances details
HasHash TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

hash ∷ TxBody → Hash Source #

HasTypeReps TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

typeReps ∷ TxBody → Seq TypeRep Source #

Data TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TxBody → c TxBody #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxBody #

toConstr ∷ TxBody → Constr #

dataTypeOf ∷ TxBody → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxBody) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxBody) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → TxBody → TxBody #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxBody → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxBody → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxBody → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxBody → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxBody → m TxBody #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxBody → m TxBody #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxBody → m TxBody #

Generic TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Associated Types

type Rep TxBody 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep TxBody = D1 ('MetaData "TxBody" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "TxBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "inputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxIn]) :*: S1 ('MetaSel ('Just "outputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxOut])))

Methods

from ∷ TxBody → Rep TxBody x #

to ∷ Rep TxBody x → TxBody #

Show TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

showsPrec ∷ Int → TxBody → ShowS #

show ∷ TxBody → String #

showList ∷ [TxBody] → ShowS #

Eq TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

(==) ∷ TxBody → TxBody → Bool #

(/=) ∷ TxBody → TxBody → Bool #

Ord TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

compare ∷ TxBody → TxBody → Ordering #

(<) ∷ TxBody → TxBody → Bool #

(<=) ∷ TxBody → TxBody → Bool #

(>) ∷ TxBody → TxBody → Bool #

(>=) ∷ TxBody → TxBody → Bool #

max ∷ TxBody → TxBody → TxBody #

min ∷ TxBody → TxBody → TxBody #

Hashable TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

hashWithSalt ∷ Int → TxBody → Int Source #

hash ∷ TxBody → Int Source #

NoThunks TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

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

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

showTypeOf ∷ Proxy TxBody → String Source #

type Rep TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep TxBody = D1 ('MetaData "TxBody" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "TxBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "inputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxIn]) :*: S1 ('MetaSel ('Just "outputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxOut])))

txid ∷ TxBody → TxId Source #

txValue ∷ TxBody → Lovelace Source #

Total value of a transaction.

txins ∷ TxBody → [TxIn] Source #

Compute the UTxO inputs of a transaction.

txouts ∷ TxBody → UTxO Source #

Compute the UTxO outputs of a transaction.

balance ∷ UTxO → Lovelace Source #

Determine the total balance contained in the UTxO.

pcMinFee ∷ PParams → Tx → Lovelace Source #

txsize ∷ Tx → Int Source #

data Wit Source #

Proof/Witness that a transaction is authorized by the given key holder.

Constructors

Wit VKey (Sig TxBody) 

Instances

Instances details
HasTypeReps Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

typeReps ∷ Wit → Seq TypeRep Source #

Data Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Wit → c Wit #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Wit #

toConstr ∷ Wit → Constr #

dataTypeOf ∷ Wit → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Wit) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Wit) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Wit → Wit #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Wit → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Wit → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Wit → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Wit → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Wit → m Wit #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Wit → m Wit #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Wit → m Wit #

Generic Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Associated Types

type Rep Wit 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep Wit = D1 ('MetaData "Wit" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "Wit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig TxBody))))

Methods

from ∷ Wit → Rep Wit x #

to ∷ Rep Wit x → Wit #

Show Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

showsPrec ∷ Int → Wit → ShowS #

show ∷ Wit → String #

showList ∷ [Wit] → ShowS #

Eq Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

(==) ∷ Wit → Wit → Bool #

(/=) ∷ Wit → Wit → Bool #

Ord Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

compare ∷ Wit → Wit → Ordering #

(<) ∷ Wit → Wit → Bool #

(<=) ∷ Wit → Wit → Bool #

(>) ∷ Wit → Wit → Bool #

(>=) ∷ Wit → Wit → Bool #

max ∷ Wit → Wit → Wit #

min ∷ Wit → Wit → Wit #

Hashable Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

hashWithSalt ∷ Int → Wit → Int Source #

hash ∷ Wit → Int Source #

NoThunks Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

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

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

showTypeOf ∷ Proxy Wit → String Source #

type Rep Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep Wit = D1 ('MetaData "Wit" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "Wit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig TxBody))))

data Tx Source #

A fully formed transaction.

Constructors

Tx 

Fields

Instances

Instances details
HasTypeReps Tx Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

typeReps ∷ Tx → Seq TypeRep Source #

Data Tx Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Tx → c Tx #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Tx #

toConstr ∷ Tx → Constr #

dataTypeOf ∷ Tx → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Tx) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Tx) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Tx → Tx #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Tx → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Tx → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Tx → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Tx → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Tx → m Tx #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tx → m Tx #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tx → m Tx #

Generic Tx Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Associated Types

type Rep Tx 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep Tx = D1 ('MetaData "Tx" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) (S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TxBody) :*: S1 ('MetaSel ('Just "witnesses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Wit])))

Methods

from ∷ Tx → Rep Tx x #

to ∷ Rep Tx x → Tx #

Show Tx Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

showsPrec ∷ Int → Tx → ShowS #

show ∷ Tx → String #

showList ∷ [Tx] → ShowS #

Eq Tx Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

(==) ∷ Tx → Tx → Bool #

(/=) ∷ Tx → Tx → Bool #

Hashable Tx Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

hashWithSalt ∷ Int → Tx → Int Source #

hash ∷ Tx → Int Source #

NoThunks Tx Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

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

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

showTypeOf ∷ Proxy Tx → String Source #

HasHash [Tx] Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Methods

hash ∷ [Tx] → Hash Source #

type Rep Tx Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Rep Tx = D1 ('MetaData "Tx" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) (S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TxBody) :*: S1 ('MetaSel ('Just "witnesses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Wit])))

makeWitness ∷ KeyPair → TxBody → Wit Source #

Create a witness for transaction

makeTxWits ∷ UTxO → TxBody → Tx Source #