byron-spec-ledger-0.1.0.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
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

AddShrinks TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

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

HasTypeReps TxId Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

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-AWpYh6fpW7YLETcmEzrAvm" '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

AddShrinks TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

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

HasTypeReps TxIn Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

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-AWpYh6fpW7YLETcmEzrAvm" '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
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

AddShrinks TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

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

HasTypeReps TxOut Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

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-AWpYh6fpW7YLETcmEzrAvm" '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
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

Relation UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

Associated Types

type Domain UTxO Source #

type Range UTxO Source #

type Domain UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

type Range UTxO Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

mapUTxOValues :: (Lovelace -> Lovelace) -> UTxO -> UTxO Source #

Apply function uniformly across all outputs

fromTxOuts :: [TxOut] -> UTxO Source #

Construct a UTxO from initial TxOuts

data TxBody Source #

A raw transaction

Constructors

TxBody 

Fields

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

Show TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

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

AddShrinks TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

NoThunks TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

HasTypeReps TxBody Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

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

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-AWpYh6fpW7YLETcmEzrAvm" 'False) (C1 ('MetaCons "TxBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "inputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxIn]) :*: S1 ('MetaSel ('Just "outputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxOut])))

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.

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

HasTypeReps Wit Source # 
Instance details

Defined in Byron.Spec.Ledger.UTxO

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-AWpYh6fpW7YLETcmEzrAvm" '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
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

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-AWpYh6fpW7YLETcmEzrAvm" '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