Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.TxBody

Synopsis

data DCert crypto
- = DCertDeleg !( DelegCert crypto)
- | DCertPool !( PoolCert crypto)
- | DCertGenesis !( GenesisDelegCert crypto)
- | DCertMir !( MIRCert crypto)
data DelegCert crypto
- = RegKey !( StakeCredential crypto)
- | DeRegKey !( StakeCredential crypto)
- | Delegate !( Delegation crypto)
data Delegation crypto = Delegation {
- _delegator :: !( StakeCredential crypto)
- _delegatee :: !( KeyHash ' StakePool crypto)
}
data GenesisDelegCert crypto = GenesisDelegCert !( KeyHash ' Genesis crypto) !( KeyHash ' GenesisDelegate crypto) !( Hash crypto ( VerKeyVRF crypto))
data MIRCert crypto = MIRCert {
- mirPot :: MIRPot
- mirRewards :: MIRTarget crypto
}
data MIRPot
- = ReservesMIR
- | TreasuryMIR
data MIRTarget crypto
- = StakeAddressesMIR ( Map ( Credential ' Staking crypto) DeltaCoin )
- | SendToOppositePotMIR Coin
data PoolCert crypto
- = RegPool !( PoolParams crypto)
- | RetirePool !( KeyHash ' StakePool crypto) ! EpochNo
data PoolMetadata = PoolMetadata {
- _poolMDUrl :: ! Url
- _poolMDHash :: ! ByteString
}
data PoolParams crypto = PoolParams {
- _poolId :: !( KeyHash ' StakePool crypto)
- _poolVrf :: !( Hash crypto ( VerKeyVRF crypto))
- _poolPledge :: ! Coin
- _poolCost :: ! Coin
- _poolMargin :: ! UnitInterval
- _poolRAcnt :: !( RewardAcnt crypto)
- _poolOwners :: !( Set ( KeyHash ' Staking crypto))
- _poolRelays :: !( StrictSeq StakePoolRelay )
- _poolMD :: !( StrictMaybe PoolMetadata )
}
data Ptr = Ptr ! SlotNo ! TxIx ! CertIx
data RewardAcnt crypto = RewardAcnt {
- getRwdNetwork :: ! Network
- getRwdCred :: !( Credential ' Staking crypto)
}
newtype StakeCreds crypto = StakeCreds {
- unStakeCreds :: Map ( Credential ' Staking crypto) SlotNo
}
data StakePoolRelay
- = SingleHostAddr !( StrictMaybe Port ) !( StrictMaybe IPv4 ) !( StrictMaybe IPv6 )
- | SingleHostName !( StrictMaybe Port ) ! DnsName
- | MultiHostName ! DnsName
newtype TxBody era where
- TxBodyConstr ( MemoBytes ( TxBodyRaw era))
- pattern TxBody :: ( Era era, FromCBOR ( PParamsDelta era), TransTxBody ToCBOR era) => Set ( TxIn ( Crypto era)) -> StrictSeq ( TxOut era) -> StrictSeq ( DCert ( Crypto era)) -> Wdrl ( Crypto era) -> Coin -> SlotNo -> StrictMaybe ( Update era) -> StrictMaybe ( AuxiliaryDataHash ( Crypto era)) -> TxBody era
data TxBodyRaw era = TxBodyRaw {
- _inputsX :: !( Set ( TxIn ( Crypto era)))
- _outputsX :: !( StrictSeq ( TxOut era))
- _certsX :: !( StrictSeq ( DCert ( Crypto era)))
- _wdrlsX :: !( Wdrl ( Crypto era))
- _txfeeX :: ! Coin
- _ttlX :: ! SlotNo
- _txUpdateX :: !( StrictMaybe ( Update era))
- _mdHashX :: !( StrictMaybe ( AuxiliaryDataHash ( Crypto era)))
}
data EraIndependentTxBody
data TxOut era where
- TxOutCompact !( CompactAddr ( Crypto era)) !( CompactForm ( Value era))
- pattern TxOut :: ( Era era, Show ( Value era), Compactible ( Value era)) => Addr ( Crypto era) -> Value era -> TxOut era
data Url
newtype Wdrl crypto = Wdrl {
- unWdrl :: Map ( RewardAcnt crypto) Coin
}
data WitVKey kr crypto where
- pattern WitVKey :: ( Typeable kr, Crypto crypto) => VKey kr crypto -> SignedDSIGN crypto ( Hash crypto EraIndependentTxBody ) -> WitVKey kr crypto
witKeyHash :: WitVKey kr crypto -> KeyHash ' Witness crypto
data SizeOfPoolOwners = SizeOfPoolOwners
data SizeOfPoolRelays = SizeOfPoolRelays
type TransTxId (c :: Type -> Constraint ) era = ( HashAnnotated ( TxBody era) EraIndependentTxBody ( Crypto era), ToCBOR ( TxBody era), ToCBOR ( TxOut era), TransValue ToCBOR era, TransValue c era)
type TransTxOut (c :: Type -> Constraint ) era = (c ( Value era), Compactible ( Value era))
type TransTxBody (c :: Type -> Constraint ) era = (c ( TxOut era), c ( PParamsDelta era), HashAnnotated ( TxBody era) EraIndependentTxBody ( Crypto era))

Documentation

data DCert crypto Source #

A heavyweight certificate.

Constructors

DCertDeleg !( DelegCert crypto)
DCertPool !( PoolCert crypto)
DCertGenesis !( GenesisDelegCert crypto)
DCertMir !( MIRCert crypto)

Instances

Instances details

Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> StrictSeq ( DCert crypto) Source #
Eq ( DCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: DCert crypto -> DCert crypto -> Bool Source # (/=) :: DCert crypto -> DCert crypto -> Bool Source #
Show ( DCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> DCert crypto -> ShowS Source # show :: DCert crypto -> String Source # showList :: [ DCert crypto] -> ShowS Source #
Generic ( DCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( DCert crypto) :: Type -> Type Source # Methods from :: DCert crypto -> Rep ( DCert crypto) x Source # to :: Rep ( DCert crypto) x -> DCert crypto Source #
NFData ( DCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: DCert crypto -> () Source #
Crypto crypto => ToCBOR ( DCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: DCert crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( DCert crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ DCert crypto] -> Size Source #
Crypto crypto => FromCBOR ( DCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( DCert crypto) Source # label :: Proxy ( DCert crypto) -> Text Source #
NoThunks ( DCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> DCert crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> DCert crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( DCert crypto) -> String Source #
type Rep ( DCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( DCert crypto) = D1 (' MetaData "DCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) (( C1 (' MetaCons "DCertDeleg" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( DelegCert crypto))) :+: C1 (' MetaCons "DCertPool" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PoolCert crypto)))) :+: ( C1 (' MetaCons "DCertGenesis" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( GenesisDelegCert crypto))) :+: C1 (' MetaCons "DCertMir" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( MIRCert crypto)))))

data DelegCert crypto Source #

Constructors

RegKey !( StakeCredential crypto)	A stake key registration certificate.
DeRegKey !( StakeCredential crypto)	A stake key deregistration certificate.
Delegate !( Delegation crypto)	A stake delegation certificate.

Instances

Instances details

Eq ( DelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: DelegCert crypto -> DelegCert crypto -> Bool Source # (/=) :: DelegCert crypto -> DelegCert crypto -> Bool Source #
Show ( DelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> DelegCert crypto -> ShowS Source # show :: DelegCert crypto -> String Source # showList :: [ DelegCert crypto] -> ShowS Source #
Generic ( DelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( DelegCert crypto) :: Type -> Type Source # Methods from :: DelegCert crypto -> Rep ( DelegCert crypto) x Source # to :: Rep ( DelegCert crypto) x -> DelegCert crypto Source #
NFData ( DelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: DelegCert crypto -> () Source #
NoThunks ( DelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> DelegCert crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> DelegCert crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( DelegCert crypto) -> String Source #
type Rep ( DelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( DelegCert crypto) = D1 (' MetaData "DelegCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "RegKey" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StakeCredential crypto))) :+: ( C1 (' MetaCons "DeRegKey" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StakeCredential crypto))) :+: C1 (' MetaCons "Delegate" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Delegation crypto)))))

data Delegation crypto Source #

The delegation of one stake key to another.

Constructors

Delegation
Fields _delegator :: !( StakeCredential crypto) _delegatee :: !( KeyHash ' StakePool crypto)

Instances

Instances details

Eq ( Delegation crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: Delegation crypto -> Delegation crypto -> Bool Source # (/=) :: Delegation crypto -> Delegation crypto -> Bool Source #
Show ( Delegation crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> Delegation crypto -> ShowS Source # show :: Delegation crypto -> String Source # showList :: [ Delegation crypto] -> ShowS Source #
Generic ( Delegation crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( Delegation crypto) :: Type -> Type Source # Methods from :: Delegation crypto -> Rep ( Delegation crypto) x Source # to :: Rep ( Delegation crypto) x -> Delegation crypto Source #
NFData ( Delegation crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: Delegation crypto -> () Source #
NoThunks ( Delegation crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> Delegation crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Delegation crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Delegation crypto) -> String Source #
type Rep ( Delegation crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( Delegation crypto) = D1 (' MetaData "Delegation" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "Delegation" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_delegator") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StakeCredential crypto)) :*: S1 (' MetaSel (' Just "_delegatee") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool crypto))))

data GenesisDelegCert crypto Source #

Genesis key delegation certificate

Constructors

GenesisDelegCert !( KeyHash ' Genesis crypto) !( KeyHash ' GenesisDelegate crypto) !( Hash crypto ( VerKeyVRF crypto))

Instances

Instances details

Eq ( GenesisDelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: GenesisDelegCert crypto -> GenesisDelegCert crypto -> Bool Source # (/=) :: GenesisDelegCert crypto -> GenesisDelegCert crypto -> Bool Source #
Show ( GenesisDelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> GenesisDelegCert crypto -> ShowS Source # show :: GenesisDelegCert crypto -> String Source # showList :: [ GenesisDelegCert crypto] -> ShowS Source #
Generic ( GenesisDelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( GenesisDelegCert crypto) :: Type -> Type Source # Methods from :: GenesisDelegCert crypto -> Rep ( GenesisDelegCert crypto) x Source # to :: Rep ( GenesisDelegCert crypto) x -> GenesisDelegCert crypto Source #
NFData ( GenesisDelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: GenesisDelegCert crypto -> () Source #
NoThunks ( GenesisDelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> GenesisDelegCert crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> GenesisDelegCert crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( GenesisDelegCert crypto) -> String Source #
type Rep ( GenesisDelegCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( GenesisDelegCert crypto) = D1 (' MetaData "GenesisDelegCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "GenesisDelegCert" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' Genesis crypto)) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' GenesisDelegate crypto)) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash crypto ( VerKeyVRF crypto))))))

data MIRCert crypto Source #

Move instantaneous rewards certificate

Constructors

MIRCert
Fields mirPot :: MIRPot mirRewards :: MIRTarget crypto

Instances

Instances details

Eq ( MIRCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: MIRCert crypto -> MIRCert crypto -> Bool Source # (/=) :: MIRCert crypto -> MIRCert crypto -> Bool Source #
Show ( MIRCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> MIRCert crypto -> ShowS Source # show :: MIRCert crypto -> String Source # showList :: [ MIRCert crypto] -> ShowS Source #
Generic ( MIRCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( MIRCert crypto) :: Type -> Type Source # Methods from :: MIRCert crypto -> Rep ( MIRCert crypto) x Source # to :: Rep ( MIRCert crypto) x -> MIRCert crypto Source #
NFData ( MIRCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: MIRCert crypto -> () Source #
Crypto crypto => ToCBOR ( MIRCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: MIRCert crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( MIRCert crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ MIRCert crypto] -> Size Source #
Crypto crypto => FromCBOR ( MIRCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( MIRCert crypto) Source # label :: Proxy ( MIRCert crypto) -> Text Source #
NoThunks ( MIRCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> MIRCert crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> MIRCert crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( MIRCert crypto) -> String Source #
type Rep ( MIRCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( MIRCert crypto) = D1 (' MetaData "MIRCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "MIRCert" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "mirPot") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 MIRPot ) :*: S1 (' MetaSel (' Just "mirRewards") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MIRTarget crypto))))

data MIRPot Source #

Constructors

ReservesMIR
TreasuryMIR

Instances

Instances details

Bounded MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods minBound :: MIRPot Source # maxBound :: MIRPot Source #
Enum MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods succ :: MIRPot -> MIRPot Source # pred :: MIRPot -> MIRPot Source # toEnum :: Int -> MIRPot Source # fromEnum :: MIRPot -> Int Source # enumFrom :: MIRPot -> [ MIRPot ] Source # enumFromThen :: MIRPot -> MIRPot -> [ MIRPot ] Source # enumFromTo :: MIRPot -> MIRPot -> [ MIRPot ] Source # enumFromThenTo :: MIRPot -> MIRPot -> MIRPot -> [ MIRPot ] Source #
Eq MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: MIRPot -> MIRPot -> Bool Source # (/=) :: MIRPot -> MIRPot -> Bool Source #
Ord MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods compare :: MIRPot -> MIRPot -> Ordering Source # (<) :: MIRPot -> MIRPot -> Bool Source # (<=) :: MIRPot -> MIRPot -> Bool Source # (>) :: MIRPot -> MIRPot -> Bool Source # (>=) :: MIRPot -> MIRPot -> Bool Source # max :: MIRPot -> MIRPot -> MIRPot Source # min :: MIRPot -> MIRPot -> MIRPot Source #
Show MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> MIRPot -> ShowS Source # show :: MIRPot -> String Source # showList :: [ MIRPot ] -> ShowS Source #
Generic MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep MIRPot :: Type -> Type Source # Methods from :: MIRPot -> Rep MIRPot x Source # to :: Rep MIRPot x -> MIRPot Source #
NFData MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: MIRPot -> () Source #
ToCBOR MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: MIRPot -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy MIRPot -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ MIRPot ] -> Size Source #
FromCBOR MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s MIRPot Source # label :: Proxy MIRPot -> Text Source #
NoThunks MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> MIRPot -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> MIRPot -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy MIRPot -> String Source #
type Rep MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep MIRPot = D1 (' MetaData "MIRPot" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "ReservesMIR" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "TreasuryMIR" ' PrefixI ' False ) ( U1 :: Type -> Type ))

data MIRTarget crypto Source #

MIRTarget specifies if funds from either the reserves or the treasury are to be handed out to a collection of reward accounts or instead transfered to the opposite pot.

Constructors

StakeAddressesMIR ( Map ( Credential ' Staking crypto) DeltaCoin )
SendToOppositePotMIR Coin

Instances

Instances details

Eq ( MIRTarget crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: MIRTarget crypto -> MIRTarget crypto -> Bool Source # (/=) :: MIRTarget crypto -> MIRTarget crypto -> Bool Source #
Show ( MIRTarget crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> MIRTarget crypto -> ShowS Source # show :: MIRTarget crypto -> String Source # showList :: [ MIRTarget crypto] -> ShowS Source #
Generic ( MIRTarget crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( MIRTarget crypto) :: Type -> Type Source # Methods from :: MIRTarget crypto -> Rep ( MIRTarget crypto) x Source # to :: Rep ( MIRTarget crypto) x -> MIRTarget crypto Source #
NFData ( MIRTarget crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: MIRTarget crypto -> () Source #
Crypto crypto => ToCBOR ( MIRTarget crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: MIRTarget crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( MIRTarget crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ MIRTarget crypto] -> Size Source #
Crypto crypto => FromCBOR ( MIRTarget crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( MIRTarget crypto) Source # label :: Proxy ( MIRTarget crypto) -> Text Source #
NoThunks ( MIRTarget crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> MIRTarget crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> MIRTarget crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( MIRTarget crypto) -> String Source #
type Rep ( MIRTarget crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( MIRTarget crypto) = D1 (' MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "StakeAddressesMIR" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( Credential ' Staking crypto) DeltaCoin ))) :+: C1 (' MetaCons "SendToOppositePotMIR" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Coin )))

data PoolCert crypto Source #

Constructors

RegPool !( PoolParams crypto)	A stake pool registration certificate.
RetirePool !( KeyHash ' StakePool crypto) ! EpochNo	A stake pool retirement certificate.

Instances

Instances details

Eq ( PoolCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: PoolCert crypto -> PoolCert crypto -> Bool Source # (/=) :: PoolCert crypto -> PoolCert crypto -> Bool Source #
Show ( PoolCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> PoolCert crypto -> ShowS Source # show :: PoolCert crypto -> String Source # showList :: [ PoolCert crypto] -> ShowS Source #
Generic ( PoolCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( PoolCert crypto) :: Type -> Type Source # Methods from :: PoolCert crypto -> Rep ( PoolCert crypto) x Source # to :: Rep ( PoolCert crypto) x -> PoolCert crypto Source #
NFData ( PoolCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: PoolCert crypto -> () Source #
NoThunks ( PoolCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> PoolCert crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PoolCert crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PoolCert crypto) -> String Source #
type Rep ( PoolCert crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( PoolCert crypto) = D1 (' MetaData "PoolCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "RegPool" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PoolParams crypto))) :+: C1 (' MetaCons "RetirePool" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 EpochNo )))

data PoolMetadata Source #

Constructors

PoolMetadata
Fields _poolMDUrl :: ! Url _poolMDHash :: ! ByteString

Instances

Instances details

Eq PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: PoolMetadata -> PoolMetadata -> Bool Source # (/=) :: PoolMetadata -> PoolMetadata -> Bool Source #
Ord PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods compare :: PoolMetadata -> PoolMetadata -> Ordering Source # (<) :: PoolMetadata -> PoolMetadata -> Bool Source # (<=) :: PoolMetadata -> PoolMetadata -> Bool Source # (>) :: PoolMetadata -> PoolMetadata -> Bool Source # (>=) :: PoolMetadata -> PoolMetadata -> Bool Source # max :: PoolMetadata -> PoolMetadata -> PoolMetadata Source # min :: PoolMetadata -> PoolMetadata -> PoolMetadata Source #
Show PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> PoolMetadata -> ShowS Source # show :: PoolMetadata -> String Source # showList :: [ PoolMetadata ] -> ShowS Source #
Generic PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep PoolMetadata :: Type -> Type Source # Methods from :: PoolMetadata -> Rep PoolMetadata x Source # to :: Rep PoolMetadata x -> PoolMetadata Source #
NFData PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: PoolMetadata -> () Source #
ToJSON PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toJSON :: PoolMetadata -> Value Source # toEncoding :: PoolMetadata -> Encoding Source # toJSONList :: [ PoolMetadata ] -> Value Source # toEncodingList :: [ PoolMetadata ] -> Encoding Source #
FromJSON PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods parseJSON :: Value -> Parser PoolMetadata Source # parseJSONList :: Value -> Parser [ PoolMetadata ] Source #
ToCBOR PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: PoolMetadata -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy PoolMetadata -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PoolMetadata ] -> Size Source #
FromCBOR PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s PoolMetadata Source # label :: Proxy PoolMetadata -> Text Source #
NoThunks PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> PoolMetadata -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PoolMetadata -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy PoolMetadata -> String Source #
type Rep PoolMetadata Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep PoolMetadata = D1 (' MetaData "PoolMetadata" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "PoolMetadata" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_poolMDUrl") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Url ) :*: S1 (' MetaSel (' Just "_poolMDHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ByteString )))

data PoolParams crypto Source #

A stake pool.

Constructors

PoolParams
Fields _poolId :: !( KeyHash ' StakePool crypto) _poolVrf :: !( Hash crypto ( VerKeyVRF crypto)) _poolPledge :: ! Coin _poolCost :: ! Coin _poolMargin :: ! UnitInterval _poolRAcnt :: !( RewardAcnt crypto) _poolOwners :: !( Set ( KeyHash ' Staking crypto)) _poolRelays :: !( StrictSeq StakePoolRelay ) _poolMD :: !( StrictMaybe PoolMetadata )

Instances

Instances details

Eq ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: PoolParams crypto -> PoolParams crypto -> Bool Source # (/=) :: PoolParams crypto -> PoolParams crypto -> Bool Source #
Ord ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods compare :: PoolParams crypto -> PoolParams crypto -> Ordering Source # (<) :: PoolParams crypto -> PoolParams crypto -> Bool Source # (<=) :: PoolParams crypto -> PoolParams crypto -> Bool Source # (>) :: PoolParams crypto -> PoolParams crypto -> Bool Source # (>=) :: PoolParams crypto -> PoolParams crypto -> Bool Source # max :: PoolParams crypto -> PoolParams crypto -> PoolParams crypto Source # min :: PoolParams crypto -> PoolParams crypto -> PoolParams crypto Source #
Show ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> PoolParams crypto -> ShowS Source # show :: PoolParams crypto -> String Source # showList :: [ PoolParams crypto] -> ShowS Source #
Generic ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( PoolParams crypto) :: Type -> Type Source # Methods from :: PoolParams crypto -> Rep ( PoolParams crypto) x Source # to :: Rep ( PoolParams crypto) x -> PoolParams crypto Source #
NFData ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: PoolParams crypto -> () Source #
Crypto crypto => ToJSON ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toJSON :: PoolParams crypto -> Value Source # toEncoding :: PoolParams crypto -> Encoding Source # toJSONList :: [ PoolParams crypto] -> Value Source # toEncodingList :: [ PoolParams crypto] -> Encoding Source #
Crypto crypto => FromJSON ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods parseJSON :: Value -> Parser ( PoolParams crypto) Source # parseJSONList :: Value -> Parser [ PoolParams crypto] Source #
Crypto crypto => ToCBOR ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: PoolParams crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( PoolParams crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PoolParams crypto] -> Size Source #
Crypto crypto => FromCBOR ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( PoolParams crypto) Source # label :: Proxy ( PoolParams crypto) -> Text Source #
Crypto crypto => ToCBORGroup ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBORGroup :: PoolParams crypto -> Encoding Source # encodedGroupSizeExpr :: ( forall x. ToCBOR x => Proxy x -> Size ) -> Proxy ( PoolParams crypto) -> Size Source # listLen :: PoolParams crypto -> Word Source # listLenBound :: Proxy ( PoolParams crypto) -> Word Source #
Crypto crypto => FromCBORGroup ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBORGroup :: Decoder s ( PoolParams crypto) Source #
Crypto crypto => Default ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods def :: PoolParams crypto Source #
NoThunks ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> PoolParams crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PoolParams crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PoolParams crypto) -> String Source #
type Rep ( PoolParams crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( PoolParams crypto) = D1 (' MetaData "PoolParams" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "PoolParams" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "_poolId") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool crypto)) :: S1 (' MetaSel (' Just "_poolVrf") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash crypto ( VerKeyVRF crypto)))) :: ( S1 (' MetaSel (' Just "_poolPledge") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ) :: S1 (' MetaSel (' Just "_poolCost") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ))) :: (( S1 (' MetaSel (' Just "_poolMargin") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 UnitInterval ) :: S1 (' MetaSel (' Just "_poolRAcnt") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( RewardAcnt crypto))) :: ( S1 (' MetaSel (' Just "_poolOwners") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Set ( KeyHash ' Staking crypto))) :: ( S1 (' MetaSel (' Just "_poolRelays") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictSeq StakePoolRelay )) :: S1 (' MetaSel (' Just "_poolMD") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe PoolMetadata )))))))

data Ptr Source #

Pointer to a slot number, transaction index and an index in certificate list.

Constructors

Ptr ! SlotNo ! TxIx ! CertIx

Instances

Instances details

Eq Ptr
Instance details Defined in Cardano.Ledger.Credential Methods (==) :: Ptr -> Ptr -> Bool Source # (/=) :: Ptr -> Ptr -> Bool Source #
Ord Ptr
Instance details Defined in Cardano.Ledger.Credential Methods compare :: Ptr -> Ptr -> Ordering Source # (<) :: Ptr -> Ptr -> Bool Source # (<=) :: Ptr -> Ptr -> Bool Source # (>) :: Ptr -> Ptr -> Bool Source # (>=) :: Ptr -> Ptr -> Bool Source # max :: Ptr -> Ptr -> Ptr Source # min :: Ptr -> Ptr -> Ptr Source #
Show Ptr
Instance details Defined in Cardano.Ledger.Credential Methods showsPrec :: Int -> Ptr -> ShowS Source # show :: Ptr -> String Source # showList :: [ Ptr ] -> ShowS Source #
Generic Ptr
Instance details Defined in Cardano.Ledger.Credential Associated Types type Rep Ptr :: Type -> Type Source # Methods from :: Ptr -> Rep Ptr x Source # to :: Rep Ptr x -> Ptr Source #
NFData Ptr
Instance details Defined in Cardano.Ledger.Credential Methods rnf :: Ptr -> () Source #
ToCBOR Ptr
Instance details Defined in Cardano.Ledger.Credential Methods toCBOR :: Ptr -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy Ptr -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Ptr ] -> Size Source #
FromCBOR Ptr
Instance details Defined in Cardano.Ledger.Credential Methods fromCBOR :: Decoder s Ptr Source # label :: Proxy Ptr -> Text Source #
ToCBORGroup Ptr
Instance details Defined in Cardano.Ledger.Credential Methods toCBORGroup :: Ptr -> Encoding Source # encodedGroupSizeExpr :: ( forall x. ToCBOR x => Proxy x -> Size ) -> Proxy Ptr -> Size Source # listLen :: Ptr -> Word Source # listLenBound :: Proxy Ptr -> Word Source #
FromCBORGroup Ptr
Instance details Defined in Cardano.Ledger.Credential Methods fromCBORGroup :: Decoder s Ptr Source #
NoThunks Ptr
Instance details Defined in Cardano.Ledger.Credential Methods noThunks :: Context -> Ptr -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Ptr -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy Ptr -> String Source #
type Rep Ptr
Instance details Defined in Cardano.Ledger.Credential type Rep Ptr = D1 (' MetaData "Ptr" "Cardano.Ledger.Credential" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "Ptr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 SlotNo ) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 TxIx ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 CertIx ))))

data RewardAcnt crypto Source #

An account based address for rewards

Constructors

RewardAcnt
Fields getRwdNetwork :: ! Network getRwdCred :: !( Credential ' Staking crypto)

Instances

Instances details

Eq ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods (==) :: RewardAcnt crypto -> RewardAcnt crypto -> Bool Source # (/=) :: RewardAcnt crypto -> RewardAcnt crypto -> Bool Source #
Ord ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods compare :: RewardAcnt crypto -> RewardAcnt crypto -> Ordering Source # (<) :: RewardAcnt crypto -> RewardAcnt crypto -> Bool Source # (<=) :: RewardAcnt crypto -> RewardAcnt crypto -> Bool Source # (>) :: RewardAcnt crypto -> RewardAcnt crypto -> Bool Source # (>=) :: RewardAcnt crypto -> RewardAcnt crypto -> Bool Source # max :: RewardAcnt crypto -> RewardAcnt crypto -> RewardAcnt crypto Source # min :: RewardAcnt crypto -> RewardAcnt crypto -> RewardAcnt crypto Source #
Show ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods showsPrec :: Int -> RewardAcnt crypto -> ShowS Source # show :: RewardAcnt crypto -> String Source # showList :: [ RewardAcnt crypto] -> ShowS Source #
Generic ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Associated Types type Rep ( RewardAcnt crypto) :: Type -> Type Source # Methods from :: RewardAcnt crypto -> Rep ( RewardAcnt crypto) x Source # to :: Rep ( RewardAcnt crypto) x -> RewardAcnt crypto Source #
NFData ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods rnf :: RewardAcnt crypto -> () Source #
Crypto crypto => ToJSON ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods toJSON :: RewardAcnt crypto -> Value Source # toEncoding :: RewardAcnt crypto -> Encoding Source # toJSONList :: [ RewardAcnt crypto] -> Value Source # toEncodingList :: [ RewardAcnt crypto] -> Encoding Source #
Crypto crypto => ToJSONKey ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods toJSONKey :: ToJSONKeyFunction ( RewardAcnt crypto) Source # toJSONKeyList :: ToJSONKeyFunction [ RewardAcnt crypto] Source #
Crypto crypto => FromJSON ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods parseJSON :: Value -> Parser ( RewardAcnt crypto) Source # parseJSONList :: Value -> Parser [ RewardAcnt crypto] Source #
Crypto crypto => FromJSONKey ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods fromJSONKey :: FromJSONKeyFunction ( RewardAcnt crypto) Source # fromJSONKeyList :: FromJSONKeyFunction [ RewardAcnt crypto] Source #
Crypto crypto => ToCBOR ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods toCBOR :: RewardAcnt crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( RewardAcnt crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ RewardAcnt crypto] -> Size Source #
Crypto crypto => FromCBOR ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods fromCBOR :: Decoder s ( RewardAcnt crypto) Source # label :: Proxy ( RewardAcnt crypto) -> Text Source #
Crypto crypto => Default ( RewardAcnt crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods def :: RewardAcnt crypto Source #
NoThunks ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address Methods noThunks :: Context -> RewardAcnt crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> RewardAcnt crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( RewardAcnt crypto) -> String Source #
type Rep ( RewardAcnt crypto)
Instance details Defined in Cardano.Ledger.Address type Rep ( RewardAcnt crypto) = D1 (' MetaData "RewardAcnt" "Cardano.Ledger.Address" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "RewardAcnt" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getRwdNetwork") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Network ) :*: S1 (' MetaSel (' Just "getRwdCred") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Credential ' Staking crypto))))

newtype StakeCreds crypto Source #

Constructors

StakeCreds
Fields unStakeCreds :: Map ( Credential ' Staking crypto) SlotNo

Instances

Instances details

Eq ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: StakeCreds crypto -> StakeCreds crypto -> Bool Source # (/=) :: StakeCreds crypto -> StakeCreds crypto -> Bool Source #
Show ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> StakeCreds crypto -> ShowS Source # show :: StakeCreds crypto -> String Source # showList :: [ StakeCreds crypto] -> ShowS Source #
Generic ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( StakeCreds crypto) :: Type -> Type Source # Methods from :: StakeCreds crypto -> Rep ( StakeCreds crypto) x Source # to :: Rep ( StakeCreds crypto) x -> StakeCreds crypto Source #
NFData ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: StakeCreds crypto -> () Source #
Crypto crypto => ToJSON ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toJSON :: StakeCreds crypto -> Value Source # toEncoding :: StakeCreds crypto -> Encoding Source # toJSONList :: [ StakeCreds crypto] -> Value Source # toEncodingList :: [ StakeCreds crypto] -> Encoding Source #
Crypto crypto => FromJSON ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods parseJSON :: Value -> Parser ( StakeCreds crypto) Source # parseJSONList :: Value -> Parser [ StakeCreds crypto] Source #
Crypto crypto => ToCBOR ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: StakeCreds crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( StakeCreds crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ StakeCreds crypto] -> Size Source #
Crypto crypto => FromCBOR ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( StakeCreds crypto) Source # label :: Proxy ( StakeCreds crypto) -> Text Source #
NoThunks ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> StakeCreds crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> StakeCreds crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( StakeCreds crypto) -> String Source #
HasExp ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo ) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toExp :: StakeCreds era -> Exp ( Map ( Credential ' Staking era) SlotNo ) Source #
Embed ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo ) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toBase :: StakeCreds era -> Map ( Credential ' Staking era) SlotNo Source # fromBase :: Map ( Credential ' Staking era) SlotNo -> StakeCreds era Source #
type Rep ( StakeCreds crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( StakeCreds crypto) = D1 (' MetaData "StakeCreds" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "StakeCreds" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unStakeCreds") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( Credential ' Staking crypto) SlotNo ))))

data StakePoolRelay Source #

Constructors

SingleHostAddr !( StrictMaybe Port ) !( StrictMaybe IPv4 ) !( StrictMaybe IPv6 )	One or both of IPv4 & IPv6
SingleHostName !( StrictMaybe Port ) ! DnsName	An `A` or `AAAA` DNS record
MultiHostName ! DnsName	A `SRV` DNS record

Instances

Instances details

Eq StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: StakePoolRelay -> StakePoolRelay -> Bool Source # (/=) :: StakePoolRelay -> StakePoolRelay -> Bool Source #
Ord StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods compare :: StakePoolRelay -> StakePoolRelay -> Ordering Source # (<) :: StakePoolRelay -> StakePoolRelay -> Bool Source # (<=) :: StakePoolRelay -> StakePoolRelay -> Bool Source # (>) :: StakePoolRelay -> StakePoolRelay -> Bool Source # (>=) :: StakePoolRelay -> StakePoolRelay -> Bool Source # max :: StakePoolRelay -> StakePoolRelay -> StakePoolRelay Source # min :: StakePoolRelay -> StakePoolRelay -> StakePoolRelay Source #
Show StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> StakePoolRelay -> ShowS Source # show :: StakePoolRelay -> String Source # showList :: [ StakePoolRelay ] -> ShowS Source #
Generic StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep StakePoolRelay :: Type -> Type Source # Methods from :: StakePoolRelay -> Rep StakePoolRelay x Source # to :: Rep StakePoolRelay x -> StakePoolRelay Source #
NFData StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: StakePoolRelay -> () Source #
ToJSON StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toJSON :: StakePoolRelay -> Value Source # toEncoding :: StakePoolRelay -> Encoding Source # toJSONList :: [ StakePoolRelay ] -> Value Source # toEncodingList :: [ StakePoolRelay ] -> Encoding Source #
FromJSON StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods parseJSON :: Value -> Parser StakePoolRelay Source # parseJSONList :: Value -> Parser [ StakePoolRelay ] Source #
ToCBOR StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: StakePoolRelay -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy StakePoolRelay -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ StakePoolRelay ] -> Size Source #
FromCBOR StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s StakePoolRelay Source # label :: Proxy StakePoolRelay -> Text Source #
NoThunks StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> StakePoolRelay -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> StakePoolRelay -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy StakePoolRelay -> String Source #
type Rep StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep StakePoolRelay = D1 (' MetaData "StakePoolRelay" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "SingleHostAddr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe Port )) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe IPv4 )) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe IPv6 )))) :+: ( C1 (' MetaCons "SingleHostName" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe Port )) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 DnsName )) :+: C1 (' MetaCons "MultiHostName" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 DnsName ))))

newtype TxBody era Source #

Constructors

TxBodyConstr ( MemoBytes ( TxBodyRaw era))

Bundled Patterns

pattern TxBody :: ( Era era, FromCBOR ( PParamsDelta era), TransTxBody ToCBOR era) => Set ( TxIn ( Crypto era)) -> StrictSeq ( TxOut era) -> StrictSeq ( DCert ( Crypto era)) -> Wdrl ( Crypto era) -> Coin -> SlotNo -> StrictMaybe ( Update era) -> StrictMaybe ( AuxiliaryDataHash ( Crypto era)) -> TxBody era

Pattern for use by external users

Instances

Instances details

HasField "ttl" ( TxBody era) SlotNo Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> SlotNo Source #
HasField "txfee" ( TxBody era) Coin Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Coin Source #
Crypto era ~ crypto => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> StrictMaybe ( AuxiliaryDataHash crypto) Source #
Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> StrictSeq ( DCert crypto) Source #
Crypto era ~ crypto => HasField "inputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Set ( TxIn crypto) Source #
c ~ Crypto era => HasField "minted" ( TxBody era) ( Set ( ScriptHash c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Set ( ScriptHash c) Source #
TxOut era ~ out => HasField "outputs" ( TxBody era) ( StrictSeq out) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> StrictSeq out Source #
c ~ Crypto era => HasField "txinputs_fee" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> StrictMaybe ( Update era) Source #
Crypto era ~ crypto => HasField "wdrls" ( TxBody era) ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Wdrl crypto Source #
( Era era, TransTxBody Eq era) => Eq ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: TxBody era -> TxBody era -> Bool Source # (/=) :: TxBody era -> TxBody era -> Bool Source #
( Era era, TransTxBody Show era) => Show ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> TxBody era -> ShowS Source # show :: TxBody era -> String Source # showList :: [ TxBody era] -> ShowS Source #
Generic ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( TxBody era) :: Type -> Type Source # Methods from :: TxBody era -> Rep ( TxBody era) x Source # to :: Rep ( TxBody era) x -> TxBody era Source #
( NFData ( TxOut era), Crypto ( Crypto era), NFData ( PParamsDelta era)) => NFData ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: TxBody era -> () Source #
Era era => ToCBOR ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: TxBody era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxBody era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxBody era] -> Size Source #
( Era era, FromCBOR ( TxOut era), FromCBOR ( PParamsDelta era), ToCBOR ( PParamsDelta era)) => FromCBOR ( Annotator ( TxBody era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( Annotator ( TxBody era)) Source # label :: Proxy ( Annotator ( TxBody era)) -> Text Source #
SafeToHash ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods originalBytes :: TxBody era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> TxBody era -> SafeHash c index Source #
( TransTxBody NoThunks era, Typeable era) => NoThunks ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxBody era) -> String Source #
( Era era, c ~ Crypto era) => HashAnnotated ( TxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods indexProxy :: TxBody era -> Proxy EraIndependentTxBody Source #
type Rep ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( TxBody era) = D1 (' MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "TxBodyConstr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MemoBytes ( TxBodyRaw era)))))

data TxBodyRaw era Source #

Constructors

TxBodyRaw
Fields _inputsX :: !( Set ( TxIn ( Crypto era))) _outputsX :: !( StrictSeq ( TxOut era)) _certsX :: !( StrictSeq ( DCert ( Crypto era))) _wdrlsX :: !( Wdrl ( Crypto era)) _txfeeX :: ! Coin _ttlX :: ! SlotNo _txUpdateX :: !( StrictMaybe ( Update era)) _mdHashX :: !( StrictMaybe ( AuxiliaryDataHash ( Crypto era)))

Instances

Instances details

( Era era, TransTxBody Eq era) => Eq ( TxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: TxBodyRaw era -> TxBodyRaw era -> Bool Source # (/=) :: TxBodyRaw era -> TxBodyRaw era -> Bool Source #
( Era era, TransTxBody Show era) => Show ( TxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> TxBodyRaw era -> ShowS Source # show :: TxBodyRaw era -> String Source # showList :: [ TxBodyRaw era] -> ShowS Source #
Generic ( TxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( TxBodyRaw era) :: Type -> Type Source # Methods from :: TxBodyRaw era -> Rep ( TxBodyRaw era) x Source # to :: Rep ( TxBodyRaw era) x -> TxBodyRaw era Source #
( NFData ( TxOut era), Crypto ( Crypto era), NFData ( PParamsDelta era)) => NFData ( TxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: TxBodyRaw era -> () Source #
( Era era, FromCBOR ( PParamsDelta era), TransTxBody ToCBOR era) => ToCBOR ( TxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: TxBodyRaw era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxBodyRaw era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxBodyRaw era] -> Size Source #
( TransTxBody FromCBOR era, ToCBOR ( PParamsDelta era), Era era) => FromCBOR ( Annotator ( TxBodyRaw era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( Annotator ( TxBodyRaw era)) Source # label :: Proxy ( Annotator ( TxBodyRaw era)) -> Text Source #
( FromCBOR ( TxOut era), Era era, FromCBOR ( PParamsDelta era), ToCBOR ( PParamsDelta era)) => FromCBOR ( TxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( TxBodyRaw era) Source # label :: Proxy ( TxBodyRaw era) -> Text Source #
TransTxBody NoThunks era => NoThunks ( TxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> TxBodyRaw era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxBodyRaw era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxBodyRaw era) -> String Source #
type Rep ( TxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( TxBodyRaw era) = D1 (' MetaData "TxBodyRaw" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "TxBodyRaw" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "_inputsX") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Set ( TxIn ( Crypto era)))) :: S1 (' MetaSel (' Just "_outputsX") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictSeq ( TxOut era)))) :: ( S1 (' MetaSel (' Just "_certsX") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictSeq ( DCert ( Crypto era)))) :: S1 (' MetaSel (' Just "_wdrlsX") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Wdrl ( Crypto era))))) :: (( S1 (' MetaSel (' Just "_txfeeX") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ) :: S1 (' MetaSel (' Just "_ttlX") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SlotNo )) :: ( S1 (' MetaSel (' Just "_txUpdateX") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe ( Update era))) :*: S1 (' MetaSel (' Just "_mdHashX") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe ( AuxiliaryDataHash ( Crypto era))))))))

data EraIndependentTxBody Source #

Instances

Instances details

( Era era, c ~ Crypto era) => HashAnnotated ( TxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods indexProxy :: TxBody era -> Proxy EraIndependentTxBody Source #

data TxOut era Source #

The output of a UTxO.

Constructors

TxOutCompact !( CompactAddr ( Crypto era)) !( CompactForm ( Value era))

Bundled Patterns

pattern TxOut :: ( Era era, Show ( Value era), Compactible ( Value era)) => Addr ( Crypto era) -> Value era -> TxOut era

Instances

Instances details

( Compactible v, v ~ Value era) => HasField "value" ( TxOut era) v Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxOut era -> v Source #
TransTxOut Eq era => Eq ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: TxOut era -> TxOut era -> Bool Source # (/=) :: TxOut era -> TxOut era -> Bool Source #
( TransTxOut Show era, Era era) => Show ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> TxOut era -> ShowS Source # show :: TxOut era -> String Source # showList :: [ TxOut era] -> ShowS Source #
NFData ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: TxOut era -> () Source #
( Era era, TransTxOut ToCBOR era) => ToCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: TxOut era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxOut era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxOut era] -> Size Source #
( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( TxOut era) Source # label :: Proxy ( TxOut era) -> Text Source #
( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromSharedCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Share ( TxOut era) Source # Methods getShare :: TxOut era -> Share ( TxOut era) Source # fromSharedCBOR :: Share ( TxOut era) -> Decoder s ( TxOut era) Source # fromSharedPlusCBOR :: StateT ( Share ( TxOut era)) ( Decoder s) ( TxOut era) Source #
( Crypto ( Crypto era), HeapWords ( CompactForm ( Value era))) => HeapWords ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods heapWords :: TxOut era -> Int Source #
NoThunks ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxOut era) -> String Source #
type Share ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Share ( TxOut era) = Interns ( Credential ' Staking ( Crypto era))

data Url Source #

Instances

Instances details

Eq Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: Url -> Url -> Bool Source # (/=) :: Url -> Url -> Bool Source #
Ord Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: Url -> Url -> Ordering Source # (<) :: Url -> Url -> Bool Source # (<=) :: Url -> Url -> Bool Source # (>) :: Url -> Url -> Bool Source # (>=) :: Url -> Url -> Bool Source # max :: Url -> Url -> Url Source # min :: Url -> Url -> Url Source #
Show Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> Url -> ShowS Source # show :: Url -> String Source # showList :: [ Url ] -> ShowS Source #
Generic Url
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Url :: Type -> Type Source # Methods from :: Url -> Rep Url x Source # to :: Rep Url x -> Url Source #
NFData Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: Url -> () Source #
ToJSON Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON :: Url -> Value Source # toEncoding :: Url -> Encoding Source # toJSONList :: [ Url ] -> Value Source # toEncodingList :: [ Url ] -> Encoding Source #
FromJSON Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Url Source # parseJSONList :: Value -> Parser [ Url ] Source #
ToCBOR Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: Url -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy Url -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Url ] -> Size Source #
FromCBOR Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s Url Source # label :: Proxy Url -> Text Source #
NoThunks Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> Url -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Url -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy Url -> String Source #
type Rep Url
Instance details Defined in Cardano.Ledger.BaseTypes type Rep Url = D1 (' MetaData "Url" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "Url" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "urlToText") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Text )))

newtype Wdrl crypto Source #

Constructors

Wdrl
Fields unWdrl :: Map ( RewardAcnt crypto) Coin

Instances

Instances details

Crypto era ~ crypto => HasField "wdrls" ( TxBody era) ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Wdrl crypto Source #
Eq ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: Wdrl crypto -> Wdrl crypto -> Bool Source # (/=) :: Wdrl crypto -> Wdrl crypto -> Bool Source #
Show ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> Wdrl crypto -> ShowS Source # show :: Wdrl crypto -> String Source # showList :: [ Wdrl crypto] -> ShowS Source #
Generic ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( Wdrl crypto) :: Type -> Type Source # Methods from :: Wdrl crypto -> Rep ( Wdrl crypto) x Source # to :: Rep ( Wdrl crypto) x -> Wdrl crypto Source #
NFData ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: Wdrl crypto -> () Source #
Crypto crypto => ToCBOR ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: Wdrl crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Wdrl crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Wdrl crypto] -> Size Source #
Crypto crypto => FromCBOR ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( Wdrl crypto) Source # label :: Proxy ( Wdrl crypto) -> Text Source #
NoThunks ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> Wdrl crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Wdrl crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Wdrl crypto) -> String Source #
type Rep ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( Wdrl crypto) = D1 (' MetaData "Wdrl" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "Wdrl" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unWdrl") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( RewardAcnt crypto) Coin ))))

data WitVKey kr crypto where Source #

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

Bundled Patterns

pattern WitVKey :: ( Typeable kr, Crypto crypto) => VKey kr crypto -> SignedDSIGN crypto ( Hash crypto EraIndependentTxBody ) -> WitVKey kr crypto

Instances

Instances details

(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( WitnessSet era) ( Set ( WitVKey ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: WitnessSet era -> Set ( WitVKey ' Witness c) Source #
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( Tx era) ( Set ( WitVKey ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Set ( WitVKey ' Witness c) Source #
( Typeable kr, Crypto crypto) => FromCBOR ( Annotator ( WitVKey kr crypto)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( Annotator ( WitVKey kr crypto)) Source # label :: Proxy ( Annotator ( WitVKey kr crypto)) -> Text Source #
Crypto crypto => Eq ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # (/=) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source #
( Typeable kr, Crypto crypto) => Ord ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods compare :: WitVKey kr crypto -> WitVKey kr crypto -> Ordering Source # (<) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # (<=) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # (>) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # (>=) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source # max :: WitVKey kr crypto -> WitVKey kr crypto -> WitVKey kr crypto Source # min :: WitVKey kr crypto -> WitVKey kr crypto -> WitVKey kr crypto Source #
Crypto crypto => Show ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> WitVKey kr crypto -> ShowS Source # show :: WitVKey kr crypto -> String Source # showList :: [ WitVKey kr crypto] -> ShowS Source #
Generic ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep ( WitVKey kr crypto) :: Type -> Type Source # Methods from :: WitVKey kr crypto -> Rep ( WitVKey kr crypto) x Source # to :: Rep ( WitVKey kr crypto) x -> WitVKey kr crypto Source #
NFData ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: WitVKey kr crypto -> () Source #
( Typeable kr, Crypto crypto) => ToCBOR ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: WitVKey kr crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( WitVKey kr crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ WitVKey kr crypto] -> Size Source #
( Crypto crypto, Typeable kr) => NoThunks ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> WitVKey kr crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> WitVKey kr crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( WitVKey kr crypto) -> String Source #
type Rep ( WitVKey kr crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep ( WitVKey kr crypto) = D1 (' MetaData "WitVKey" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "WitVKey'" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "wvkKey'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( VKey kr crypto)) :: S1 (' MetaSel (' Just "wvkSig'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SignedDSIGN crypto ( Hash crypto EraIndependentTxBody )))) :: ( S1 (' MetaSel (' Just "wvkKeyHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' Witness crypto)) :*: S1 (' MetaSel (' Just "wvkBytes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString ))))

witKeyHash :: WitVKey kr crypto -> KeyHash ' Witness crypto Source #

data SizeOfPoolOwners Source #

The size of the _poolOwners Set . Only used to compute size of encoded PoolParams .

Constructors

SizeOfPoolOwners

Instances

Instances details

ToCBOR SizeOfPoolOwners Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: SizeOfPoolOwners -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy SizeOfPoolOwners -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SizeOfPoolOwners ] -> Size Source #

data SizeOfPoolRelays Source #

The size of the _poolRelays Set . Only used to compute size of encoded PoolParams .

Constructors

SizeOfPoolRelays

Instances

Instances details

ToCBOR SizeOfPoolRelays Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: SizeOfPoolRelays -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy SizeOfPoolRelays -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SizeOfPoolRelays ] -> Size Source #

type TransTxId (c :: Type -> Constraint ) era = ( HashAnnotated ( TxBody era) EraIndependentTxBody ( Crypto era), ToCBOR ( TxBody era), ToCBOR ( TxOut era), TransValue ToCBOR era, TransValue c era) Source #

type TransTxOut (c :: Type -> Constraint ) era = (c ( Value era), Compactible ( Value era)) Source #

type TransTxBody (c :: Type -> Constraint ) era = (c ( TxOut era), c ( PParamsDelta era), HashAnnotated ( TxBody era) EraIndependentTxBody ( Crypto era)) Source #