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

MAlonzo.Code.Untyped.Purity

Documentation

d_Arity_4 ∷ () Source #

data T_Arity_4 Source #

Constructors

C_no'45'builtin_6 
C_want_8 Integer Integer 

d_interleave'45'error_12 ∷ a Source #

d_sat_16 ∷ () → T__'8866'_14 → T_Arity_4 Source #

du_sat_16 ∷ T__'8866'_14 → T_Arity_4 Source #

d_Pure_86 ∷ p → p → () Source #

data T_Pure_86 Source #

Constructors

C_force_92 T_Pure_86 
C_constr_98 T_All_44 
C_case_108 T__'8866'_14 T_Pure_86 
C_builtin_112 
C_unsat'45'builtin'8320'_120 Integer Integer T_Pure_86 
C_unsat'45'builtin'8320''8331''8321'_126 Integer T_Pure_86 
C_unsat'45'builtin'8321'_134 Integer T_Pure_86 T_Pure_86 
C_app_140 T_Pure_86 T_Pure_86 
C_var_144 
C_delay_148 
C_ƛ_152 
C_con_156 

d_isPure'63'_162 ∷ () → T__'8866'_14 → T_Dec_20 Source #

du_isPure'63'_162 ∷ T__'8866'_14 → T_Dec_20 Source #

d_allPure'63'_168 ∷ () → [T__'8866'_14] → T_Dec_20 Source #

du_allPure'63'_168 ∷ [T__'8866'_14] → T_Dec_20 Source #

d_'46'extendedlambda0_192 ∷ () → T__'8866'_14 → [T__'8866'_14] → (T_Σ_14 → T_Irrelevant_20) → T_All_44 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_238 ∷ () → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda2_262 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T__'8866'_14 → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda3_280 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T__'8866'_14 → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda4_294 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T__'8866'_14 → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda5_312 ∷ () → T__'8866'_14 → Integer → Integer → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T__'8866'_14 → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda6_354 ∷ () → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → Integer → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda7_382 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda8_400 ∷ () → T__'8866'_14 → Integer → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda9_414 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda10_442 ∷ () → T__'8866'_14 → (T_Pure_86 → T_Irrelevant_20) → Integer → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda11_482 ∷ () → T__'8866'_14 → (T_Pure_86 → T_Irrelevant_20) → Integer → Integer → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda12_522 ∷ () → T__'8866'_14 → (T_Pure_86 → T_Irrelevant_20) → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda13_550 ∷ () → [T__'8866'_14] → (T_All_44 → T_Irrelevant_20) → Integer → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda14_598 ∷ () → Integer → [T__'8866'_14] → T__'8801'__12 → [T__'8866'_14] → T_Pure_86 → T_Irrelevant_20 Source #

d_'46'extendedlambda15_636 ∷ () → T__'8866'_14 → [T__'8866'_14] → (T_Pure_86 → T_Irrelevant_20) → Integer → [T__'8866'_14] → T__'8801'__12 → T_Pure_86 → T_Irrelevant_20 Source #