Safe Haskell	Safe
Language	Haskell2010

Optic.Lens.Contains

Contents

Contains

Synopsis

class Contains m where
type family Index s :: *

Contains

class Contains m where #

This class provides a simple Lens that lets you view (and modify) information about whether or not a container contains a given Index.

Minimal complete definition

contains

Methods

contains :: Index m -> Lens' m Bool #

>>> IntSet.fromList [1,2,3,4] ^. contains 3
True

>>> IntSet.fromList [1,2,3,4] ^. contains 5
False

>>> IntSet.fromList [1,2,3,4] & contains 3 .~ False
fromList [1,2,4]

Instances

Contains IntSet
Instance details Defined in Control.Lens.At Methods contains :: Index IntSet -> Lens' IntSet Bool #
Ord a => Contains (Set a)
Instance details Defined in Control.Lens.At Methods contains :: Index (Set a) -> Lens' (Set a) Bool #
(Eq a, Hashable a) => Contains (HashSet a)
Instance details Defined in Control.Lens.At Methods contains :: Index (HashSet a) -> Lens' (HashSet a) Bool #

type family Index s :: * #

Instances

type Index ByteString
Instance details Defined in Control.Lens.At type Index ByteString = Int
type Index ByteString
Instance details Defined in Control.Lens.At type Index ByteString = Int64
type Index Text
Instance details Defined in Control.Lens.At type Index Text = Int
type Index Value
Instance details Defined in Data.Aeson.Lens type Index Value = Text
type Index Text
Instance details Defined in Control.Lens.At type Index Text = Int64
type Index IntSet
Instance details Defined in Control.Lens.At type Index IntSet = Int
type Index [a]
Instance details Defined in Control.Lens.At type Index [a] = Int
type Index (Maybe a)
Instance details Defined in Control.Lens.At type Index (Maybe a) = ()
type Index (Complex a)
Instance details Defined in Control.Lens.At type Index (Complex a) = Int
type Index (Identity a)
Instance details Defined in Control.Lens.At type Index (Identity a) = ()
type Index (NonEmpty a)
Instance details Defined in Control.Lens.At type Index (NonEmpty a) = Int
type Index (IntMap a)
Instance details Defined in Control.Lens.At type Index (IntMap a) = Int
type Index (Tree a)
Instance details Defined in Control.Lens.At type Index (Tree a) = [Int]
type Index (Seq a)
Instance details Defined in Control.Lens.At type Index (Seq a) = Int
type Index (Set a)
Instance details Defined in Control.Lens.At type Index (Set a) = a
type Index (Vector a)
Instance details Defined in Control.Lens.At type Index (Vector a) = Int
type Index (Vector a)
Instance details Defined in Control.Lens.At type Index (Vector a) = Int
type Index (Vector a)
Instance details Defined in Control.Lens.At type Index (Vector a) = Int
type Index (HashSet a)
Instance details Defined in Control.Lens.At type Index (HashSet a) = a
type Index (Vector a)
Instance details Defined in Control.Lens.At type Index (Vector a) = Int
type Index (e -> a)
Instance details Defined in Control.Lens.At type Index (e -> a) = e
type Index (a, b)
Instance details Defined in Control.Lens.At type Index (a, b) = Int
type Index (HashMap k a)
Instance details Defined in Control.Lens.At type Index (HashMap k a) = k
type Index (Map k a)
Instance details Defined in Control.Lens.At type Index (Map k a) = k
type Index (UArray i e)
Instance details Defined in Control.Lens.At type Index (UArray i e) = i
type Index (Array i e)
Instance details Defined in Control.Lens.At type Index (Array i e) = i
type Index (a, b, c)
Instance details Defined in Control.Lens.At type Index (a, b, c) = Int
type Index (a, b, c, d)
Instance details Defined in Control.Lens.At type Index (a, b, c, d) = Int
type Index (a, b, c, d, e)
Instance details Defined in Control.Lens.At type Index (a, b, c, d, e) = Int
type Index (a, b, c, d, e, f)
Instance details Defined in Control.Lens.At type Index (a, b, c, d, e, f) = Int
type Index (a, b, c, d, e, f, g)
Instance details Defined in Control.Lens.At type Index (a, b, c, d, e, f, g) = Int
type Index (a, b, c, d, e, f, g, h)
Instance details Defined in Control.Lens.At type Index (a, b, c, d, e, f, g, h) = Int
type Index (a, b, c, d, e, f, g, h, i)
Instance details Defined in Control.Lens.At type Index (a, b, c, d, e, f, g, h, i) = Int