references-0.3.2.1: Selectors for reading and updating data.

Safe HaskellNone
LanguageHaskell98

Control.Reference.Predefined.Containers

Description

References for standard containers

Synopsis

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 :: * #

Instances

Association Text # 

Associated Types

type AssocIndex Text :: * #

type 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) :: * #

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 :: * #

Ord v => SetLike (Set v) # 

Associated Types

type SetElem (Set v) :: * #

Methods

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