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

MAlonzo.Code.Algorithmic.ReductionEC.Progress

Documentation

d_Progress_10 ∷ p → p → () Source #

data T_Progress_10 Source #

Constructors

C_step_18 T__'8866'__178 T__'8212''8594'__750 
C_done_20 T_Value_28 

d_FocusedProgDissect_28 ∷ p → p → () Source #

data T_FocusedProgDissect_28 Source #

Constructors

C_done_48 T_Bwd_6 T_IBwd_396 T__'8803'_'60''62''62'__684 T__'8803'I_'60''62''62'__1110 T_IIBwd_832 
C_step_80 T_Bwd_6 T_IBwd_396 T_IIBwd_832 T__'8866'Nf'8902'__4 T__'8866'__178 T__'8866'__178 T__'8212''8594'__750 [T__'8866'Nf'8902'__4] T_IList_302 T__'8803'_'60''62''62'__684 T__'8803'I_'60''62''62'__1110 

d_progress_86 ∷ T__'8866'Nf'8902'__4 → T__'8866'__178 → T_Progress_10 Source #

d_progress'45'focus_110 ∷ [T__'8866'Nf'8902'__4] → T_IList_302 → T_Bwd_6 → T_IBwd_396 → [T__'8866'Nf'8902'__4] → T__'8803'_'60''62''62'__684 → T_IList_302 → T__'8803'I_'60''62''62'__1110 → T_IIBwd_832 → T_FocusedProgDissect_28 Source #

du_progress'45'focus_110 ∷ T_Bwd_6 → T_IBwd_396 → [T__'8866'Nf'8902'__4] → T__'8803'_'60''62''62'__684 → T_IList_302 → T__'8803'I_'60''62''62'__1110 → T_IIBwd_832 → T_FocusedProgDissect_28 Source #