Data.Diverse.Lens.Many

Contents

• Isomorphism
• Single field
  • Lens for a single field
• Multiple fields
  • Lens for multiple fields

Synopsis

• _Many :: IsMany t xs a => Iso' (Many xs) (t xs a)
• _Many' :: IsMany Tagged xs a => Iso' (Many xs) a
• class HasItem a b s t | s a b -> t, t a b -> s where
• item' :: HasItem' a s => Lens' s a
• itemL :: HasItemL l a b s t => Lens s t a b
• itemL' :: HasItemL' l a s => Lens' s a
• itemTag :: HasItemTag l a b s t => Lens s t a b
• itemTag' :: HasItemTag' l a s => Lens' s a
• genericItemTag :: forall l a b s t. HasField l s t a b => Lens s t a b
• itemN :: HasItemN n a b s t => Lens s t a b
• itemN' :: HasItemN' n a s => Lens' s a
• project :: HasProject as bs ss ts a b s t => Lens s t a b
• project' :: HasProject' as ss a s => Lens' s a
• projectL :: HasProjectL ls as bs ss ts a b s t => Lens s t a b
• projectL' :: HasProjectL' ls as ss a s => Lens' s a
• projectN :: HasProjectN ns as bs ss ts a b s t => Lens s t a b
• projectN' :: HasProjectN' ns as ss a s => Lens' s a

Isomorphism

_Many = iso fromMany toMany

_Many' = iso fromMany' toMany'

Single field

Lens for a single field

Multiple fields

Lens for multiple fields