Documentation
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) |