Data.ProxN.Peano

Documentation

data Zero

Instances

Logarithm Zero

Peano Zero

VecNClass Zero

Tree2NClass Zero

Functor (VecN Zero)

Functor (Treed Zero)

Applicative (VecN Zero)

Applicative (Treed Zero)

Foldable (VecN Zero)

Show1 (Treed Zero)

Pretty1 (Treed Zero)

Show (VecN Zero a)

Show a => Pretty (VecN Zero a)

data Succ n

Instances

Functor (VecN n) => Functor (VecN (Succ n))

Functor (Treed n) => Functor (Treed (Succ n))

Applicative (VecN n) => Applicative (VecN (Succ n))

Applicative (Treed n) => Applicative (Treed (Succ n))

Foldable (VecN n) => Foldable (VecN (Succ n))

Show1 (Treed n) => Show1 (Treed (Succ n))

Pretty1 (Treed n) => Pretty1 (Treed (Succ n))

Peano a => Logarithm (Succ a)

Peano p => Peano (Succ p)

VecNClass r => VecNClass (Succ r)

Tree2NClass n => Tree2NClass (Succ n)

(Show a, Show (VecN n a)) => Show (VecN (Succ n) a)

(Show a, Show (VecN n a)) => Pretty (VecN (Succ n) a)

type One = Succ Zero

type Two = Succ One

type Three = Succ Two

type Four = Succ Three

type Five = Succ Four

type Six = Succ Five

type Seven = Succ Six

type Eight = Succ Seven

type Nine = Succ Eight

type Ten = Succ Nine

class Peano p where

Methods

fromPeano :: p -> Int

Instances

Peano Zero

Peano p => Peano (Succ p)

class Peano p => Logarithm p where

Methods

logarithm :: p -> Double -> Double

Instances

Logarithm Zero

Peano a => Logarithm (Succ a)