plutus-core-1.0.0.1: Language library for Plutus Core
Safe Haskell None
Language Haskell2010

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 Term s to a PLC list .