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)

Methods

hmapM :: Monad m => NatM m a b -> NatM m (Cxt h f a) (Cxt h f b)

htraverse :: Applicative f => NatM f a b -> NatM f (Cxt h f a) (Cxt h f b)

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

Methods

hmapM :: Monad m => NatM m a b -> NatM m ((* :&: f) a a) ((* :&: f) a b)

htraverse :: Applicative f => NatM f a b -> NatM f ((* :&: f) a a) ((* :&: f) a b)

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

Methods

hmapM :: Monad m => NatM m a b -> NatM m ((* :+: f) g a) ((* :+: f) g b)

htraverse :: Applicative f => NatM f a b -> NatM f ((* :+: f) g a) ((* :+: f) g b)

class Mapping m k | m -> k where

Minimal complete definition

(&), (|->), empty, prodMap, findWithDefault

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