agora-drep
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agora.Utils

Description

Plutarch utilities

Since: 1.0.0

Synopsis
  • psymbolValueOf :: forall (keys :: KeyGuarantees) (amounts :: AmountGuarantees) (s :: S). Term s (PCurrencySymbol :--> (PValue keys amounts :--> PInteger))
  • pcountIf :: forall (list :: (S -> Type) -> S -> Type) (a :: S -> Type) (s :: S). PIsListLike list a => Term s ((a :--> PBool) :--> (list a :--> PInteger))
  • pcurrencySymbolToScriptHash :: forall (s :: S). Term s (PAsData PCurrencySymbol) -> Term s (PAsData PScriptHash)
  • pscriptHashToCurrencySymbol :: forall (s :: S). Term s (PAsData PScriptHash) -> Term s (PAsData PCurrencySymbol)

Documentation

psymbolValueOf :: forall (keys :: KeyGuarantees) (amounts :: AmountGuarantees) (s :: S). Term s (PCurrencySymbol :--> (PValue keys amounts :--> PInteger)) Source #

Get the sum of all values belonging to a particular CurrencySymbol.

Since: 1.0.0

pcountIf :: forall (list :: (S -> Type) -> S -> Type) (a :: S -> Type) (s :: S). PIsListLike list a => Term s ((a :--> PBool) :--> (list a :--> PInteger)) Source #

Fused filter and length function for Plutarch lists

Since: 1.0.0

pcurrencySymbolToScriptHash :: forall (s :: S). Term s (PAsData PCurrencySymbol) -> Term s (PAsData PScriptHash) Source #

Extract PScriptHash of PCurrencySymbol

Since: 1.0.0

pscriptHashToCurrencySymbol :: forall (s :: S). Term s (PAsData PScriptHash) -> Term s (PAsData PCurrencySymbol) Source #

Convert a PScriptHash to PCurrencySymbol

Since: 1.0.0