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

MAlonzo.Code.Algorithmic.CK

Documentation

d_Stack_18 ∷ p → p → () Source #

data T_Stack_18 Source #

Constructors

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

d_State_34 ∷ p → () Source #

data T_State_34 Source #

Constructors

C__'9659'__40 T__'8866'Nf'8902'__4 T_Stack_18 T__'8866'__168 
C__'9669'__46 T__'8866'Nf'8902'__4 T_Stack_18 T__'8866'__168 T_Value_28 
C_'9633'_50 T__'8866'__168 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'__168 → T__'8866'__168 Source #

du_closeStack_60 ∷ T__'8866'Nf'8902'__4 → T_Stack_18 → T__'8866'__168 → T__'8866'__168 Source #

d_closeState_72 ∷ T__'8866'Nf'8902'__4 → T_State_34 → T__'8866'__168 Source #

du_closeState_72 ∷ T_State_34 → T__'8866'__168 Source #

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

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

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 Source #

du_pushValueFrames_110 ∷ T__'8866'Nf'8902'__4 → T_Bwd_6 → T_Stack_18 → T_IBwd_396 → T_IIBwd_832 → T_Stack_18 Source #

d_step_122 ∷ T__'8866'Nf'8902'__4 → T_State_34 → T_State_34 Source #

du_step_122 ∷ T_State_34 → T_State_34 Source #

d_stepper_372 ∷ Integer → T__'8866'Nf'8902'__4 → T_State_34 → T_Either_6 T_RuntimeError_348 T_State_34 Source #

du_stepper_372 ∷ Integer → T_State_34 → T_Either_6 T_RuntimeError_348 T_State_34 Source #