Skip to contentModuleplutus-tx-1.70.0.0
PlutusTx.Lift
Synopsis
vvaluelift :: (Lift uni a, ThrowableBuiltins uni fun, Typecheckable uni fun, GEq uni, Everywhere uni Eq, CaseBuiltin uni, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> (Term TyName Name uni fun (), Term NamedDeBruijn uni fun ())
vvalueliftProgram :: (Lift uni a, ThrowableBuiltins uni fun, Typecheckable uni fun, GEq uni, Everywhere uni Eq, CaseBuiltin uni, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> (Program TyName Name uni fun (), Program NamedDeBruijn uni fun ())
vvalueliftProgramUnopt :: (Lift uni a, ThrowableBuiltins uni fun, Typecheckable uni fun, GEq uni, Everywhere uni Eq, CaseBuiltin uni, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> (Program TyName Name uni fun (), Program NamedDeBruijn uni fun ())
vvalueliftUnopt :: (Lift uni a, ThrowableBuiltins uni fun, Typecheckable uni fun, GEq uni, Everywhere uni Eq, CaseBuiltin uni, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> (Term TyName Name uni fun (), Term NamedDeBruijn uni fun ())
vvaluesafeLift :: (Lift uni a, GEq uni, Everywhere uni Eq, MonadError (Error uni fun (Provenance ())) m, MonadQuote m, Typecheckable uni fun, CaseBuiltin uni, PrettyUni uni, Pretty fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> m (Term TyName Name uni fun (), Term NamedDeBruijn uni fun ())
vvaluesafeLiftCode :: (Lift uni a, GEq uni, Everywhere uni Eq, MonadError (Error uni fun (Provenance ())) m, MonadQuote m, Typecheckable uni fun, CaseBuiltin uni, PrettyUni uni, Pretty fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> m (CompiledCodeIn uni fun a)
vvaluesafeLiftCodeUnopt :: (Lift uni a, GEq uni, Everywhere uni Eq, MonadError (Error uni fun (Provenance ())) m, MonadQuote m, Typecheckable uni fun, CaseBuiltin uni, PrettyUni uni, Pretty fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> m (CompiledCodeIn uni fun a)
vvaluesafeLiftProgram :: (Lift uni a, GEq uni, Everywhere uni Eq, MonadError (Error uni fun (Provenance ())) m, MonadQuote m, Typecheckable uni fun, CaseBuiltin uni, PrettyUni uni, Pretty fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> m (Program TyName Name uni fun (), Program NamedDeBruijn uni fun ())
vvaluesafeLiftProgramUnopt :: (Lift uni a, GEq uni, Everywhere uni Eq, MonadError (Error uni fun (Provenance ())) m, MonadQuote m, Typecheckable uni fun, CaseBuiltin uni, PrettyUni uni, Pretty fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> m (Program TyName Name uni fun (), Program NamedDeBruijn uni fun ())
vvaluesafeLiftUnopt :: (Lift uni a, GEq uni, Everywhere uni Eq, MonadError (Error uni fun (Provenance ())) m, MonadQuote m, Typecheckable uni fun, CaseBuiltin uni, PrettyUni uni, Pretty fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Version-> a-> m (Term TyName Name uni fun (), Term NamedDeBruijn uni fun ())
vvaluesafeLiftWith :: (Lift uni a, GEq uni, Everywhere uni Eq, MonadError (Error uni fun (Provenance ())) m, MonadQuote m, Typecheckable uni fun, CaseBuiltin uni, PrettyUni uni, Pretty fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> CompilationOpts () -> CompilationOpts ()-> CompilationOpts Name fun (Provenance ()) -> CompilationOpts Name fun (Provenance ())-> Version-> a-> m (Term TyName Name uni fun (), Term NamedDeBruijn uni fun ())
vvaluetypeCheckAgainst :: (Typeable uni a, MonadError (Error uni fun (Provenance ())) m, MonadQuote m, GEq uni, Typecheckable uni fun, CaseBuiltin uni, PrettyUni uni, Pretty fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun))=> Proxy a-> Program TyName Name uni fun ()-> m ()
vvaluetypeCode :: (Typeable uni a, MonadError (Error uni fun (Provenance ())) m, MonadQuote m, GEq uni, Everywhere uni Eq, Typecheckable uni fun, CaseBuiltin uni, PrettyUni uni, Pretty fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun), Hashable fun)=> Proxy a-> Program TyName Name uni fun ()-> m (CompiledCodeIn uni fun a)
Instances3Show, Exception, Pretty