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

MAlonzo.Code.Untyped.Purity

Documentation

d_Pure_6 :: p -> p -> () #

data T_Pure_6 #

Constructors

C_force_12 T_Pure_6 
C_constr_18 T_All_44 
C_builtin_22 
C_unsat'45'builtin'8320'_30 Integer Integer T_Pure_6 
C_unsat'45'builtin'8320''8331''8321'_36 Integer T_Pure_6 
C_unsat'45'builtin'8321'_44 Integer T_Pure_6 T_Pure_6 
C_app_50 T_Pure_6 T_Pure_6 
C_var_54 
C_delay_58 
C_ƛ_62 
C_con_66 

d_isPure'63'_72 :: Integer -> T__'8866'_14 -> T_Dec_20 #

d_allPure'63'_78 :: Integer -> [T__'8866'_14] -> T_Dec_20 #