Safe Haskell	None

MAlonzo.Code.Data.Nat.Base

Documentation

d__'8804''7495'__10 :: Integer -> Integer -> Bool Source #

d__'8804'__18 :: p1 -> p2 -> () 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_76 :: p -> () Source #

newtype T_NonZero_76 Source #

Constructors

C_NonZero'46'constructor_495 AgdaAny

d_nonZero_82 :: T_NonZero_76 -> AgdaAny Source #

d_nonZero_86 :: Integer -> T_NonZero_76 Source #

du_nonZero_86 :: T_NonZero_76 Source #

d_'8802''45'nonZero_90 :: Integer -> (T__'8801'__12 -> T_'8869'_4) -> T_NonZero_76 Source #

du_'8802''45'nonZero_90 :: Integer -> T_NonZero_76 Source #

d_'62''45'nonZero_100 :: Integer -> T__'8804'__18 -> T_NonZero_76 Source #

du_'62''45'nonZero_100 :: T__'8804'__18 -> T_NonZero_76 Source #

d_'8802''45'nonZero'8315''185'_106 :: Integer -> T_NonZero_76 -> T__'8801'__12 -> T_'8869'_4 Source #

d_'62''45'nonZero'8315''185'_112 :: Integer -> T_NonZero_76 -> T__'8804'__18 Source #

du_'62''45'nonZero'8315''185'_112 :: T__'8804'__18 Source #

d_pred_116 :: Integer -> Integer Source #

d__'43''8910'__120 :: Integer -> Integer -> Integer Source #

d__'8852'__128 :: Integer -> Integer -> Integer Source #

d__'8851'__138 :: Integer -> Integer -> Integer Source #

d_'8970'_'47'2'8971'_148 :: Integer -> Integer Source #

d_'8968'_'47'2'8969'_152 :: Integer -> Integer Source #

d__'94'__156 :: Integer -> Integer -> Integer Source #

d_'8739'_'45'_'8739'_164 :: Integer -> Integer -> Integer Source #

d__'8804''8242'__176 :: p1 -> p2 -> () Source #

data T__'8804''8242'__176 Source #

Constructors

C_'8804''8242''45'refl_180
C_'8804''8242''45'step_186 T__'8804''8242'__176

d__'60''8242'__188 :: Integer -> Integer -> () Source #

d__'8805''8242'__194 :: Integer -> Integer -> () Source #

d__'62''8242'__200 :: Integer -> Integer -> () Source #

d__'8804''8243'__210 :: p1 -> p2 -> () Source #

newtype T__'8804''8243'__210 Source #

Constructors

C_less'45'than'45'or'45'equal_224 Integer

d_k_220 :: T__'8804''8243'__210 -> Integer Source #

d_proof_222 :: T__'8804''8243'__210 -> T__'8801'__12 Source #

d__'60''8243'__226 :: Integer -> Integer -> () Source #

d__'8805''8243'__232 :: Integer -> Integer -> () Source #

d__'62''8243'__238 :: Integer -> Integer -> () Source #

d__'8804''8244'__244 :: p1 -> p2 -> () Source #

data T__'8804''8244'__244 Source #

Constructors

C_'8804''8244''45'refl_248
C_'8804''8244''45'step_254 T__'8804''8244'__244

d__'60''8244'__256 :: Integer -> Integer -> () Source #

d__'8805''8244'__262 :: Integer -> Integer -> () Source #

d__'62''8244'__268 :: Integer -> Integer -> () Source #

d_Ordering_274 :: p1 -> p2 -> () Source #

data T_Ordering_274 Source #

Constructors

C_less_280 Integer
C_equal_284
C_greater_290 Integer

d_compare_296 :: Integer -> Integer -> T_Ordering_274 Source #