Fresnel.At

Updateable collections

class Ixed c => At c where

Methods

at :: Index c -> Lens' c (Maybe (IxValue c))

Instances

At IntSet

Defined in Fresnel.At

Methods

at :: Index IntSet -> Lens' IntSet (Maybe (IxValue IntSet))

At (Maybe a)

Defined in Fresnel.At

Methods

at :: Index (Maybe a) -> Lens' (Maybe a) (Maybe (IxValue (Maybe a)))

At (IntMap v)

Defined in Fresnel.At

Methods

at :: Index (IntMap v) -> Lens' (IntMap v) (Maybe (IxValue (IntMap v)))

Ord k => At (Set k)

Defined in Fresnel.At

Methods

at :: Index (Set k) -> Lens' (Set k) (Maybe (IxValue (Set k)))

(Eq k, Hashable k) => At (HashSet k)

Defined in Fresnel.At

Methods

at :: Index (HashSet k) -> Lens' (HashSet k) (Maybe (IxValue (HashSet k)))

Ord k => At (Map k v)

Defined in Fresnel.At

Methods

at :: Index (Map k v) -> Lens' (Map k v) (Maybe (IxValue (Map k v)))

(Eq k, Hashable k) => At (HashMap k v)

Defined in Fresnel.At

Methods

at :: Index (HashMap k v) -> Lens' (HashMap k v) (Maybe (IxValue (HashMap k v)))

type family Index c

Instances

type Index IntSet

Defined in Fresnel.Ixed

type Index IntSet = Key

type Index [v]

Defined in Fresnel.Ixed

type Index [v] = Int

type Index (Maybe a)

Defined in Fresnel.Ixed

type Index (Maybe a) = ()

type Index (NonEmpty v)

Defined in Fresnel.Ixed

type Index (NonEmpty v) = Int

type Index (IntMap v)

Defined in Fresnel.Ixed

type Index (IntMap v) = Key

type Index (Set k)

Defined in Fresnel.Ixed

type Index (Set k) = k

type Index (HashSet k)

Defined in Fresnel.Ixed

type Index (HashSet k) = k

type Index (Map k v)

Defined in Fresnel.Ixed

type Index (Map k v) = k

type Index (HashMap k v)

Defined in Fresnel.Ixed

type Index (HashMap k v) = k

type family IxValue c

Instances

type IxValue IntSet

Defined in Fresnel.Ixed

type IxValue IntSet = ()

type IxValue [v]

Defined in Fresnel.Ixed

type IxValue [v] = v

type IxValue (Maybe a)

Defined in Fresnel.Ixed

type IxValue (Maybe a) = a

type IxValue (NonEmpty v)

Defined in Fresnel.Ixed

type IxValue (NonEmpty v) = v

type IxValue (IntMap v)

Defined in Fresnel.Ixed

type IxValue (IntMap v) = v

type IxValue (Set k)

Defined in Fresnel.Ixed

type IxValue (Set k) = ()

type IxValue (HashSet k)

Defined in Fresnel.Ixed

type IxValue (HashSet k) = ()

type IxValue (Map k v)

Defined in Fresnel.Ixed

type IxValue (Map k v) = v

type IxValue (HashMap k v)

Defined in Fresnel.Ixed

type IxValue (HashMap k v) = v

Construction

atSet :: (Index c -> c -> Bool) -> (Index c -> c -> c) -> (Index c -> c -> c) -> Index c -> Lens' c (Maybe ())

atMap :: (Index c -> c -> Maybe (IxValue c)) -> (Index c -> IxValue c -> c -> c) -> (Index c -> c -> c) -> Index c -> Lens' c (Maybe (IxValue c))

ixAt :: At a => Index a -> Optional' a (IxValue a)

Elimination

sans :: At c => Index c -> c -> c