Safe Haskell	None

MAlonzo.Code.Mint.Statics.Syntax

Documentation

d_HasO_10 :: p1 -> p2 -> () Source #

newtype T_HasO_10 Source #

Constructors

C_HasO'46'constructor_1 (AgdaAny -> Integer -> Integer)

d_O_18 :: T_HasO_10 -> AgdaAny -> Integer -> Integer Source #

d_O_22 :: T_HasO_10 -> AgdaAny -> Integer -> Integer Source #

d_HasTr_28 :: p1 -> p2 -> () Source #

newtype T_HasTr_28 Source #

Constructors

C_HasTr'46'constructor_81 (AgdaAny -> Integer -> AgdaAny)

d__'8741'__36 :: T_HasTr_28 -> AgdaAny -> Integer -> AgdaAny Source #

d__'8741'__40 :: T_HasTr_28 -> AgdaAny -> Integer -> AgdaAny Source #

d_Monotone_50 :: p1 -> p2 -> p3 -> p4 -> () Source #

newtype T_Monotone_50 Source #

Constructors

C_Monotone'46'constructor_169 (AgdaAny -> AgdaAny -> AgdaAny)

d__'91'_'93'_62 :: T_Monotone_50 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d__'91'_'93'_66 :: T_Monotone_50 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_Typ_68 :: () Source #

d_Exp_70 :: () Source #

data T_Exp_70 Source #

Constructors

C_N_74
C_Π_76 T_Exp_70 T_Exp_70
C_Se_80 Integer
C_'9633'_82 T_Exp_70
C_v_86 Integer
C_ze_88
C_su_90 T_Exp_70
C_rec_100 T_Exp_70 T_Exp_70 T_Exp_70 T_Exp_70
C_Λ_102 T_Exp_70
C__'36'__104 T_Exp_70 T_Exp_70
C_box_106 T_Exp_70
C_unbox_108 Integer T_Exp_70
C_sub_110 T_Exp_70 T_Substs_72

d_Substs_72 :: () Source #

data T_Substs_72 Source #

Constructors

C_I_112
C_wk_114
C__'8728'__116 T_Substs_72 T_Substs_72
C__'44'__118 T_Substs_72 T_Exp_70
C__'65307'__120 T_Substs_72 Integer

d_Ctx_122 :: () Source #

d_Ctxs_124 :: () Source #

d__'8762'__126 :: T_Exp_70 -> T_List'8314'_24 -> T_List'8314'_24 Source #

d__'43''43''8315'__134 :: [T_Exp_70] -> T_List'8314'_24 -> T_List'8314'_24 Source #

d_ExpMonotone_142 :: T_Monotone_50 Source #

d_p_144 :: T_Substs_72 -> T_Substs_72 Source #

d__'10230'__148 :: T_Exp_70 -> T_Exp_70 -> T_Exp_70 Source #

d__'91''124'_'93'_154 :: T_Exp_70 -> T_Exp_70 -> T_Exp_70 Source #

d_q_160 :: T_Substs_72 -> T_Substs_72 Source #

d_S'45'O_164 :: T_Substs_72 -> Integer -> Integer Source #

d_SubstsHasO_190 :: T_HasO_10 Source #

d_S'45'Tr_192 :: T_Substs_72 -> Integer -> T_Substs_72 Source #

d_SubstsHasTr_218 :: T_HasTr_28 Source #

d_Ne_220 :: () Source #

data T_Ne_220 Source #

Constructors

C_v_226 Integer
C_rec_234 T_Nf_222 T_Nf_222 T_Nf_222 T_Ne_220
C__'36'__238 T_Ne_220 T_Nf_222
C_unbox_240 Integer T_Ne_220

d_Nf_222 :: () Source #

data T_Nf_222 Source #

Constructors

C_ne_244 T_Ne_220
C_N_246
C_Π_248 T_Nf_222 T_Nf_222
C_Se_252 Integer
C_'9633'_254 T_Nf_222
C_ze_256
C_su_258 T_Nf_222
C_Λ_260 T_Nf_222
C_box_262 T_Nf_222

d_Ne'8658'Exp_352 :: T_Ne_220 -> T_Exp_70 Source #

d_Nf'8658'Exp_354 :: T_Nf_222 -> T_Exp_70 Source #

d__'8758'_'8712''33'__390 :: p1 -> p2 -> p3 -> () Source #

data T__'8758'_'8712''33'__390 Source #

Constructors

C_here_392 T_Exp_70 T_List'8314'_24
C_there_400 T_List'8314'_24 T_Exp_70 T_Exp_70 T__'8758'_'8712''33'__390