cooked-validators

Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.Skeleton.Output

Synopsis

data TxSkelOut where
- Pays :: (Show o, Typeable o, IsTxInfoOutput o, IsTxSkelOutAllowedOwner (OwnerType o), ToCredential (OwnerType o), Typeable (OwnerType o), DatumType o ~ TxSkelOutDatum, ValueType o ~ TxSkelOutValue, ToVersionedScript (ReferenceScriptType o), Show (OwnerType o), Show (ReferenceScriptType o), Typeable (ReferenceScriptType o)) => o -> TxSkelOut
receives :: (Show owner, Typeable owner, IsTxSkelOutAllowedOwner owner, ToCredential owner) => owner -> Payable els -> TxSkelOut
txSkelOutValueL :: Lens' TxSkelOut TxSkelOutValue
txSkelOutDatumL :: Lens' TxSkelOut TxSkelOutDatum
txSkelOutValue :: TxSkelOut -> Value
txSkelOutValidator :: TxSkelOut -> Maybe (Versioned Validator)
txSkelOutOwnerTypeP :: forall ownerType. (ToCredential ownerType, Show ownerType, IsTxSkelOutAllowedOwner ownerType, Typeable ownerType) => Prism' TxSkelOut (ConcreteOutput ownerType TxSkelOutDatum TxSkelOutValue (Versioned Script))
txSkelOutputDatumTypeAT :: (FromData a, Typeable a) => AffineTraversal' TxSkelOut a

Documentation

data TxSkelOut where Source #

Transaction outputs. The Pays constructor is really general, and you'll probably want to use the receives smart constructor in most cases.

Constructors

Pays :: (Show o, Typeable o, IsTxInfoOutput o, IsTxSkelOutAllowedOwner (OwnerType o), ToCredential (OwnerType o), Typeable (OwnerType o), DatumType o ~ TxSkelOutDatum, ValueType o ~ TxSkelOutValue, ToVersionedScript (ReferenceScriptType o), Show (OwnerType o), Show (ReferenceScriptType o), Typeable (ReferenceScriptType o)) => o -> 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 #
Eq TxSkelOut Source #
Instance details Defined in Cooked.Skeleton.Output Methods (==) :: TxSkelOut -> TxSkelOut -> Bool # (/=) :: TxSkelOut -> TxSkelOut -> Bool #

receives :: (Show owner, Typeable owner, IsTxSkelOutAllowedOwner owner, ToCredential owner) => owner -> Payable els -> TxSkelOut Source #

Smart constructor to build TxSkelOut from an owner and payment. This should be the main way of building outputs.

txSkelOutValueL :: Lens' TxSkelOut TxSkelOutValue Source #

txSkelOutDatumL :: Lens' TxSkelOut TxSkelOutDatum Source #

txSkelOutValue :: TxSkelOut -> Value Source #

txSkelOutValidator :: TxSkelOut -> Maybe (Versioned Validator) Source #

txSkelOutOwnerTypeP :: forall ownerType. (ToCredential ownerType, Show ownerType, IsTxSkelOutAllowedOwner ownerType, Typeable ownerType) => Prism' TxSkelOut (ConcreteOutput ownerType TxSkelOutDatum TxSkelOutValue (Versioned Script)) Source #

Decide if a transaction output has a certain owner and datum type.

txSkelOutputDatumTypeAT :: (FromData a, Typeable a) => AffineTraversal' TxSkelOut a Source #