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'__18
C_'45''8804''43'_40
C_'43''8804''43'_48 T__'8804'__18

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

data T__'60'__50 Source #

Constructors

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

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_132 ∷ Integer → () Source #

d_Negative_138 ∷ Integer → () Source #

d_NonPositive_144 ∷ Integer → () Source #

d_NonNegative_150 ∷ Integer → () Source #

d_'8802''45'nonZero_158 ∷ Integer → (T__'8801'__12 → T_'8869'_4) → AgdaAny Source #

d_'62''45'nonZero_168 ∷ Integer → T__'60'__50 → AgdaAny Source #

du_'62''45'nonZero_168 ∷ T__'60'__50 → AgdaAny Source #

d_'60''45'nonZero_174 ∷ Integer → T__'60'__50 → AgdaAny Source #

du_'60''45'nonZero_174 ∷ T__'60'__50 → AgdaAny Source #

d_positive_178 ∷ Integer → T__'60'__50 → AgdaAny Source #

du_positive_178 ∷ T__'60'__50 → AgdaAny Source #

d_negative_184 ∷ Integer → T__'60'__50 → AgdaAny Source #

du_negative_184 ∷ T__'60'__50 → AgdaAny Source #

d_nonPositive_188 ∷ Integer → T__'8804'__26 → AgdaAny Source #

du_nonPositive_188 ∷ T__'8804'__26 → AgdaAny Source #

d_nonNegative_192 ∷ Integer → T__'8804'__26 → AgdaAny Source #

du_nonNegative_192 ∷ Integer → AgdaAny Source #

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

d_SignAbs_202 ∷ p → () Source #

data T_SignAbs_202 Source #

Constructors

C__'9666'__208 T_Sign_6 Integer

d_signAbs_212 ∷ Integer → T_SignAbs_202 Source #

d_'45'__218 ∷ Integer → Integer Source #

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

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

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

d_suc_266 ∷ Integer → Integer Source #

d_pred_270 ∷ Integer → Integer Source #

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

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

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

d__'60''8242'__316 ∷ Integer → Integer → () Source #

d__'62''8242'__322 ∷ Integer → Integer → () Source #

d__'8814''8242'__328 ∷ Integer → Integer → () Source #

d__'8815''8242'__334 ∷ Integer → Integer → () Source #