| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cooked.Skeleton.Output
Description
This module exposes outputs as they can be defined in a
TxSkel with various utilities around them.
Synopsis
- data TxSkelOut where
- TxSkelOut :: OwnerConstrs owner => {..} -> TxSkelOut
- receives :: OwnerConstrs owner => owner -> Payable els -> TxSkelOut
- txSkelOutValueL :: Lens' TxSkelOut TxSkelOutValue
- txSkelOutDatumL :: Lens' TxSkelOut TxSkelOutDatum
- txSkelOutReferenceScriptL :: Lens' TxSkelOut TxSkelOutReferenceScript
- txSkelOutStakingCredentialL :: Lens' TxSkelOut (Maybe StakingCredential)
- txSkelOutValue :: TxSkelOut -> Value
- txSkelOutValidator :: TxSkelOut -> Maybe (Versioned Validator)
- class IsTxSkelOutAllowedOwner a where
- toPKHOrValidator :: a -> Either PubKeyHash (Versioned Validator)
- txSkelOutReferenceScript :: TxSkelOut -> Maybe (Versioned Script)
- txSkelOutReferenceScriptHash :: TxSkelOut -> Maybe ScriptHash
- type OwnerConstrs owner = (IsTxSkelOutAllowedOwner owner, ToCredential owner, Typeable owner, Show owner)
- txSkelOutAddress :: TxSkelOut -> Address
- txSkelOutPKHash :: TxSkelOut -> Maybe PubKeyHash
- txSkelOutTypedOwnerAT :: OwnerConstrs a => AffineTraversal' TxSkelOut a
Documentation
A rich output to be put into a TxSkel
Constructors
| TxSkelOut | |
Fields
| |
Instances
| Monoid DoubleSatDelta Source # | |
Defined in Cooked.Attack.DoubleSat Methods mappend :: DoubleSatDelta -> DoubleSatDelta -> DoubleSatDelta # mconcat :: [DoubleSatDelta] -> DoubleSatDelta # | |
| Semigroup DoubleSatDelta Source # | |
Defined in Cooked.Attack.DoubleSat Methods (<>) :: DoubleSatDelta -> DoubleSatDelta -> DoubleSatDelta # sconcat :: NonEmpty DoubleSatDelta -> DoubleSatDelta # stimes :: Integral b => b -> DoubleSatDelta -> DoubleSatDelta # | |
| Show TxSkelOut Source # | |
| PrettyCooked TxSkelOut Source # | |
Defined in Cooked.Pretty.Skeleton Methods prettyCookedOpt :: PrettyCookedOpts -> TxSkelOut -> DocCooked Source # prettyCooked :: TxSkelOut -> DocCooked Source # | |
| PrettyCookedList TxSkelOut Source # | |
Defined in Cooked.Pretty.Skeleton Methods prettyCookedOptList :: PrettyCookedOpts -> TxSkelOut -> [DocCooked] Source # prettyCookedOptListMaybe :: PrettyCookedOpts -> TxSkelOut -> [Maybe DocCooked] Source # prettyCookedList :: TxSkelOut -> [DocCooked] Source # | |
| Eq TxSkelOut Source # | |
receives :: OwnerConstrs owner => owner -> Payable els -> TxSkelOut Source #
Smart constructor to build a TxSkelOut from an owner and payment. This
should be the main way of building outputs.
txSkelOutValueL :: Lens' TxSkelOut TxSkelOutValue Source #
A lens to get or set the TxSkelOutValue from a TxSkelOut
txSkelOutDatumL :: Lens' TxSkelOut TxSkelOutDatum Source #
A lens to get or set the TxSkelOutDatum from a TxSkelOut
txSkelOutReferenceScriptL :: Lens' TxSkelOut TxSkelOutReferenceScript Source #
A lens to get or set the TxSkelOutReferenceScript from a TxSkelOut
txSkelOutStakingCredentialL :: Lens' TxSkelOut (Maybe StakingCredential) Source #
A lens to get or set the 'Maybe Api.StakingCredential' from a TxSkelOut
txSkelOutValidator :: TxSkelOut -> Maybe (Versioned Validator) Source #
Returns the optional validator owning a given TxSkelOut
class IsTxSkelOutAllowedOwner a where Source #
Depicts the entities that are allowed to own a TxSkelOut
Methods
toPKHOrValidator :: a -> Either PubKeyHash (Versioned Validator) Source #
Instances
txSkelOutReferenceScript :: TxSkelOut -> Maybe (Versioned Script) Source #
Returns the optional reference script in a TxSkelOut
txSkelOutReferenceScriptHash :: TxSkelOut -> Maybe ScriptHash Source #
Returns the optional reference script hash in a TxSkelOut
type OwnerConstrs owner = (IsTxSkelOutAllowedOwner owner, ToCredential owner, Typeable owner, Show owner) Source #
Type constraints over the owner of a TxSkelOut
txSkelOutPKHash :: TxSkelOut -> Maybe PubKeyHash Source #
Returns the optional private key owning a given TxSkelOut
txSkelOutTypedOwnerAT :: OwnerConstrs a => AffineTraversal' TxSkelOut a Source #
Attempts to retrieve or set a typed owner from this TxSkelOut