Data.Comp.Multi.Number

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

Documentation

newtype Numbered a i

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

Constructors

Numbered (Int, a i)

Instances

KEq (Numbered a)

KOrd (Numbered a)

unNumbered :: Numbered a :-> a

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

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

class HFoldable t => HTraversable t

Minimal complete definition

hmapM, htraverse

Instances

HTraversable f => HTraversable (Cxt h f)

HTraversable f => HTraversable ((:&:) * f a)

(HTraversable f, HTraversable g) => HTraversable ((:+:) * f g)