Data.Comp.Zippable

Documentation

class Functor f => Zippable f

Instances of this class provide a generalisation of the zip function on the list functor.

Instances

Zippable []

newtype Numbered a

This type is used for applying a DDTAs.

Constructors

Numbered (Int, a)

Instances

Eq (Numbered a)

Ord (Numbered a)

unNumbered :: Numbered a -> a

number :: Zippable f => f a -> f (Numbered a)

number' :: Zippable f => f a -> f (Int, a)

data Stream a

Constructors

Cons a (Stream a)

Instances

Eq a => Eq (Stream a)

Ord a => Ord (Stream a)

(<:>) :: a -> Stream a -> Stream a

The <:> operator is an infix version of the Cons constructor.