Safe Haskell	Safe
Language	Haskell98

Data.CList

Documentation

data CList n a where Source

Constructors

Nil :: CList Zero a
(:.) :: a -> CList n a -> CList (Succ n) a infixr 5

Instances

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
(Monoid a, Monoid (CList n a)) => Monoid (CList (Succ n) a) Source
Monoid a => Monoid (CList Zero a) Source