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