| Value Integer Zeros Integer | |
| Value Integer Ones Integer | |
| (Complement Bool (IntegerHead a) head, Complement Integer (IntegerTail a) tail, ~ Integer b (IntegerCons head tail)) => Complement Integer a b | |
| Complement Integer Zeros Ones | |
| Complement Integer Ones Zeros | |
| Odd Integer Zeros False | |
| Odd Integer Ones True | |
| ~ Bool p (IntegerHead i) => Even Integer i p | |
| (Signum Integer a s, Case Integer s (: (Alternative Integer Constraint) (--> Integer Constraint Ones (Negate Integer a b)) (: (Alternative Integer Constraint) (Otherwise Integer Constraint (~ Integer a b)) ([] (Alternative Integer Constraint))))) => Abs Integer a b | |
| Signum' Integer Ones Ones | |
| Signum Integer Zeros Zeros | |
| (Complement Integer a b, + Integer b (I 1) c) => Negate Integer a c | |
| FromEnum Integer i i | |
| ToEnum Integer i i | |
| Kind Integer a Integer | |
| (~ Integer zeros Zeros, ~ Bool true True) => Match Integer Zeros zeros true | |
| Match Integer Zeros Ones False | |
| (~ Integer ones Ones, ~ Bool true True) => Match Integer Ones ones true | |
| Match Integer Ones Zeros False | |
| QuotRem Integer a b ((,) Integer Integer q r) => Quot Integer a b q | |
| QuotRem Integer a b ((,) Integer Integer q r) => Rem Integer a b r | |
| Error Symbol "Division by zero" => QuotRem Integer a Zeros b | |
| (Integer .&. Zeros) a Zeros | |
| (Integer .&. Ones) a a | |
| (Xor Bool (IntegerHead a) (IntegerHead b) c, Xor Integer (IntegerTail a) (IntegerTail b) d, ~ Integer e (IntegerCons c d)) => Xor Integer a b e | |
| Xor Integer Zeros a a | |
| Complement Integer a b => Xor Integer Ones a b | |
| (Abs Integer x x', Abs Integer y y', Gcd' x' y' z) => Gcd Integer x y z | |
| Error Symbol "Gcd 0 0 is undefined" => Gcd Integer Zeros Zeros c | |
| (Integer * Zeros) a Zeros | |
| Negate Integer a prod => (Integer * Ones) a prod | |
| (Complement Integer b cb, AddWithCarry True a cb dif) => Minus Integer a b dif | |
| AddWithCarry False a b sum => (Integer + a) b sum | |
| If (< Integer b a) (~ [Integer] l ([] Integer)) (+ Integer (I 1) a c, EnumFromTo Integer c b k, ~ [Integer] l (: Integer a k)) => EnumFromTo Integer a b l | |
| (Minus Integer a b d, Signum Integer d s, Case Integer s (: (Alternative Integer Constraint) (--> Integer Constraint Ones (~ Ordering p LT)) (: (Alternative Integer Constraint) (--> Integer Constraint Zeros (~ Ordering p EQ)) (: (Alternative Integer Constraint) (--> Integer Constraint (One Zeros) (~ Ordering p GT)) (: (Alternative Integer Constraint) (Otherwise Integer Constraint (Error ((,) Symbol Integer) ((,) Symbol Integer "Signum returned" s))) ([] (Alternative Integer Constraint))))))) => Compare Integer a b p | |
| ~ Bool p False => (Integer == i) j p | |
| (Integer == Zeros) Zeros True | |
| (Integer == Ones) Ones True | |
| If (> Integer i (I 0)) (ShowsInteger i x y) (Negate Integer i j, ShowsInteger j x y', ~ [Symbol] y (: Symbol "-" y')) => Shows Integer i x y | |
| (Minus Integer c a x, EnumFromToBy Integer a b x l) => EnumFromThenTo Integer a c b l | |
| Shows Integer Zeros x (: Symbol "0" x) | |
| (Abs Integer a a', Abs Integer b b', QuotRem' a' b' q r, Signum Integer a sa, Signum Integer b sb, * Integer sa r rem, * Integer sa q q', * Integer sb q' quot) => QuotRem Integer a b ((,) Integer Integer quot rem) | |
| Signum' Integer Zeros (One Zeros) | |
| Match Integer Zeros (Zero j) False | |
| Match Integer Zeros (One j) False | |
| Match Integer Ones (Zero j) False | |
| Match Integer Ones (One j) False | |
| Value Integer i Integer => Value Integer (Zero i) Integer | |
| Value Integer i Integer => Value Integer (One i) Integer | |
| Odd Integer (Zero i) False | |
| Odd Integer (One i) True | |
| Signum' Integer i s => Signum' Integer (Zero i) s | |
| Signum' Integer i s => Signum' Integer (One i) s | |
| Signum Integer i s => Signum Integer (Zero i) s | |
| (~ Integer zero_j (Zero j), Match Integer i j p) => Match Integer (Zero i) zero_j p | |
| Match Integer (Zero i) Zeros False | |
| Match Integer (Zero i) Ones False | |
| (~ Integer one_j (One j), Match Integer i j p) => Match Integer (One i) one_j p | |
| Match Integer (One i) Zeros False | |
| Match Integer (One i) Ones False | |
| (.&. Bool False (IntegerHead b) c, .&. Integer a (IntegerTail b) d, ~ Integer e (IntegerCons c d)) => (Integer .&. (Zero a)) b e | |
| (.&. Bool True (IntegerHead b) c, .&. Integer a (IntegerTail b) d, ~ Integer e (IntegerCons c d)) => (Integer .&. (One a)) b e | |
| (* Integer i a b, ~ Integer prod (IntegerCons False b)) => (Integer * (Zero i)) a prod | |
| (* Integer i a b, ~ Integer b' (IntegerCons False b), + Integer a b' prod) => (Integer * (One i)) a prod | |
| (Integer * (One Zeros)) a a | |
| Match Integer (Zero i) (One i) False | |
| Match Integer (One i) (Zero j) False | |
| == Integer i j p => (Integer == (Zero i)) (Zero j) p | |
| == Integer i j p => (Integer == (One i)) (One j) p | |