Data.Comp.Multi.Mapping

This module provides functionality to construct mappings from positions in a functorial value.

Documentation

data Numbered a i

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

Constructors

Numbered Int (a i)

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)

class Mapping m k | m -> k where

Methods

(&) :: m v -> m v -> m v infixr 0

left-biased union of two mappings.

(|->) :: k i -> v -> m v infix 1

This operator constructs a singleton mapping.

empty :: m v

This is the empty mapping.

prodMap :: v1 -> v2 -> m v1 -> m v2 -> m (v1, v2)

This function constructs the pointwise product of two maps each with a default value.

findWithDefault :: a -> k i -> m a -> a

Returns the value at the given key or returns the given default when the key is not an element of the map.

lookupNumMap :: a -> Int -> NumMap t a -> a