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