Control.Reference.Predefined.Containers

References for standard containers

Documentation

class Association e where

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

Minimal complete definition

element

Associated Types

type AssocIndex e :: *

type AssocElem e :: *

Methods

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

Instances

Association Text

Associated Types

type AssocIndex Text :: *

type AssocElem Text :: *

Methods

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

Association [a]

Associated Types

type AssocIndex [a] :: *

type AssocElem [a] :: *

Methods

element :: AssocIndex [a] -> Simple Partial [a] (AssocElem [a])

Association (IntMap v)

Associated Types

type AssocIndex (IntMap v) :: *

type AssocElem (IntMap v) :: *

Methods

element :: AssocIndex (IntMap v) -> Simple Partial (IntMap v) (AssocElem (IntMap v))

Association (Seq a)

Associated Types

type AssocIndex (Seq a) :: *

type AssocElem (Seq a) :: *

Methods

element :: AssocIndex (Seq a) -> Simple Partial (Seq a) (AssocElem (Seq a))

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

Associated Types

type AssocIndex (a -> Maybe b) :: *

type AssocElem (a -> Maybe b) :: *

Methods

element :: AssocIndex (a -> Maybe b) -> Simple Partial (a -> Maybe b) (AssocElem (a -> Maybe b))

Ix i => Association (Array i a)

Associated Types

type AssocIndex (Array i a) :: *

type AssocElem (Array i a) :: *

Methods

element :: AssocIndex (Array i a) -> Simple Partial (Array i a) (AssocElem (Array i a))

Ord k => Association (Map k v)

Associated Types

type AssocIndex (Map k v) :: *

type AssocElem (Map k v) :: *

Methods

element :: AssocIndex (Map k v) -> Simple Partial (Map k v) (AssocElem (Map k v))

class Association e => Mapping e where

Minimal complete definition

at

Methods

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

Instances

Mapping (IntMap v)

Methods

at :: AssocIndex (IntMap v) -> Simple Lens (IntMap v) (Maybe (AssocElem (IntMap v)))

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

Methods

at :: AssocIndex (a -> Maybe b) -> Simple Lens (a -> Maybe b) (Maybe (AssocElem (a -> Maybe b)))

Ord k => Mapping (Map k v)

Methods

at :: AssocIndex (Map k v) -> Simple Lens (Map k v) (Maybe (AssocElem (Map k v)))

class SetLike e where

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

Minimal complete definition

contains

Associated Types

type SetElem e :: *

Methods

contains :: SetElem e -> Simple Lens e Bool

Instances

SetLike IntSet

Associated Types

type SetElem IntSet :: *

Methods

contains :: SetElem IntSet -> Simple Lens IntSet Bool

Ord v => SetLike (Set v)

Associated Types

type SetElem (Set v) :: *

Methods

contains :: SetElem (Set v) -> Simple Lens (Set v) Bool