compdata-0.4.1: Compositional Data Types
Data.Comp.Zippable
Description
Synopsis
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
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