ytxp-plutarch-0.1.0: Control scripts, types, and utilities for the YTxP architecture
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.YTxP.Control.Yielding.Scripts

Synopsis
  • scripts :: Config -> RawScriptExport
  • yieldingV :: forall (s :: S). Term s (PCurrencySymbol :--> (PData :--> (PData :--> (PScriptContext :--> POpaque))))
  • yieldingMP :: forall (s :: S). Term s (PCurrencySymbol :--> (PInteger :--> (PData :--> (PScriptContext :--> POpaque))))
  • yieldingSV :: forall (s :: S). Term s (PCurrencySymbol :--> (PInteger :--> (PData :--> (PScriptContext :--> POpaque))))

RawScriptExport exporter

scripts :: Config -> RawScriptExport Source #

Exports the yielding validator, yielding minting policy and yielding staking validator from a given Plutarch Config

Plutarch validators

yieldingV :: forall (s :: S). Term s (PCurrencySymbol :--> (PData :--> (PData :--> (PScriptContext :--> POpaque)))) Source #

Yielding Validator

yieldingMP :: forall (s :: S). Term s (PCurrencySymbol :--> (PInteger :--> (PData :--> (PScriptContext :--> POpaque)))) Source #

Yielding Minting Policy

yieldingSV :: forall (s :: S). Term s (PCurrencySymbol :--> (PInteger :--> (PData :--> (PScriptContext :--> POpaque)))) Source #

Yielding Staking Validator