yoko-0.3.2: Generic Programming with Disbanded Data Types

Portabilitysee LANGUAGE pragmas (... GHC)
Stabilityexperimental
Maintainernicolas.frisby@gmail.com
Safe HaskellSafe-Infered

Data.Yoko.Each

Description

Basic support for folding through type-level sums.

Synopsis

Documentation

type Each = Each_Source

The constraint Each con sum corresponds to the constraing forall dc in sum. con dc.

each :: Each cxt sum => Proxy cxt -> (forall a. cxt a => a -> b) -> sum -> bSource

Fold through a type-level sum.