plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.StdLib.Meta

Description

Functions that generate Plutus Core terms from Haskell values and vice versa.

Synopsis

Documentation

metaIntegerToNatTermLike term TyName Name uni fun ⇒ Integer → term () Source #

Convert an Integer to a nat. TODO: convert PLC's integer to nat instead.

metaEitherToSumTermLike term TyName Name uni fun ⇒ Type TyName uni () → Type TyName uni () → Either (term ()) (term ()) → term () Source #

Convert a Haskell Either to a PLC sum.

metaListToScottListTermLike term TyName Name uni fun ⇒ Type TyName uni () → [term ()] → term () Source #

Convert a Haskell list of Terms to a PLC list.