plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.StdLib.Meta

Description

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

Synopsis

Documentation

metaIntegerToNat :: TermLike term TyName Name uni fun => Integer -> term () Source #

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.