plutus-metatheory-1.60.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 -> () #

data T_Progress_10 #

Constructors

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

d_FocusedProgDissect_28 :: p -> p -> () #

data T_FocusedProgDissect_28 #

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 #

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 #

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 #