compdata-0.5: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerPatrick Bahr <[email protected]>

Data.Comp.Zippable

Description

 

Synopsis

Documentation

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

Numbered (Int, a) 

Instances

Eq (Numbered a) 
Ord (Numbered a) 

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

Constructors

Cons a (Stream a) 

Instances

Eq a => Eq (Stream a) 
Ord a => Ord (Stream a) 

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

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