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

MAlonzo.Code.Declarative

Documentation

d_mkTy_6 :: Integer -> Integer -> T__'47'_'8866''8902'_26 -> T__'8866''8902'__20 #

d_sig2type_8 :: T_Sig_72 -> T__'8866''8902'__20 #

d_sig2typeΠ_10 :: Integer -> Integer -> T__'8866''8902'__20 -> T__'8866''8902'__20 #

d_sig2type'8658'_12 :: Integer -> Integer -> [T__'47'_'8866''8902'_26] -> T__'8866''8902'__20 -> T__'8866''8902'__20 #

d_'8866''9839'2TyNe'9839'_14 :: Integer -> Integer -> T__'8866''9839'_4 -> T__'8866''8902'__20 #

d_Ctx_16 :: p -> () #

data T_Ctx_16 #

Constructors

C_'8709'_18 
C__'44''8902'__22 T_Ctx_16 
C__'44'__26 T_Ctx_16 T__'8866''8902'__20 

d__'8715'__34 :: p -> p -> p -> () #

data T__'8715'__34 #

Constructors

C_Z_36 
C_S_38 T__'8715'__34 
C_T_40 T__'8866''8902'__20 T__'8715'__34 

d_btype_42 :: T_Ctx'8902'_2 -> T_Builtin_2 -> T__'8866''8902'__20 #

d_btype'45'ren_50 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Builtin_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'8801'__12 #

d_btype'45'sub_60 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Builtin_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T__'8801'__12 #

d_'10214'_'10215'd_68 :: T__'8866''8902'__20 -> () #

d_ty2TyTag_74 :: T__'8866''8902'__20 -> T__'8866''9839'_4 #

d_mkCaseType_82 :: T_Ctx'8902'_2 -> T__'8866''8902'__20 -> [T__'8866''8902'__20] -> T__'8866''8902'__20 #

du_mkCaseType_82 :: T__'8866''8902'__20 -> [T__'8866''8902'__20] -> T__'8866''8902'__20 #

d_ConstrArgs_94 :: T_Ctx'8902'_2 -> T_Ctx_16 -> [T__'8866''8902'__20] -> () #

d_Cases_104 :: p -> p -> p -> p -> p -> () #

data T_Cases_104 #

Constructors

C_'91''93'_180 
C__'8759'__192 T__'8866'__110 T_Cases_104 

d__'8866'__110 :: p -> p -> p -> () #

data T__'8866'__110 #

Constructors

C_'96'_114 T__'8715'__34 
C_ƛ_116 T__'8866'__110 
C__'183'__118 T__'8866''8902'__20 T__'8866'__110 T__'8866'__110 
C_Λ_120 T__'8866'__110 
C__'183''8902'__124 T_Kind_766 T__'8866''8902'__20 T__'8866'__110 T__'8866''8902'__20 
C_wrap_130 T__'8866'__110 
C_unwrap_132 T__'8866'__110 
C_constr_142 T_Fin_10 [T__'8866''8902'__20] T_IList_302 
C_case_154 Integer T_Vec_28 T__'8866'__110 T_Cases_104 
C_conv_156 T__'8866''8902'__20 T__'8801'β__10 T__'8866'__110 
C_con_162 T__'8866''8902'__20 AgdaAny T__'8801'β__10 
C_builtin_166 T_Builtin_2 
C_error_170 

d_conv'8715'_194 :: T_Ctx'8902'_2 -> T_Ctx_16 -> T_Ctx_16 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> T__'8801'__12 -> T__'8801'__12 -> T__'8715'__34 -> T__'8715'__34 #

du_conv'8715'_194 :: T__'8715'__34 -> T__'8715'__34 #

d_conv'8866'_198 :: T_Ctx'8902'_2 -> T_Ctx_16 -> T_Ctx_16 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> T__'8801'__12 -> T__'8801'__12 -> T__'8866'__110 -> T__'8866'__110 #

du_conv'8866'_198 :: T__'8866'__110 -> T__'8866'__110 #

d_typeOf_204 :: T_Ctx'8902'_2 -> T__'8866''8902'__20 -> T_Ctx_16 -> T__'8866'__110 -> T__'8866''8902'__20 #

du_typeOf_204 :: T__'8866''8902'__20 -> T__'8866''8902'__20 #

d_typeOf'8715'_210 :: T_Ctx'8902'_2 -> T__'8866''8902'__20 -> T_Ctx_16 -> T__'8715'__34 -> T__'8866''8902'__20 #

du_typeOf'8715'_210 :: T__'8866''8902'__20 -> T__'8866''8902'__20 #

d_piBody_216 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Ctx_16 -> T__'8866''8902'__20 -> T__'8866'__110 -> T__'8866''8902'__20 #

du_piBody_216 :: T__'8866''8902'__20 -> T__'8866''8902'__20 #

d_muPat_222 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Ctx_16 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> T__'8866'__110 -> T__'8866''8902'__20 #

du_muPat_222 :: T__'8866''8902'__20 -> T__'8866''8902'__20 #

d_muArg_228 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Ctx_16 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> T__'8866'__110 -> T__'8866''8902'__20 #

du_muArg_228 :: T__'8866''8902'__20 -> T__'8866''8902'__20 #