Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
module Data.Peano
Functor (CList n) Source # | |
Applicative (CList n) => Applicative (CList (Succ n)) Source # | |
Applicative (CList Zero) Source # | |
Foldable (CList n) Source # | |
Traversable (CList n) Source # | |
Eq a => Eq (CList n a) Source # | |
Ord a => Ord (CList n a) Source # | |
Show a => Show (CList n a) Source # | |
Semigroup a => Semigroup (CList n a) Source # | |
(Semigroup a, Semigroup (CList n a), Monoid a, Monoid (CList n a)) => Monoid (CList (Succ n) a) Source # | |
(Semigroup a, Monoid a) => Monoid (CList Zero a) Source # | |