Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Untyped.Relation.Binary.Modular

Documentation

d_RelationT_8 ∷ () Source #

d__'43'__16 ∷ p → p → p → p → p → p → () Source #

data T__'43'__16 Source #

Constructors

C_inl_30 AgdaAny
C_inr_38 AgdaAny

d_Empty_40 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → () Source #

d_Fix_50 ∷ p → p → p → p → () Source #

newtype T_Fix_50 Source #

Constructors

C_fix_60 AgdaAny

d_Const_62 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → () Source #

d_Transitivity_68 ∷ p → p → p → p → () Source #

data T_Transitivity_68 Source #

Constructors

C_transF_80 T__'8866'_14 AgdaAny AgdaAny

d_Symmetry_84 ∷ p → p → p → p → () Source #

newtype T_Symmetry_84 Source #

Constructors

C_symF_94 AgdaAny

d_Reflexivity_98 ∷ p → p → p → p → () Source #

data T_Reflexivity_98 Source #

Constructors

C_reflF_106

d_CompatVar_110 ∷ p → p → p → p → () Source #

data T_CompatVar_110 Source #

Constructors

C_'96'F__118

d_CompatLambda_122 ∷ p → p → p → p → () Source #

newtype T_CompatLambda_122 Source #

Constructors

C_ƛF_132 AgdaAny

d_CompatApply_136 ∷ p → p → p → p → () Source #

data T_CompatApply_136 Source #

Constructors

C__'183'F__150 AgdaAny AgdaAny

d_CompatForce_154 ∷ p → p → p → p → () Source #

newtype T_CompatForce_154 Source #

Constructors

C_forceF_164 AgdaAny

d_CompatDelay_168 ∷ p → p → p → p → () Source #

newtype T_CompatDelay_168 Source #

Constructors

C_delayF_178 AgdaAny

d_CompatCon_182 ∷ p → p → p → p → () Source #

data T_CompatCon_182 Source #

Constructors

C_conF_190

d_CompatConstr_194 ∷ p → p → p → p → () Source #

newtype T_CompatConstr_194 Source #

Constructors

C_constrF_206 T_Pointwise_20

d_CompatCase_210 ∷ p → p → p → p → () Source #

data T_CompatCase_210 Source #

Constructors

C_caseF_224 AgdaAny T_Pointwise_20

d_CompatBuiltin_228 ∷ p → p → p → p → () Source #

data T_CompatBuiltin_228 Source #

Constructors

C_builtinF_236

d_CompatError_240 ∷ p → p → p → p → () Source #

data T_CompatError_240 Source #

Constructors

C_errorF_246

d_CompatTerm_248 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → () Source #

d_CompatTerm'45'TermCompatible_330 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'43'__16 → AgdaAny) → T_TermCompatible_30 Source #

du_CompatTerm'45'TermCompatible_330 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T__'43'__16 → AgdaAny) → T_TermCompatible_30 Source #

d_DecidableT_350 ∷ ((Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → ()) → () Source #

d_empty'63'_438 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_empty'63'_438 ∷ T_Dec_20 Source #

d_Fix'45'dec_448 ∷ ((Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → ()) → ((Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_Fix'45'dec_448 ∷ ((Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_'46'extendedlambda1_476 ∷ ((Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → ()) → ((Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_Irrelevant_20) → T_Fix_50 → T_Irrelevant_20 Source #

d_compatVar'63'_480 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatVar'63'_480 ∷ T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatApply'63'_534 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatApply'63'_534 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatLam'63'_614 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatLam'63'_614 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatForce'63'_678 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatForce'63'_678 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatDelay'63'_742 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatDelay'63'_742 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatConstr'63'_806 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatConstr'63'_806 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatCase'63'_904 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatCase'63'_904 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatCon'63'_984 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatCon'63'_984 ∷ T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatBuiltin'63'_1038 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatBuiltin'63'_1038 ∷ T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatError'63'_1092 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatError'63'_1092 ∷ T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_compatTerm'63'_1120 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_compatTerm'63'_1120 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d__'60''124''62'__1128 ∷ ((Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → ()) → ((Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → Maybe T_Σ_14) → (Integer → T__'8866'_14 → Maybe T_Σ_14) → Integer → T__'8866'_14 → Maybe T_Σ_14 Source #

du__'60''124''62'__1128 ∷ (Integer → T__'8866'_14 → Maybe T_Σ_14) → (Integer → T__'8866'_14 → Maybe T_Σ_14) → Integer → T__'8866'_14 → Maybe T_Σ_14 Source #