plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.IO.Primitive

Documentation

d_return_8 ∷ ∀ xa. ∀ xA. T_Level_18 → () → xA → T_IO_8 xa xA Source #

d__'62''62''61'__18 ∷ ∀ xa. ∀ xb. ∀ xA. ∀ xB. T_Level_18 → T_Level_18 → () → () → T_IO_8 xa xA → (xA → T_IO_8 xb xB) → T_IO_8 xb xB Source #

d_pure_20 ∷ T_Level_18 → () → AgdaAny → T_IO_8 AgdaAny AgdaAny Source #