Copyright | Copyright (c) 2014 Kenneth Foner |
---|---|

Maintainer | kenneth.foner@gmail.com |

Stability | experimental |

Portability | non-portable |

Safe Haskell | Safe-Inferred |

Language | Haskell2010 |

This module re-exports the `ConicList`

and `CountedList`

types and functions to work with them.

- heterogenize :: (a -> f t) -> CountedList n a -> ConicList f (Replicate n t)
- homogenize :: (forall t. f t -> a) -> ConicList f ts -> CountedList (Length ts) a
- module Data.List.Indexed.Counted
- module Data.List.Indexed.Conic

# Documentation

heterogenize :: (a -> f t) -> CountedList n a -> ConicList f (Replicate n t) Source

Turn a `CountedList`

into a `ConicList`

by means of a function from some `a`

to an `(f t)`

.

homogenize :: (forall t. f t -> a) -> ConicList f ts -> CountedList (Length ts) a Source

Given a function to collapse any `(f t)`

into an `a`

, turn a `ConicList`

into a `CountedList`

.

module Data.List.Indexed.Counted

module Data.List.Indexed.Conic