Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Data.Integer.Base

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 #

Constructors

C_'45''8804''45'_34 T__'8804'__22
C_'45''8804''43'_40
C_'43''8804''43'_48 T__'8804'__22

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

data T__'60'__50 Source #

Constructors

C_'45''60''45'_58 T__'8804'__22
C_'45''60''43'_64
C_'43''60''43'_72 T__'8804'__22

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 #

Constructors

C_Positive'46'constructor_1399 AgdaAny

d_pos_140 ∷ T_Positive_134 → AgdaAny Source #

d_NonNegative_144 ∷ p → () Source #

newtype T_NonNegative_144 Source #

Constructors

C_NonNegative'46'constructor_1457 AgdaAny

d_nonNeg_150 ∷ T_NonNegative_144 → AgdaAny Source #

d_NonPositive_154 ∷ p → () Source #

newtype T_NonPositive_154 Source #

Constructors

C_NonPositive'46'constructor_1515 AgdaAny

d_nonPos_160 ∷ T_NonPositive_154 → AgdaAny Source #

d_Negative_164 ∷ p → () Source #

newtype T_Negative_164 Source #

Constructors

C_Negative'46'constructor_1573 AgdaAny

d_neg_170 ∷ T_Negative_164 → AgdaAny Source #

d_pos_174 ∷ Integer → T_Positive_134 Source #

du_pos_174 ∷ T_Positive_134 Source #

d_nonNeg_178 ∷ Integer → T_NonNegative_144 Source #

du_nonNeg_178 ∷ T_NonNegative_144 Source #

d_nonPos0_180 ∷ T_NonPositive_154 Source #

d_nonPos_184 ∷ Integer → T_NonPositive_154 Source #

du_nonPos_184 ∷ T_NonPositive_154 Source #

d_neg_188 ∷ Integer → T_Negative_164 Source #

du_neg_188 ∷ T_Negative_164 Source #

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

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

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

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

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

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

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

du_positive_212 ∷ T__'60'__50 → T_Positive_134 Source #

d_negative_218 ∷ Integer → T__'60'__50 → T_Negative_164 Source #

du_negative_218 ∷ T__'60'__50 → T_Negative_164 Source #

d_nonPositive_222 ∷ Integer → T__'8804'__26 → T_NonPositive_154 Source #

du_nonPositive_222 ∷ T__'8804'__26 → T_NonPositive_154 Source #

d_nonNegative_226 ∷ Integer → T__'8804'__26 → T_NonNegative_144 Source #

du_nonNegative_226 ∷ Integer → T_NonNegative_144 Source #

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

d_SignAbs_236 ∷ p → () Source #

data T_SignAbs_236 Source #

Constructors

C__'9666'__242 T_Sign_6 Integer

d_signAbs_246 ∷ Integer → T_SignAbs_236 Source #

d_'45'__252 ∷ Integer → Integer Source #

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

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

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

d_suc_300 ∷ Integer → Integer Source #

d_pred_304 ∷ Integer → Integer Source #

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

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

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

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

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

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

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

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

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

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

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

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

d_'43''45'rawMagma_442 ∷ T_RawMagma_36 Source #

d_'43''45'0'45'rawMonoid_444 ∷ T_RawMonoid_64 Source #

d_'43''45'0'45'rawGroup_446 ∷ T_RawGroup_96 Source #

d_'42''45'rawMagma_448 ∷ T_RawMagma_36 Source #

d_'42''45'1'45'rawMonoid_450 ∷ T_RawMonoid_64 Source #

d_'43''45''42''45'rawNearSemiring_452 ∷ T_RawNearSemiring_134 Source #

d_'43''45''42''45'rawSemiring_454 ∷ T_RawSemiring_174 Source #

d_'43''45''42''45'rawRing_456 ∷ T_RawRing_268 Source #