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

MAlonzo.Code.Algorithmic.ReductionEC

Documentation

d_SigTy_6 ∷ p → p → p → p → p → p → p → p → p → p → () Source #

d_sig2SigTy_12 ∷ T_Sig_68 → T_SigTy_260 Source #

d_Value_28 ∷ p → p → () Source #

data T_Value_28 Source #

Constructors

C_V'45'ƛ_138 
C_V'45'Λ_146 
C_V'45'wrap_156 T_Value_28 
C_V'45'con_162 
C_V'45'I'8658'_184 T_Builtin_2 Integer T__'8724'_'8803'__120 Integer Integer T__'8724'_'8803'__120 T_SigTy_260 T_BApp_74 
C_V'45'IΠ_208 T_Builtin_2 Integer Integer T__'8724'_'8803'__120 Integer Integer T__'8724'_'8803'__120 T_SigTy_260 T_BApp_74 
C_V'45'constr_234 T_Bwd_6 T_IBwd_396 T_IIBwd_832 

d_VList_34 ∷ T_Bwd_6 → T_IBwd_396 → () Source #

d_deval_40 ∷ T__'8866'Nf'8902'__4 → T__'8866'__168 → T_Value_28 → T__'8866'__168 Source #

du_deval_40 ∷ T__'8866'__168 → T__'8866'__168 Source #

d_deval'45'VecList_48 ∷ Integer → T_Vec_28 → T_Vec_28 Source #

du_deval'45'VecList_48 ∷ T_Vec_28 → T_Vec_28 Source #

d_BApp_74 ∷ p → p → p → p → p → p → p → p → p → p → p → p → () Source #

data T_BApp_74 Source #

Constructors

C_base_78 
C_step_100 T_BApp_74 T_Value_28 
C_step'8902'_130 T_SigTy_260 T_BApp_74 

d_red2cekVal_240 ∷ T__'8866'Nf'8902'__4 → T__'8866'__168 → T_Value_28 → T_Value_52 Source #

d_red2cekBApp_266 ∷ T_Builtin_2 → Integer → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → Integer → T__'8724'_'8803'__120 → T__'8866'Nf'8902'__4 → T__'8866'__168 → T_SigTy_260 → T_BApp_74 → T_BApp_48 Source #

du_red2cekBApp_266 ∷ T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → T__'8866'__168 → T_BApp_74 → T_BApp_48 Source #

d_red2cekVal'45'VList_280 ∷ T_Bwd_6 → T_IBwd_396 → T_IIBwd_832 → T_IBwd_396 Source #

d_BUILTIN''_326 ∷ T_Builtin_2 → T__'8866'Nf'8902'__4 → T__'8866'__168 → Integer → T__'8724'_'8803'__120 → Integer → T__'8724'_'8803'__120 → T_SigTy_260 → T_BApp_74 → T__'8866'__168 Source #

du_BUILTIN''_326 ∷ T_Builtin_2 → T__'8866'Nf'8902'__4 → T__'8866'__168 → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → T_BApp_74 → T__'8866'__168 Source #

d_Error_338 ∷ p → p → p → p → () Source #

data T_Error_338 Source #

Constructors

C_E'45'error_346 

d_Frame_352 ∷ p → p → () Source #

data T_Frame_352 Source #

Constructors

C_'45''183'__358 T__'8866'__168 
C_'45''183'v_366 T__'8866'__168 T_Value_28 
C__'183''45'_374 T__'8866'__168 T_Value_28 
C_'45''183''8902'_382 T__'8866'Nf'8902'__4 
C_wrap'45'_390 
C_unwrap'45'_398 
C_constr'45'_420 T_Bwd_6 [T__'8866'Nf'8902'__4] T_Fin_10 [T__'8866'Nf'8902'__4] T__'8803'_'60''62''62'__684 T_IBwd_396 T_IIBwd_832 T_IList_302 
C_case'45'_428 T_Cases_162 

d__'91'_'93''7584'_434 ∷ T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T_Frame_352 → T__'8866'__168 → T__'8866'__168 Source #

du__'91'_'93''7584'_434 ∷ T__'8866'Nf'8902'__4 → T_Frame_352 → T__'8866'__168 → T__'8866'__168 Source #

d_EC_476 ∷ p → p → () Source #

data T_EC_476 Source #

Constructors

C_'91''93'_480 
C__l'183'__490 T__'8866'Nf'8902'__4 T_EC_476 T__'8866'__168 
C__'183'r__500 T__'8866'Nf'8902'__4 T__'8866'__168 T_Value_28 T_EC_476 
C__'183''8902'_'47'__512 T_Kind_476 T__'8866'Nf'8902'__4 T_EC_476 T__'8866'Nf'8902'__4 
C_wrap_522 T_EC_476 
C_unwrap_'47'__534 T_Kind_476 T__'8866'Nf'8902'__4 T__'8866'Nf'8902'__4 T_EC_476 
C_constr_558 T_Bwd_6 T__'8866'Nf'8902'__4 [T__'8866'Nf'8902'__4] T_Fin_10 [T__'8866'Nf'8902'__4] T__'8803'_'60''62''62'__684 T_IBwd_396 T_IIBwd_832 T_IList_302 T_EC_476 
C_case_568 Integer T_Vec_28 T_Cases_162 T_EC_476 

d__'91'_'93''7473'_574 ∷ T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T_EC_476 → T__'8866'__168 → T__'8866'__168 Source #

du__'91'_'93''7473'_574 ∷ T__'8866'Nf'8902'__4 → T_EC_476 → T__'8866'__168 → T__'8866'__168 Source #

d_applyCase_640 ∷ T__'8866'Nf'8902'__4 → [T__'8866'Nf'8902'__4] → T__'8866'__168 → T_IList_302 → T__'8866'__168 Source #

du_applyCase_640 ∷ [T__'8866'Nf'8902'__4] → T__'8866'__168 → T_IList_302 → T__'8866'__168 Source #

d__'8212''8594''8902'__652 ∷ p → p → p → () Source #

data T__'8212''8594''8902'__652 Source #

Constructors

C_β'45'ƛ_662 T_Value_28 
C_β'45'Λ_678 
C_β'45'wrap_694 T_Value_28 
C_β'45'builtin_720 Integer T_Builtin_2 T__'8724'_'8803'__120 Integer T__'8724'_'8803'__120 T_SigTy_260 T_BApp_74 T_Value_28 
C_β'45'case_746 T_Bwd_6 T_IBwd_396 T_IIBwd_832 

d__'8212''8594'__750 ∷ p → p → p → () Source #

data T__'8212''8594'__750 Source #

Constructors

C_ruleEC_766 T__'8866'Nf'8902'__4 T__'8866'__168 T__'8866'__168 T_EC_476 T__'8212''8594''8902'__652 
C_ruleErr_776 T__'8866'Nf'8902'__4 T_EC_476 

d__'8212''8608'__780 ∷ p → p → p → () Source #

data T__'8212''8608'__780 Source #

Constructors

C_refl'8212''8608'_786 
C_trans'8212''8608'_796 T__'8866'__168 T__'8212''8594'__750 T__'8212''8608'__780 

d_V'45'I_818 ∷ T_Builtin_2 → T__'8866'Nf'8902'__4 → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → T__'8724'_'8803'__120 → T_SigTy_260 → T__'8866'__168 → T_BApp_74 → T_Value_28 Source #

du_V'45'I_818 ∷ T_Builtin_2 → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → T__'8724'_'8803'__120 → T_SigTy_260 → T_BApp_74 → T_Value_28 Source #

d_ival_838 ∷ T_Builtin_2 → T_Value_28 Source #