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 Value
txSkelOutValueAutoAdjustL :: Lens' TxSkelOut Bool
txSkelOutDatumL :: Lens' TxSkelOut TxSkelOutDatum
txSkelOutReferenceScriptL :: Lens' TxSkelOut TxSkelOutReferenceScript
txSkelOutStakingCredentialL :: Lens' TxSkelOut (Maybe StakingCredential)
txSkelOutValidatorAT :: AffineTraversal' TxSkelOut (Versioned Validator)
class IsTxSkelOutAllowedOwner a where
- toPKHOrValidator :: a -> Either PubKeyHash (Versioned Validator)
type OwnerConstrs owner = (IsTxSkelOutAllowedOwner owner, Typeable owner, Show owner)
txSkelOutCredentialG :: Getter TxSkelOut Credential
txSkelOutAddressG :: Getter TxSkelOut Address
txSkelOutPKHashAT :: AffineTraversal' TxSkelOut PubKeyHash
txSkelOutTypedOwnerAT :: (OwnerConstrs a, OwnerConstrs b) => AffineTraversal TxSkelOut TxSkelOut a b
txSkelOutValidatorHashAF :: AffineFold TxSkelOut ValidatorHash
valueAssetClassAmountL :: ToMintingPolicyHash mp => mp -> TokenName -> Lens' Value Integer
lovelaceIntegerI :: Iso' Lovelace Integer
valueLovelaceL :: Lens' Value Lovelace
valueAssetClassAmountP :: ToMintingPolicyHash mp => mp -> TokenName -> Prism' Value Integer
valueLovelaceP :: Prism' Value Lovelace
ownerCredentialG :: IsTxSkelOutAllowedOwner owner => Getter owner Credential

Documentation

data TxSkelOut where Source #

A rich output to be put into a TxSkel

Constructors

TxSkelOut
Fields :: OwnerConstrs owner => { txSkelOutOwner :: owner , txSkelOutStakingCredential :: Maybe StakingCredential , txSkelOutDatum :: TxSkelOutDatum , txSkelOutValue :: Value , txSkelOutValueAutoAdjust :: Bool , txSkelOutReferenceScript :: TxSkelOutReferenceScript } -> TxSkelOut

Instances

Instances details

Monoid DoubleSatDelta Source #
Instance details Defined in Cooked.Attack.DoubleSat Methods mempty :: DoubleSatDelta # mappend :: DoubleSatDelta -> DoubleSatDelta -> DoubleSatDelta # mconcat :: [DoubleSatDelta] -> DoubleSatDelta #
Semigroup DoubleSatDelta Source #
Instance details Defined in Cooked.Attack.DoubleSat Methods (<>) :: DoubleSatDelta -> DoubleSatDelta -> DoubleSatDelta # sconcat :: NonEmpty DoubleSatDelta -> DoubleSatDelta # stimes :: Integral b => b -> DoubleSatDelta -> DoubleSatDelta #
Show TxSkelOut Source #
Instance details Defined in Cooked.Skeleton.Output Methods showsPrec :: Int -> TxSkelOut -> ShowS # show :: TxSkelOut -> String # showList :: [TxSkelOut] -> ShowS #
PrettyCooked TxSkelOut Source #
Instance details Defined in Cooked.Pretty.Skeleton Methods prettyCookedOpt :: PrettyCookedOpts -> TxSkelOut -> DocCooked Source # prettyCooked :: TxSkelOut -> DocCooked Source #
PrettyCookedList TxSkelOut Source #
Instance details Defined in Cooked.Pretty.Skeleton Methods prettyCookedOptList :: PrettyCookedOpts -> TxSkelOut -> [DocCooked] Source # prettyCookedOptListMaybe :: PrettyCookedOpts -> TxSkelOut -> [Maybe DocCooked] Source # prettyCookedList :: TxSkelOut -> [DocCooked] Source #
Eq TxSkelOut Source #
Instance details Defined in Cooked.Skeleton.Output Methods (==) :: TxSkelOut -> TxSkelOut -> Bool # (/=) :: TxSkelOut -> TxSkelOut -> Bool #
ToAddress TxSkelOut Source #
Instance details Defined in Cooked.Skeleton.Output Methods toAddress :: TxSkelOut -> Address #
ToCredential TxSkelOut Source #
Instance details Defined in Cooked.Skeleton.Output Methods toCredential :: TxSkelOut -> Credential #

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 Value Source #

A lens to get or set the Value from a TxSkelOut

txSkelOutValueAutoAdjustL :: Lens' TxSkelOut Bool Source #

A lens to get or set if the value can be auto-adjusted if needed

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

txSkelOutValidatorAT :: AffineTraversal' TxSkelOut (Versioned Validator) Source #

Returns the optional validator owning a given TxSkelOut

class IsTxSkelOutAllowedOwner a where Source #

A TxSkelOut can either be owned by a pubkeyhash or a versioned validator

Methods

toPKHOrValidator :: a -> Either PubKeyHash (Versioned Validator) Source #

Instances

Instances details

IsTxSkelOutAllowedOwner Wallet Source #
Instance details Defined in Cooked.Skeleton.Output Methods toPKHOrValidator :: Wallet -> Either PubKeyHash (Versioned Validator) Source #
IsTxSkelOutAllowedOwner PubKeyHash Source #
Instance details Defined in Cooked.Skeleton.Output Methods toPKHOrValidator :: PubKeyHash -> Either PubKeyHash (Versioned Validator) Source #
IsTxSkelOutAllowedOwner (Versioned Script) Source #
Instance details Defined in Cooked.Skeleton.Output Methods toPKHOrValidator :: Versioned Script -> Either PubKeyHash (Versioned Validator) Source #
IsTxSkelOutAllowedOwner (Versioned Validator) Source #
Instance details Defined in Cooked.Skeleton.Output Methods toPKHOrValidator :: Versioned Validator -> Either PubKeyHash (Versioned Validator) Source #
IsTxSkelOutAllowedOwner (TypedValidator a) Source #
Instance details Defined in Cooked.Skeleton.Output Methods toPKHOrValidator :: TypedValidator a -> Either PubKeyHash (Versioned Validator) Source #
IsTxSkelOutAllowedOwner (Either PubKeyHash (Versioned Validator)) Source #
Instance details Defined in Cooked.Skeleton.Output Methods toPKHOrValidator :: Either PubKeyHash (Versioned Validator) -> Either PubKeyHash (Versioned Validator) Source #
IsTxSkelOutAllowedOwner (MultiPurposeScript a) Source #
Instance details Defined in Cooked.Skeleton.Output Methods toPKHOrValidator :: MultiPurposeScript a -> Either PubKeyHash (Versioned Validator) Source #