Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.StdLib.Meta

Description

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

Synopsis

metaIntegerToNat ∷ TermLike term TyName Name uni fun ⇒ Integer → term ()
metaEitherToSum ∷ TermLike term TyName Name uni fun ⇒ Type TyName uni () → Type TyName uni () → Either (term ()) (term ()) → term ()
metaListToScottList ∷ TermLike term TyName Name uni fun ⇒ Type TyName uni () → [term ()] → term ()

Documentation

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

metaEitherToSum ∷ TermLike term TyName Name uni fun ⇒ Type TyName uni () → Type TyName uni () → Either (term ()) (term ()) → term () Source #

Convert a Haskell Either to a PLC sum.

metaListToScottList ∷ TermLike term TyName Name uni fun ⇒ Type TyName uni () → [term ()] → term () Source #

Convert a Haskell list of Terms to a PLC list.