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)

Defined in Data.Comp.Multi.Term

Methods

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

htraverse :: forall (f0 :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f0 => NatM f0 a b -> NatM f0 (Cxt h f a) (Cxt h f b)

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

Defined in Data.Comp.Multi.Ops

Methods

hmapM :: forall (m :: Type -> Type) (a0 :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a0 b -> NatM m ((f :&: a) a0) ((f :&: a) b)

htraverse :: forall (f0 :: Type -> Type) (a0 :: Type -> Type) (b :: Type -> Type). Applicative f0 => NatM f0 a0 b -> NatM f0 ((f :&: a) a0) ((f :&: a) b)

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

Defined in Data.Comp.Multi.Ops

Methods

hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m ((f :+: g) a) ((f :+: g) b)

htraverse :: forall (f0 :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f0 => NatM f0 a b -> NatM f0 ((f :+: g) a) ((f :+: g) b)

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