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

MAlonzo.Code.Untyped.Reduction

Documentation

d_Arity_4 :: () #

data T_Arity_4 #

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 #

d_want'45'injective'8321'_28 :: Integer -> Integer -> Integer -> Integer -> T__'8801'__12 -> T__'8801'__12 #

d_interleave'45'error_32 :: a #

d_sat_36 :: Integer -> T__'8866'_14 -> T_Arity_4 #

du_sat_36 :: T__'8866'_14 -> T_Arity_4 #

d_sat'45'app'45'step_114 :: Integer -> Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> T__'8801'__12 #

d_sat'45'force'45'step_138 :: Integer -> Integer -> Integer -> T__'8866'_14 -> T__'8801'__12 -> T__'8801'__12 #

d_nat'45'threshold_158 :: Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 -> T__'8801'__12 #

d_Value_182 :: p -> p -> () #

data T_Value_182 #

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 -> Integer -> [T__'8866'_14] -> T_Value_182 -> T_All_44 #

du_value'45'constr'45'recurse_234 :: T_Value_182 -> T_All_44 #

d_iterApp_242 :: Integer -> T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14 #

du_iterApp_242 :: T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14 #

d_reduceBuiltin_252 :: a #

d__'10230'__256 :: p -> p -> p -> () #

data T__'10230'__256 #

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 -> () #

data T__'10230''42'__470 #

Constructors

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

d_tran'45''10230''42'_494 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8866'_14 -> T__'10230''42'__470 -> T__'10230''42'__470 -> T__'10230''42'__470 #

du_tran'45''10230''42'_494 :: T__'10230''42'__470 -> T__'10230''42'__470 -> T__'10230''42'__470 #

d_Progress_514 :: p -> p -> () #

data T_Progress_514 #

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 #

d__'8773'__1202 :: p -> p -> p -> () #

data T__'8773'__1202 #

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 #

d_integer_1220 :: T__'8866''9839'_4 #

d_con'45'integer_1224 :: Integer -> Integer -> T__'8866'_14 #

du_con'45'integer_1224 :: Integer -> T__'8866'_14 #

d_ex1_1236 :: T__'8866'_14 #

d_ex2_1238 :: T__'8866'_14 #