compdata-0.5: Compositional Data Types

Data.Comp.Zippable

Description

Synopsis

class Functor f => Zippable f whereSource

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

Methods

fzip :: Stream a -> f b -> f (a, b)Source

fzipWith :: (a -> b -> c) -> Stream a -> f b -> f cSource

Instances

newtype Numbered a Source

This type is used for applying a DDTAs.

Constructors

unNumbered :: Numbered a -> aSource

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

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

data Stream a Source

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

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

<:>

Cons