Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleplutus-core-1.70.0.0

PlutusCore.StdLib.Meta

Synopsis

value metaEitherToSum
value metaIntegerToNat
value metaListToScottList

Packageplutus-core-1.70.0.0
Exports3
LicenceApache-2.0

valuemetaEitherToSum

:: TermLike term TyName Name uni fun
=> Type TyName uni ()
-> Type TyName uni ()
-> Either (term ()) (term ())
-> term ()

valuemetaIntegerToNat :: TermLike term TyName Name uni fun => Integer -> term ()

valuemetaListToScottList

:: TermLike term TyName Name uni fun
=> Type TyName uni ()
-> [term ()]
-> term ()