Control.Reference.Predefined.Containers

Documentation

class Association e where

Lenses for given values in a data structure that is indexed by keys.

Associated Types

type AssocIndex e :: *

type AssocElem e :: *

Methods

element :: AssocIndex e -> Simple Partial e (AssocElem e)

Instances

Association Text

Association [a]

Association (IntMap v)

Association (Tree v)

Association (Seq a)

Eq a => Association (a -> Maybe b)

Ix i => Association (Array i a)

Ord k => Association (Map k v)

class Association e => Mapping e where

Methods

at :: AssocIndex e -> Simple Lens e (Maybe (AssocElem e))

Instances

Mapping (IntMap v)

Eq a => Mapping (a -> Maybe b)

Ord k => Mapping (Map k v)

class SetLike e where

Containers that can be used as a set, inserting and removing elements

Associated Types

type SetElem e :: *

Methods

contains :: SetElem e -> Simple Lens e Bool

Instances

SetLike IntSet

Ord v => SetLike (Set v)