Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
module Data.Peano
Instances
Functor (CList n) Source # | |
Applicative (CList n) => Applicative (CList (Succ n)) Source # | |
Defined in Data.CList pure :: a -> CList (Succ n) a # (<*>) :: CList (Succ n) (a -> b) -> CList (Succ n) a -> CList (Succ n) b # liftA2 :: (a -> b -> c) -> CList (Succ n) a -> CList (Succ n) b -> CList (Succ n) c # (*>) :: CList (Succ n) a -> CList (Succ n) b -> CList (Succ n) b # (<*) :: CList (Succ n) a -> CList (Succ n) b -> CList (Succ n) a # | |
Applicative (CList Zero) Source # | |
Foldable (CList n) Source # | |
Defined in Data.CList fold :: Monoid m => CList n m -> m # foldMap :: Monoid m => (a -> m) -> CList n a -> m # foldr :: (a -> b -> b) -> b -> CList n a -> b # foldr' :: (a -> b -> b) -> b -> CList n a -> b # foldl :: (b -> a -> b) -> b -> CList n a -> b # foldl' :: (b -> a -> b) -> b -> CList n a -> b # foldr1 :: (a -> a -> a) -> CList n a -> a # foldl1 :: (a -> a -> a) -> CList n a -> a # elem :: Eq a => a -> CList n a -> Bool # maximum :: Ord a => CList n a -> a # minimum :: Ord a => CList n a -> a # | |
Traversable (CList n) Source # | |
Eq1 (CList n) Source # | |
Ord1 (CList n) Source # | |
Defined in Data.CList | |
Natural n => Read1 (CList n) Source # | |
Defined in Data.CList | |
Show1 (CList n) Source # | |
Eq a => Eq (CList n a) Source # | |
Ord a => Ord (CList n a) Source # | |
Defined in Data.CList | |
(Read a, Natural n) => Read (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 # | |