plutus-metatheory-1.65.0.0: Command line tool for running plutus core programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Untyped.Reduction

Documentation

d_Arity_4 ∷ () Source #

data T_Arity_4 Source #

Constructors

C_no'45'builtin_6
C_want_8 Integer Integer

d_want'45'injective'8320'_18 ∷ Integer → Integer → Integer → Integer → T__'8801'__12 → T__'8801'__12 Source #

d_want'45'injective'8321'_28 ∷ Integer → Integer → Integer → Integer → T__'8801'__12 → T__'8801'__12 Source #

d_interleave'45'error_32 ∷ a Source #

d_sat_36 ∷ Integer → T__'8866'_14 → T_Arity_4 Source #

du_sat_36 ∷ T__'8866'_14 → T_Arity_4 Source #

d_sat'45'app'45'step_114 ∷ Integer → Integer → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → T__'8801'__12 Source #

d_sat'45'force'45'step_138 ∷ Integer → Integer → Integer → T__'8866'_14 → T__'8801'__12 → T__'8801'__12 Source #

d_nat'45'threshold_158 ∷ Integer → Integer → T__'8804'__22 → T__'8804'__22 → T__'8801'__12 Source #

d_Value_180 ∷ p → () Source #

d_value'45'constr'45'recurse_230 ∷ Integer → [T__'8866'_14] → T_Value_180 → T_All_44 Source #

du_value'45'constr'45'recurse_230 ∷ T_Value_180 → T_All_44 Source #

d_iterApp_238 ∷ Integer → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 Source #

du_iterApp_238 ∷ T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 Source #

d_reduceBuiltin_248 ∷ a Source #

d__'10230'__250 ∷ p → p → () Source #

data T__'10230'__250 Source #

Constructors

C_ξ'8321'_258 T__'10230'__250
C_ξ'8322'_266 T_Value_180 T__'10230'__250
C_ξ'8323'_272 T__'10230'__250
C_β_278 T_Value_180
C_force'45'delay_282
C_error'8321'_286
C_error'8322'_290
C_force'45'error_292
C_sat'45'app'45'builtin_298
C_sat'45'force'45'builtin_302
C_case'45'constr_312 T__'8866'_14
C_broken'45'const_320
C_constr'45'step_330 T__'10230'__250
C_constr'45'sub'45'step_340 T__'10230'__250
C_constr'45'error_346
C_constr'45'sub'45'error_354 T__'10230'__250
C_force'45'ƛ_358
C_force'45'con_362
C_force'45'constr_368
C_force'45'interleave'45'error_374 Integer
C_app'45'interleave'45'error_384 Integer Integer
C_app'45'con_390
C_app'45'delay_396
C_app'45'constr_404
C_case'45'error_408
C_case'45'ƛ_414
C_case'45'delay_420
C_case'45'con_426
C_case'45'builtin_432
C_case'45'unsat'8320'_442 Integer Integer
C_case'45'unsat'8321'_450 Integer
C_case'45'reduce_458 T__'10230'__250

d__'10230''42'__460 ∷ p → p → () Source #

data T__'10230''42'__460 Source #

Constructors

C_refl_464
C_trans_472 T__'8866'_14 T__'10230'__250 T__'10230''42'__460

d_tran'45''10230''42'_480 ∷ T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'10230''42'__460 → T__'10230''42'__460 → T__'10230''42'__460 Source #

du_tran'45''10230''42'_480 ∷ T__'10230''42'__460 → T__'10230''42'__460 → T__'10230''42'__460 Source #

d_irred_496 ∷ T__'8866'_14 → () Source #

d_value_502 ∷ T__'8866'_14 → () Source #

d_irred'45'constr_510 ∷ Integer → [T__'8866'_14] → T_All_44 → T__'8866'_14 → T__'10230'__250 → T_Irrelevant_20 Source #

d_unsaturated_562 ∷ p → () Source #

data T_unsaturated_562 Source #

Constructors

C_arg'45'arg_570 Integer T_Value_180 T_Value_180
C_force'45'force'45'args_578 Integer Integer T_Value_180
C_force'45'args_584 Integer T_Value_180

d_irred'45'unsaturated_588 ∷ a Source #

d_V'45'v_592 ∷ T__'8866'_14 → T_Value_180 → T_Σ_14 Source #

du_V'45'v_592 ∷ T_Value_180 → T_Σ_14 Source #

d_V'45'v'42'_596 ∷ [T__'8866'_14] → T_All_44 → T_All_44 Source #

d_value'45'Value_620 ∷ a Source #

d_Progress_624 ∷ p → () Source #

data T_Progress_624 Source #

Constructors

C_step_630 T__'8866'_14 T__'10230'__250
C_done_634 T_Value_180
C_fail_636

d_progress_640 ∷ T__'8866'_14 → T_Progress_624 Source #

d__'8773'__1308 ∷ p → p → () Source #

data T__'8773'__1308 Source #

Constructors

C_reduce_1316 T__'8866'_14 T__'10230''42'__460 T__'10230''42'__460

d_refl'45''8773'_1320 ∷ T__'8866'_14 → T__'8773'__1308 Source #

d_integer_1322 ∷ T__'8866''9839'_4 Source #

d_con'45'integer_1326 ∷ Integer → Integer → T__'8866'_14 Source #

du_con'45'integer_1326 ∷ Integer → T__'8866'_14 Source #

d_ex1_1338 ∷ T__'8866'_14 Source #

d_ex2_1340 ∷ T__'8866'_14 Source #