| Copyright | Copyright (c) 2014 Kenneth Foner |
|---|---|
| Maintainer | kenneth.foner@gmail.com |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.List.Indexed
Description
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