Safe Haskell	None
Language	Haskell2010

Byron.Spec.Ledger.UTxO

Synopsis

newtype TxId = TxId {
- getTxId :: Hash
}
data TxIn = TxIn TxId Natural
data TxOut = TxOut {
- addr :: Addr
- value :: Lovelace
}
newtype UTxO = UTxO {
- unUTxO :: Map TxIn TxOut
}
mapUTxOValues :: (Lovelace -> Lovelace) -> UTxO -> UTxO
addValue :: TxOut -> Lovelace -> TxOut
fromTxOuts :: [TxOut] -> UTxO
data TxBody = TxBody {
- inputs :: [TxIn]
- outputs :: [TxOut]
}
txid :: TxBody -> TxId
txValue :: TxBody -> Lovelace
txins :: TxBody -> [TxIn]
txouts :: TxBody -> UTxO
balance :: UTxO -> Lovelace
pcMinFee :: PParams -> Tx -> Lovelace
txsize :: Tx -> Int
data Wit = Wit VKey (Sig TxBody)
data Tx = Tx {
- body :: TxBody
- witnesses :: [Wit]
}
makeWitness :: KeyPair -> TxBody -> Wit
makeTxWits :: UTxO -> TxBody -> Tx

Documentation

newtype TxId Source #

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

Constructors

TxId
Fields getTxId :: Hash

Instances

Instances details

Eq TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) :: TxId -> TxId -> Bool # (/=) :: TxId -> TxId -> Bool #
Data TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TxId -> c TxId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TxId # toConstr :: TxId -> Constr # dataTypeOf :: TxId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TxId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TxId) # gmapT :: (forall b. Data b => b -> b) -> TxId -> TxId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TxId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TxId -> r # gmapQ :: (forall d. Data d => d -> u) -> TxId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TxId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TxId -> m TxId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TxId -> m TxId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TxId -> m TxId #
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 #
Show TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec :: Int -> TxId -> ShowS # show :: TxId -> String # showList :: [TxId] -> ShowS #
Generic TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxId :: Type -> Type # Methods from :: TxId -> Rep TxId x # to :: Rep TxId x -> TxId #
Hashable TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt :: Int -> TxId -> Int Source # hash :: TxId -> Int Source #
AddShrinks TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods addShrinks :: TxId -> Gen TxId Source #
SeedGoblin TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods seeder :: TxId -> TinkerM g () 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 #
HasTypeReps TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps :: TxId -> Seq TypeRep Source #
GeneOps genome => Goblin genome TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods tinker :: Gen TxId -> TinkerM genome (Gen TxId) Source # conjure :: TinkerM genome TxId 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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) :: TxIn -> TxIn -> Bool # (/=) :: TxIn -> TxIn -> Bool #
Data TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TxIn -> c TxIn # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TxIn # toConstr :: TxIn -> Constr # dataTypeOf :: TxIn -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TxIn) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TxIn) # gmapT :: (forall b. Data b => b -> b) -> TxIn -> TxIn # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TxIn -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TxIn -> r # gmapQ :: (forall d. Data d => d -> u) -> TxIn -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TxIn -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TxIn -> m TxIn # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TxIn -> m TxIn # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TxIn -> m TxIn #
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 #
Show TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec :: Int -> TxIn -> ShowS # show :: TxIn -> String # showList :: [TxIn] -> ShowS #
Generic TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxIn :: Type -> Type # Methods from :: TxIn -> Rep TxIn x # to :: Rep TxIn x -> TxIn #
Hashable TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt :: Int -> TxIn -> Int Source # hash :: TxIn -> Int Source #
AddShrinks TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods addShrinks :: TxIn -> Gen TxIn Source #
SeedGoblin TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods seeder :: TxIn -> TinkerM g () 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 #
HasTypeReps TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps :: TxIn -> Seq TypeRep Source #
GeneOps genome => Goblin genome TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods tinker :: Gen TxIn -> TinkerM genome (Gen TxIn) Source # conjure :: TinkerM genome TxIn 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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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 addr :: Addr value :: Lovelace

Instances

Instances details

Eq TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) :: TxOut -> TxOut -> Bool # (/=) :: TxOut -> TxOut -> Bool #
Data TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TxOut -> c TxOut # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TxOut # toConstr :: TxOut -> Constr # dataTypeOf :: TxOut -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TxOut) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TxOut) # gmapT :: (forall b. Data b => b -> b) -> TxOut -> TxOut # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TxOut -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TxOut -> r # gmapQ :: (forall d. Data d => d -> u) -> TxOut -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TxOut -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TxOut -> m TxOut # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TxOut -> m TxOut # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TxOut -> m TxOut #
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 #
Show TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec :: Int -> TxOut -> ShowS # show :: TxOut -> String # showList :: [TxOut] -> ShowS #
Generic TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxOut :: Type -> Type # Methods from :: TxOut -> Rep TxOut x # to :: Rep TxOut x -> TxOut #
Hashable TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt :: Int -> TxOut -> Int Source # hash :: TxOut -> Int Source #
AddShrinks TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods addShrinks :: TxOut -> Gen TxOut Source #
SeedGoblin TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods seeder :: TxOut -> TinkerM g () 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 #
HasTypeReps TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps :: TxOut -> Seq TypeRep Source #
GeneOps genome => Goblin genome TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods tinker :: Gen TxOut -> TinkerM genome (Gen TxOut) Source # conjure :: TinkerM genome TxOut 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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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 unUTxO :: Map TxIn TxOut

Instances

Instances details

Eq UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) :: UTxO -> UTxO -> Bool # (/=) :: UTxO -> UTxO -> Bool #
Data UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTxO -> c UTxO # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UTxO # toConstr :: UTxO -> Constr # dataTypeOf :: UTxO -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UTxO) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UTxO) # gmapT :: (forall b. Data b => b -> b) -> UTxO -> UTxO # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTxO -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTxO -> r # gmapQ :: (forall d. Data d => d -> u) -> UTxO -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UTxO -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTxO -> m UTxO # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTxO -> m UTxO # gmapMo :: MonadPlus m => (forall 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 #
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 #
Monoid UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods mempty :: UTxO # mappend :: UTxO -> UTxO -> UTxO # mconcat :: [UTxO] -> UTxO #
SeedGoblin UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods seeder :: UTxO -> TinkerM g () Source #
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 #
Relation UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Domain UTxO Source # type Range UTxO Source # 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 #
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 inputs :: [TxIn] outputs :: [TxOut]

Instances

Instances details

Eq TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) :: TxBody -> TxBody -> Bool # (/=) :: TxBody -> TxBody -> Bool #
Data TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TxBody -> c TxBody # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TxBody # toConstr :: TxBody -> Constr # dataTypeOf :: TxBody -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TxBody) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TxBody) # gmapT :: (forall b. Data b => b -> b) -> TxBody -> TxBody # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TxBody -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TxBody -> r # gmapQ :: (forall d. Data d => d -> u) -> TxBody -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TxBody -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TxBody -> m TxBody # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TxBody -> m TxBody # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TxBody -> m TxBody #
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 #
Show TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec :: Int -> TxBody -> ShowS # show :: TxBody -> String # showList :: [TxBody] -> ShowS #
Generic TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxBody :: Type -> Type # Methods from :: TxBody -> Rep TxBody x # to :: Rep TxBody x -> TxBody #
Hashable TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt :: Int -> TxBody -> Int Source # hash :: TxBody -> Int Source #
AddShrinks TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods addShrinks :: TxBody -> Gen TxBody 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 #
HasTypeReps TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps :: TxBody -> Seq TypeRep Source #
HasHash TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hash :: TxBody -> Hash Source #
GeneOps g => Goblin g TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods tinker :: Gen TxBody -> TinkerM g (Gen TxBody) Source # conjure :: TinkerM g TxBody 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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) :: Wit -> Wit -> Bool # (/=) :: Wit -> Wit -> Bool #
Data Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Wit -> c Wit # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Wit # toConstr :: Wit -> Constr # dataTypeOf :: Wit -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Wit) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Wit) # gmapT :: (forall b. Data b => b -> b) -> Wit -> Wit # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Wit -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Wit -> r # gmapQ :: (forall d. Data d => d -> u) -> Wit -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Wit -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Wit -> m Wit # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Wit -> m Wit # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Wit -> m Wit #
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 #
Show Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec :: Int -> Wit -> ShowS # show :: Wit -> String # showList :: [Wit] -> ShowS #
Generic Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep Wit :: Type -> Type # Methods from :: Wit -> Rep Wit x # to :: Rep Wit x -> Wit #
Hashable Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt :: Int -> Wit -> Int Source # hash :: Wit -> Int Source #
AddShrinks Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods addShrinks :: Wit -> Gen Wit 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 #
HasTypeReps Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps :: Wit -> Seq TypeRep Source #
GeneOps genome => Goblin genome Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods tinker :: Gen Wit -> TinkerM genome (Gen Wit) Source # conjure :: TinkerM genome Wit 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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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 body :: TxBody witnesses :: [Wit]

Instances

Instances details

Eq Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) :: Tx -> Tx -> Bool # (/=) :: Tx -> Tx -> Bool #
Data Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Tx -> c Tx # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Tx # toConstr :: Tx -> Constr # dataTypeOf :: Tx -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Tx) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Tx) # gmapT :: (forall b. Data b => b -> b) -> Tx -> Tx # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tx -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tx -> r # gmapQ :: (forall d. Data d => d -> u) -> Tx -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Tx -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tx -> m Tx # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tx -> m Tx # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tx -> m Tx #
Show Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec :: Int -> Tx -> ShowS # show :: Tx -> String # showList :: [Tx] -> ShowS #
Generic Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep Tx :: Type -> Type # Methods from :: Tx -> Rep Tx x # to :: Rep Tx x -> Tx #
Hashable Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt :: Int -> Tx -> Int Source # hash :: Tx -> Int Source #
AddShrinks Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods addShrinks :: Tx -> Gen Tx 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 #
HasTypeReps Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps :: Tx -> Seq TypeRep Source #
GeneOps genome => Goblin genome Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods tinker :: Gen Tx -> TinkerM genome (Gen Tx) Source # conjure :: TinkerM genome Tx 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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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 #