Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Data.Nat.Base

Documentation

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

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

data T__'8804'__18 Source #

Constructors

C_z'8804'n_22
C_s'8804's_30 T__'8804'__18

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

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

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

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

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

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

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

d_NonZero_74 ∷ Integer → () Source #

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

d_'62''45'nonZero_90 ∷ Integer → T__'8804'__18 → AgdaAny Source #

du_'62''45'nonZero_90 ∷ T__'8804'__18 → AgdaAny Source #

d_pred_94 ∷ Integer → Integer Source #

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

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

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

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

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

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

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

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

data T__'8804''8242'__154 Source #

Constructors

C_'8804''8242''45'refl_158
C_'8804''8242''45'step_164 T__'8804''8242'__154

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

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

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

d__'8804''8243'__188 ∷ p → p → () Source #

newtype T__'8804''8243'__188 Source #

Constructors

C_less'45'than'45'or'45'equal_202 Integer

d_k_198 ∷ T__'8804''8243'__188 → Integer Source #

d_proof_200 ∷ T__'8804''8243'__188 → T__'8801'__12 Source #

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

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

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

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

data T__'8804''8244'__222 Source #

Constructors

C_'8804''8244''45'refl_226
C_'8804''8244''45'step_232 T__'8804''8244'__222

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

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

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

d_Ordering_252 ∷ p → p → () Source #

data T_Ordering_252 Source #

Constructors

C_less_258 Integer
C_equal_262
C_greater_268 Integer

d_compare_274 ∷ Integer → Integer → T_Ordering_252 Source #