Documentation

class NumTypeI n => NumType n Source

class PosTypeI n => PosType n Source

class NegTypeI n => NegType n Source

class NonZeroI n => NonZero n Source

class (NumTypeI a, NumTypeI b) => Succ a b | a -> b, b -> a Source

class (NumTypeI a, NumTypeI b) => Negate a b | a -> b, b -> a Source

class (Add a b c, Sub c b a) => Sum a b c | a b -> c, a c -> b, b c -> a Source

class (NumTypeI a, NonZeroI b, NumTypeI c) => Div a b c | a b -> c, c b -> a Source

class (NumTypeI a, NumTypeI b, NumTypeI c) => Mul a b c | a b -> c Source

toNum :: (NumTypeI n, Num a) => n -> a Source

incr :: Succ a b => a -> b Source

decr :: Succ a b => b -> a Source

negate :: Negate a b => a -> b Source

(+) :: Sum a b c => a -> b -> c infixl 6 Source

(-) :: Sum a b c => c -> b -> a infixl 6 Source

(*) :: Mul a b c => a -> b -> c infixl 7 Source

(/) :: Div a b c => a -> b -> c infixl 7 Source

data Zero Source

data Pos n Source

data Neg n Source

type Pos1 = Pos Zero Source

type Pos2 = Pos Pos1 Source

type Pos3 = Pos Pos2 Source

type Pos4 = Pos Pos3 Source

type Pos5 = Pos Pos4 Source

type Neg1 = Neg Zero Source

type Neg2 = Neg Neg1 Source

type Neg3 = Neg Neg2 Source

type Neg4 = Neg Neg3 Source

type Neg5 = Neg Neg4 Source

zero :: Zero Source

pos1 :: Pos1 Source

pos2 :: Pos2 Source

pos3 :: Pos3 Source

pos4 :: Pos4 Source

pos5 :: Pos5 Source

neg1 :: Neg1 Source

neg2 :: Neg2 Source

neg3 :: Neg3 Source

neg4 :: Neg4 Source

neg5 :: Neg5 Source