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

MAlonzo.Code.VerifiedCompilation.Trace

Documentation

d_SimplifierTag_4 :: () #

type T_SimplifierTag_4 = Hints -> () #

d_Trace_60 :: p -> () #

data T_Trace_60 #

Constructors

C_step_64 T_SimplifierTag_4 T_Hints_52 AgdaAny T_Trace_60 
C_done_66 AgdaAny 

d_head_70 :: T_Trace_60 -> AgdaAny #

d_Dump_76 :: () #

d_toTrace_78 :: [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] -> Maybe T_Trace_60 #

d_go_88 :: T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208)) -> [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] -> T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208)) -> [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] -> T_Trace_60 #

du_go_88 :: T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208)) -> [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] -> T_Trace_60 #