Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Data.Nat.Base

Documentation

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

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

data T__'8804'__22 Source #

Constructors

C_z'8804'n_26
C_s'8804's_34 T__'8804'__22

d__'60'__36 ∷ Integer → Integer → () Source #

d_s'8804's'8315''185'_62 ∷ Integer → Integer → T__'8804'__22 → T__'8804'__22 Source #

du_s'8804's'8315''185'_62 ∷ T__'8804'__22 → T__'8804'__22 Source #

d_s'60's'8315''185'_70 ∷ Integer → Integer → T__'8804'__22 → T__'8804'__22 Source #

du_s'60's'8315''185'_70 ∷ T__'8804'__22 → T__'8804'__22 Source #

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

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

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

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

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

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

d_NonZero_112 ∷ p → () Source #

newtype T_NonZero_112 Source #

Constructors

C_NonZero'46'constructor_3575 AgdaAny

d_nonZero_118 ∷ T_NonZero_112 → AgdaAny Source #

d_nonZero_122 ∷ Integer → T_NonZero_112 Source #

du_nonZero_122 ∷ T_NonZero_112 Source #

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

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

d_'62''45'nonZero_136 ∷ Integer → T__'8804'__22 → T_NonZero_112 Source #

du_'62''45'nonZero_136 ∷ T__'8804'__22 → T_NonZero_112 Source #

d_'8802''45'nonZero'8315''185'_140 ∷ Integer → T_NonZero_112 → T__'8801'__12 → T_Irrelevant_20 Source #

d_'62''45'nonZero'8315''185'_146 ∷ Integer → T_NonZero_112 → T__'8804'__22 Source #

du_'62''45'nonZero'8315''185'_146 ∷ T__'8804'__22 Source #

d_NonTrivial_152 ∷ p → () Source #

newtype T_NonTrivial_152 Source #

Constructors

C_NonTrivial'46'constructor_5661 AgdaAny

d_nonTrivial_158 ∷ T_NonTrivial_152 → AgdaAny Source #

d_nonTrivial_162 ∷ Integer → T_NonTrivial_152 Source #

du_nonTrivial_162 ∷ T_NonTrivial_152 Source #

d_n'62'1'8658'nonTrivial_166 ∷ Integer → T__'8804'__22 → T_NonTrivial_152 Source #

du_n'62'1'8658'nonTrivial_166 ∷ T__'8804'__22 → T_NonTrivial_152 Source #

d_nonTrivial'8658'nonZero_170 ∷ Integer → T_NonTrivial_152 → T_NonZero_112 Source #

du_nonTrivial'8658'nonZero_170 ∷ T_NonZero_112 Source #

d_nonTrivial'8658'n'62'1_174 ∷ Integer → T_NonTrivial_152 → T__'8804'__22 Source #

du_nonTrivial'8658'n'62'1_174 ∷ T__'8804'__22 Source #

d_nonTrivial'8658''8802'1_178 ∷ Integer → T_NonTrivial_152 → T__'8801'__12 → T_Irrelevant_20 Source #

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

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

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

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

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

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

d_pred_192 ∷ Integer → Integer Source #

d__'43''8910'__196 ∷ Integer → Integer → Integer Source #

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

d__'8852''8242'__214 ∷ Integer → Integer → Integer Source #

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

d__'8851''8242'__242 ∷ Integer → Integer → Integer Source #

d_parity_260 ∷ Integer → T_Parity_6 Source #

d_'8970'_'47'2'8971'_264 ∷ Integer → Integer Source #

d_'8968'_'47'2'8969'_268 ∷ Integer → Integer Source #

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

d_'8739'_'45'_'8739'_280 ∷ Integer → Integer → Integer Source #

d_'8739'_'45'_'8739''8242'_290 ∷ Integer → Integer → Integer Source #

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

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

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

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

d__'33'_332 ∷ Integer → Integer Source #

d__'8804''8242'__338 ∷ p → p → () Source #

data T__'8804''8242'__338 Source #

Constructors

C_'8804''8242''45'refl_342
C_'8804''8242''45'step_348 T__'8804''8242'__338

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

d__'8805''8242'__364 ∷ Integer → Integer → () Source #

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

d__'8804''8243'__380 ∷ Integer → Integer → () Source #

d__'60''8243'__382 ∷ Integer → Integer → () Source #

d__'8805''8243'__388 ∷ Integer → Integer → () Source #

d__'62''8243'__394 ∷ Integer → Integer → () Source #

d_s'60''8243's'8315''185'_404 ∷ Integer → Integer → T__'8739''737'__26 → T__'8739''737'__26 Source #

du_s'60''8243's'8315''185'_404 ∷ T__'8739''737'__26 → T__'8739''737'__26 Source #

d__'8804''8244'__408 ∷ p → p → () Source #

data T__'8804''8244'__408 Source #

Constructors

C_'8804''8244''45'refl_412
C_'8804''8244''45'step_418 T__'8804''8244'__408

d__'60''8244'__420 ∷ Integer → Integer → () Source #

d__'8805''8244'__426 ∷ Integer → Integer → () Source #

d__'62''8244'__432 ∷ Integer → Integer → () Source #

d_Ordering_438 ∷ p → p → () Source #

data T_Ordering_438 Source #

Constructors

C_less_444 Integer
C_equal_448
C_greater_454 Integer

d_compare_460 ∷ Integer → Integer → T_Ordering_438 Source #

d_s'8804''8243's'8315''185'_514 ∷ Integer → Integer → T__'8739''737'__26 → T__'8739''737'__26 Source #

du_s'8804''8243's'8315''185'_514 ∷ T__'8739''737'__26 → T__'8739''737'__26 Source #