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

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 ∷ () → 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 → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → T__'8801'__12 Source #

d_sat'45'force'45'step_138 ∷ () → 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_182 ∷ p → p → () Source #

data T_Value_182 Source #

Constructors

C_delay_188 
C_ƛ_192 
C_con_196 
C_builtin_200 
C_unsat'8320'_208 Integer Integer T_Value_182 
C_unsat'8320''8331''8321'_214 Integer T_Value_182 
C_unsat'8321'_222 Integer T_Value_182 T_Value_182 
C_constr_228 T_All_44 

d_value'45'constr'45'recurse_234 ∷ () → Integer → [T__'8866'_14] → T_Value_182 → T_All_44 Source #

du_value'45'constr'45'recurse_234 ∷ T_Value_182 → T_All_44 Source #

d_iterApp_242 ∷ () → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 Source #

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

d_reduceBuiltin_252 ∷ a Source #

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

data T__'10230'__256 Source #

Constructors

C_ξ'8321'_266 T__'10230'__256 
C_ξ'8322'_274 T_Value_182 T__'10230'__256 
C_ξ'8323'_280 T__'10230'__256 
C_β_286 T_Value_182 
C_force'45'delay_290 
C_error'8321'_294 
C_error'8322'_298 
C_force'45'error_300 
C_sat'45'app'45'builtin_306 
C_sat'45'force'45'builtin_310 
C_case'45'constr_320 T__'8866'_14 
C_broken'45'const_328 
C_constr'45'step_338 T__'10230'__256 
C_constr'45'sub'45'step_348 T__'10230'__256 
C_constr'45'error_354 
C_constr'45'sub'45'error_362 T__'10230'__256 
C_force'45'ƛ_366 
C_force'45'con_370 
C_force'45'constr_376 
C_force'45'interleave'45'error_382 Integer 
C_app'45'interleave'45'error_392 Integer Integer 
C_app'45'con_398 
C_app'45'delay_404 
C_app'45'constr_412 
C_case'45'error_416 
C_case'45'ƛ_422 
C_case'45'delay_428 
C_case'45'con_434 
C_case'45'builtin_440 
C_case'45'unsat'8320'_450 Integer Integer 
C_case'45'unsat'8321'_458 Integer 
C_case'45'reduce_466 T__'10230'__256 

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

data T__'10230''42'__470 Source #

Constructors

C_refl_476 
C_trans_484 T__'8866'_14 T__'10230'__256 T__'10230''42'__470 

d_tran'45''10230''42'_494 ∷ () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'10230''42'__470 → T__'10230''42'__470 → T__'10230''42'__470 Source #

du_tran'45''10230''42'_494 ∷ T__'10230''42'__470 → T__'10230''42'__470 → T__'10230''42'__470 Source #

d_Progress_514 ∷ p → p → () Source #

data T_Progress_514 Source #

Constructors

C_step_522 T__'8866'_14 T__'10230'__256 
C_done_526 T_Value_182 
C_fail_528 

d_progress_532 ∷ T__'8866'_14 → T_Progress_514 Source #

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

data T__'8773'__1202 Source #

Constructors

C_reduce_1212 T__'8866'_14 T__'10230''42'__470 T__'10230''42'__470 

d_refl'45''8773'_1218 ∷ T__'8866'_14 → T__'8773'__1202 Source #

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

d_con'45'integer_1224 ∷ () → Integer → T__'8866'_14 Source #

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

d_ex1_1236 ∷ T__'8866'_14 Source #

d_ex2_1238 ∷ T__'8866'_14 Source #