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

MAlonzo.Code.Algorithmic.CK

Documentation

d_Stack_18 :: p -> p -> () #

data T_Stack_18 #

Constructors

C_ε_22 
C__'44'__30 T__'8866'Nf'8902'__4 T_Stack_18 T_Frame_352 

d_State_34 :: p -> () #

data T_State_34 #

Constructors

C__'9659'__40 T__'8866'Nf'8902'__4 T_Stack_18 T__'8866'__178 
C__'9669'__46 T__'8866'Nf'8902'__4 T_Stack_18 T__'8866'__178 T_Value_28 
C_'9633'_50 T__'8866'__178 T_Value_28 
C_'9670'_54 T__'8866'Nf'8902'__4 

d_closeStack_60 :: T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__178 -> T__'8866'__178 #

du_closeStack_60 :: T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__178 -> T__'8866'__178 #

d_closeState_72 :: T__'8866'Nf'8902'__4 -> T_State_34 -> T__'8866'__178 #

du_closeState_72 :: T_State_34 -> T__'8866'__178 #

d_discharge_94 :: T__'8866'Nf'8902'__4 -> T__'8866'__178 -> T_Value_28 -> T__'8866'__178 #

du_discharge_94 :: T__'8866'__178 -> T__'8866'__178 #

d_pushValueFrames_110 :: T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T_Bwd_6 -> T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_IBwd_396 -> T_IIBwd_832 -> T__'8801'__12 -> T_Stack_18 #

du_pushValueFrames_110 :: T__'8866'Nf'8902'__4 -> T_Bwd_6 -> T_Stack_18 -> T_IBwd_396 -> T_IIBwd_832 -> T_Stack_18 #

d_step_122 :: T__'8866'Nf'8902'__4 -> T_State_34 -> T_State_34 #

du_step_122 :: T_State_34 -> T_State_34 #

d_stepper_372 :: Integer -> T__'8866'Nf'8902'__4 -> T_State_34 -> T_Either_6 T_RuntimeError_408 T_State_34 #

du_stepper_372 :: Integer -> T_State_34 -> T_Either_6 T_RuntimeError_408 T_State_34 #