| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.TxGenerator.Utils
Synopsis
- inputsToOutputsWithFee :: Lovelace -> Int -> [Lovelace] -> [Lovelace]
- liftAnyEra :: (forall era. IsCardanoEra era => f1 era -> f2 era) -> InAnyCardanoEra f1 -> InAnyCardanoEra f2
- keyAddress :: forall era. IsShelleyBasedEra era => NetworkId -> SigningKey PaymentKey -> AddressInEra era
- includeChange :: Lovelace -> [Lovelace] -> [Lovelace] -> PayWithChange
- mkTxFee :: IsShelleyBasedEra era => Lovelace -> TxFee era
- mkTxValidityUpperBound :: forall era. IsShelleyBasedEra era => SlotNo -> TxValidityUpperBound era
- mkTxInModeCardano :: IsShelleyBasedEra era => Tx era -> TxInMode
Documentation
liftAnyEra :: (forall era. IsCardanoEra era => f1 era -> f2 era) -> InAnyCardanoEra f1 -> InAnyCardanoEra f2 Source #
liftAnyEra applies a function to the value in InAnyCardanoEra
regardless of which particular era.
keyAddress :: forall era. IsShelleyBasedEra era => NetworkId -> SigningKey PaymentKey -> AddressInEra era Source #
keyAddress determines an address for the relevant era.
includeChange :: Lovelace -> [Lovelace] -> [Lovelace] -> PayWithChange Source #
includeChange gets use made of it as a value splitter in
sourceToStoreTransactionNew by
evalGenerator.
mkTxValidityUpperBound :: forall era. IsShelleyBasedEra era => SlotNo -> TxValidityUpperBound era Source #
mkTxValidityUpperBound rules out needing the
TxValidityNoUpperBound with the constraint of IsShelleyBasedEra.
mkTxInModeCardano :: IsShelleyBasedEra era => Tx era -> TxInMode Source #
mkTxInModeCardano never uses the TxInByronSpecial constructor
because its type enforces it being a Shelley-based era.