Data.Zip.FoldL

Zipping of non-strict left folds.

See http://conal.net/blog/tag/zip. Inspired by Beautiful Folds by Max Rabkin http://squing.blogspot.com/2008/11/beautiful-folding.html

Documentation

data Fold b a

Data representation of a left fold

Constructors

F (a -> b -> a) a

Instances

Zip (Fold b)

Zip' (Fold b)

cfoldl :: Fold b a -> [b] -> a

Interpretation of a Fold as non-strict

cfoldl' :: Fold b a -> [b] -> a

Interpretation of a Fold as non-strict

data WithCont h b c

Add a continuation.

Instances

Functor (WithCont h b)

Zip (h b) => Applicative (WithCont h b)

type FoldC = WithCont Fold

Non-strict left fold with continuation.

cfoldlc :: FoldC b a -> [b] -> a

Interpretation of a FoldC

data WithCont' h b c

Like WithCont but with pair-strict '(*)'

Instances

Functor (WithCont' h b)

Zip' (h b) => Applicative (WithCont' h b)

type FoldC' = WithCont' Fold

Strict left fold with continuation.

cfoldlc' :: FoldC' b a -> [b] -> a

Interpretation of a FoldC

class Zip' f where

Strict generalized zip

Methods

zip' :: f a -> f b -> f (P a b)

Instances

Zip' []

Zip' IO

Zip' ((->) u)

Monoid u => Zip' ((,) u)

Zip' (Fold b)

data P c c'

Strict pairs