Documentation

d_0ℤ_12 ∷ Integer Source #

d_'45'1ℤ_14 ∷ Integer Source #

d_1ℤ_16 ∷ Integer Source #

d_'8739'_'8739'_18 ∷ Integer → Integer Source #

d_sign_24 ∷ Integer → T_Sign_6 Source #

d__'8804'__26 ∷ p → p → () Source #

data T__'8804'__26 Source #

d__'60'__50 ∷ p → p → () Source #

data T__'60'__50 Source #

d__'8805'__74 ∷ Integer → Integer → () Source #

d__'62'__80 ∷ Integer → Integer → () Source #

d__'8816'__86 ∷ Integer → Integer → () Source #

d__'8817'__92 ∷ Integer → Integer → () Source #

d__'8814'__98 ∷ Integer → Integer → () Source #

d__'8815'__104 ∷ Integer → Integer → () Source #

d__'8804''7495'__110 ∷ Integer → Integer → Bool Source #

d_NonZero_128 ∷ Integer → () Source #

d_Positive_134 ∷ p → () Source #

newtype T_Positive_134 Source #

d_pos_140 ∷ T_Positive_134 → AgdaAny Source #

d_NonNegative_146 ∷ p → () Source #

newtype T_NonNegative_146 Source #

d_nonNeg_152 ∷ T_NonNegative_146 → AgdaAny Source #

d_NonPositive_158 ∷ p → () Source #

newtype T_NonPositive_158 Source #

d_nonPos_164 ∷ T_NonPositive_158 → AgdaAny Source #

d_Negative_170 ∷ p → () Source #

newtype T_Negative_170 Source #

d_neg_176 ∷ T_Negative_170 → AgdaAny Source #

d_pos_182 ∷ Integer → T_Positive_134 Source #

du_pos_182 ∷ T_Positive_134 Source #

d_nonNeg_186 ∷ Integer → T_NonNegative_146 Source #

du_nonNeg_186 ∷ T_NonNegative_146 Source #

d_nonPos0_188 ∷ T_NonPositive_158 Source #

d_nonPos_192 ∷ Integer → T_NonPositive_158 Source #

du_nonPos_192 ∷ T_NonPositive_158 Source #

d_neg_196 ∷ Integer → T_Negative_170 Source #

du_neg_196 ∷ T_Negative_170 Source #

d_'8802''45'nonZero_200 ∷ Integer → (T__'8801'__12 → T_Irrelevant_20) → T_NonZero_112 Source #

du_'8802''45'nonZero_200 ∷ Integer → T_NonZero_112 Source #

d_'62''45'nonZero_210 ∷ Integer → T__'60'__50 → T_NonZero_112 Source #

du_'62''45'nonZero_210 ∷ T__'60'__50 → T_NonZero_112 Source #

d_'60''45'nonZero_216 ∷ Integer → T__'60'__50 → T_NonZero_112 Source #

du_'60''45'nonZero_216 ∷ T__'60'__50 → T_NonZero_112 Source #

d_positive_220 ∷ Integer → T__'60'__50 → T_Positive_134 Source #

du_positive_220 ∷ T__'60'__50 → T_Positive_134 Source #

d_negative_226 ∷ Integer → T__'60'__50 → T_Negative_170 Source #

du_negative_226 ∷ T__'60'__50 → T_Negative_170 Source #

d_nonPositive_230 ∷ Integer → T__'8804'__26 → T_NonPositive_158 Source #

du_nonPositive_230 ∷ T__'8804'__26 → T_NonPositive_158 Source #

d_nonNegative_234 ∷ Integer → T__'8804'__26 → T_NonNegative_146 Source #

du_nonNegative_234 ∷ Integer → T_NonNegative_146 Source #

d__'9667'__238 ∷ T_Sign_6 → Integer → Integer Source #

d_SignAbs_244 ∷ p → () Source #

data T_SignAbs_244 Source #

d_signAbs_254 ∷ Integer → T_SignAbs_244 Source #

d_'45'__260 ∷ Integer → Integer Source #

d__'8854'__266 ∷ Integer → Integer → Integer Source #

d__'43'__284 ∷ Integer → Integer → Integer Source #

d__'45'__302 ∷ Integer → Integer → Integer Source #

d_suc_308 ∷ Integer → Integer Source #

d_pred_312 ∷ Integer → Integer Source #

d__'42'__316 ∷ Integer → Integer → Integer Source #

d__'94'__322 ∷ Integer → Integer → Integer Source #

d__'8852'__330 ∷ Integer → Integer → Integer Source #

d__'8851'__348 ∷ Integer → Integer → Integer Source #

d__'47'ℕ__372 ∷ Integer → Integer → T_NonZero_112 → Integer Source #

du__'47'ℕ__372 ∷ Integer → Integer → Integer Source #

d__'47'__402 ∷ Integer → Integer → T_NonZero_112 → Integer Source #

du__'47'__402 ∷ Integer → Integer → Integer Source #

d__'37'ℕ__414 ∷ Integer → Integer → T_NonZero_112 → Integer Source #

du__'37'ℕ__414 ∷ Integer → Integer → Integer Source #

d__'37'__444 ∷ Integer → Integer → T_NonZero_112 → Integer Source #

du__'37'__444 ∷ Integer → Integer → Integer Source #

d_'43''45'rawMagma_450 ∷ T_RawMagma_44 Source #

d_'43''45'0'45'rawMonoid_452 ∷ T_RawMonoid_74 Source #

d_'43''45'0'45'rawGroup_454 ∷ T_RawGroup_108 Source #

d_'42''45'rawMagma_456 ∷ T_RawMagma_44 Source #

d_'42''45'1'45'rawMonoid_458 ∷ T_RawMonoid_74 Source #

d_'43''45''42''45'rawNearSemiring_460 ∷ T_RawNearSemiring_148 Source #

d_'43''45''42''45'rawSemiring_462 ∷ T_RawSemiring_190 Source #

d_'43''45''42''45'rawRing_464 ∷ T_RawRing_290 Source #