compdata-0.4.1: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerPatrick Bahr <paba@diku.dk>

Data.Comp.Zippable

Description

 

Synopsis

Documentation

class Functor f => Zippable f Source

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

Instances

newtype Numbered a Source

This type is used for applying a DDTAs.

Constructors

Numbered (Int, a) 

Instances

Eq (Numbered a) 
Ord (Numbered a) 

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.