HGeometry.Indexed

Description

Things that have an index.

Synopsis

class HasIndex a where
- sosIndex :: a -> Index
type Index = Int
data WithIndex a = WithIndex !Index a
theValue :: forall a b f. Functor f => (a -> f b) -> WithIndex a -> f (WithIndex b)
labelWithIndex :: Traversable t => t a -> t (WithIndex a)
labelWith :: Traversable t => (Index -> a -> b) -> t a -> t b
labelWith' :: Traversable t => (Index -> a -> b) -> t a -> (t b, Int)

Documentation

class HasIndex a where Source #

Types that have an index.

Methods

Get the index of a given a

Instances details

HasIndex (WithIndex a) Source #
Instance details Defined in HGeometry.Indexed Methods sosIndex :: WithIndex a -> Index Source #

A type of Indices

Associate a value of type a with an Index.

Constructors

Instances details

Show a => Show (WithIndex a) Source #
Instance details Defined in HGeometry.Indexed Methods showsPrec :: Int -> WithIndex a -> ShowS # show :: WithIndex a -> String # showList :: [WithIndex a] -> ShowS #
HasIndex (WithIndex a) Source #
Instance details Defined in HGeometry.Indexed Methods sosIndex :: WithIndex a -> Index Source #
Field1 (WithIndex a) (WithIndex b) a b Source #
Instance details Defined in HGeometry.Indexed Methods _1 :: Lens (WithIndex a) (WithIndex b) a b Source #

theValue :: forall a b f. Functor f => (a -> f b) -> WithIndex a -> f (WithIndex b) Source #

Lens to manipulate the value of the WithIndex

Label each element with its index.

labelWith :: Traversable t => (Index -> a -> b) -> t a -> t b Source #

Label each element with its index using the given labelling function.

labelWith' :: Traversable t => (Index -> a -> b) -> t a -> (t b, Int) Source #

Label each element with its index using the given labelling function. Returns the new collection as well as its size.