compdata-0.6.1.4: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerPatrick Bahr <paba@diku.dk>
Safe HaskellNone

Data.Comp.Multi.Number

Description

This module provides functionality to number the components of a functorial value with consecutive integers.

Synopsis

Documentation

newtype Numbered a i Source

This type is used for numbering components of a functorial value.

Constructors

Numbered (Int, a i) 

Instances

number :: HTraversable f => f a :-> f (Numbered a)Source

This function numbers the components of the given functorial value with consecutive integers starting at 0.