| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Meta
Description
Functions that generate Plutus Core terms from Haskell values and vice versa.
Synopsis
- metaIntegerToNat :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => Integer -> term ()
- metaEitherToSum :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => Type TyName uni () -> Type TyName uni () -> Either (term ()) (term ()) -> term ()
- metaListToScottList :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => Type TyName uni () -> [term ()] -> term ()
Documentation
metaIntegerToNat :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => Integer -> term () Source #
Convert an Integer to a nat. TODO: convert PLC's integer to nat instead.