references-0.3.3.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.

Associated Types

type AssocIndex e :: * #

type AssocElem e :: * #

Instances
Association Text # 
Instance details

Defined in Control.Reference.Predefined.Containers

Associated Types

type AssocIndex Text :: Type #

type AssocElem Text :: Type #

Association [a] # 
Instance details

Defined in Control.Reference.Predefined.Containers

Associated Types

type AssocIndex [a] :: Type #

type AssocElem [a] :: Type #

Methods

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

Association (IntMap v) # 
Instance details

Defined in Control.Reference.Predefined.Containers

Associated Types

type AssocIndex (IntMap v) :: Type #

type AssocElem (IntMap v) :: Type #

Association (Tree v) # 
Instance details

Defined in Control.Reference.Predefined.Containers.Tree

Associated Types

type AssocIndex (Tree v) :: Type #

type AssocElem (Tree v) :: Type #

Methods

element :: AssocIndex (Tree v) -> Simple Partial (Tree v) (AssocElem (Tree v)) #

Association (Seq a) # 
Instance details

Defined in Control.Reference.Predefined.Containers

Associated Types

type AssocIndex (Seq a) :: Type #

type AssocElem (Seq a) :: Type #

Methods

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

Eq a => Association (a -> Maybe b) # 
Instance details

Defined in Control.Reference.Predefined.Containers

Associated Types

type AssocIndex (a -> Maybe b) :: Type #

type AssocElem (a -> Maybe b) :: Type #

Methods

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

Ix i => Association (Array i a) # 
Instance details

Defined in Control.Reference.Predefined.Containers

Associated Types

type AssocIndex (Array i a) :: Type #

type AssocElem (Array i a) :: Type #

Methods

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

Ord k => Association (Map k v) # 
Instance details

Defined in Control.Reference.Predefined.Containers

Associated Types

type AssocIndex (Map k v) :: Type #

type AssocElem (Map k v) :: Type #

Methods

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

class Association e => Mapping e where #

Methods

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

Instances
Mapping (IntMap v) # 
Instance details

Defined in Control.Reference.Predefined.Containers

Methods

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

Eq a => Mapping (a -> Maybe b) # 
Instance details

Defined in Control.Reference.Predefined.Containers

Methods

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

Ord k => Mapping (Map k v) # 
Instance details

Defined in Control.Reference.Predefined.Containers

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

Associated Types

type SetElem e :: * #

Methods

contains :: SetElem e -> Simple Lens e Bool #

Instances
SetLike IntSet # 
Instance details

Defined in Control.Reference.Predefined.Containers

Associated Types

type SetElem IntSet :: Type #

Ord v => SetLike (Set v) # 
Instance details

Defined in Control.Reference.Predefined.Containers

Associated Types

type SetElem (Set v) :: Type #

Methods

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