Safe Haskell	Safe-Inferred
Language	Haskell2010

Fresnel.At

Contents

Synopsis

class Ixed c => At c where
- at :: Index c -> Lens' c (Maybe (IxValue c))
type family Index c
type family IxValue c
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)
sans :: At c => Index c -> c -> c

Updateable collections

class Ixed c => At c where Source #

Methods

Instances details

At IntSet Source #
Instance details Defined in Fresnel.At Methods at :: Index IntSet -> Lens' IntSet (Maybe (IxValue IntSet)) Source #
At (IntMap v) Source #
Instance details Defined in Fresnel.At Methods at :: Index (IntMap v) -> Lens' (IntMap v) (Maybe (IxValue (IntMap v))) Source #
Ord k => At (Set k) Source #
Instance details Defined in Fresnel.At Methods at :: Index (Set k) -> Lens' (Set k) (Maybe (IxValue (Set k))) Source #
(Eq k, Hashable k) => At (HashSet k) Source #
Instance details Defined in Fresnel.At Methods at :: Index (HashSet k) -> Lens' (HashSet k) (Maybe (IxValue (HashSet k))) Source #
At (Maybe a) Source #
Instance details Defined in Fresnel.At Methods at :: Index (Maybe a) -> Lens' (Maybe a) (Maybe (IxValue (Maybe a))) Source #
Ord k => At (Map k v) Source #
Instance details Defined in Fresnel.At Methods at :: Index (Map k v) -> Lens' (Map k v) (Maybe (IxValue (Map k v))) Source #
(Eq k, Hashable k) => At (HashMap k v) Source #
Instance details Defined in Fresnel.At Methods at :: Index (HashMap k v) -> Lens' (HashMap k v) (Maybe (IxValue (HashMap k v))) Source #

type family Index c Source #

Instances details

type Index IntSet Source #
Instance details Defined in Fresnel.Ixed type Index IntSet = Key
type Index (NonEmpty v) Source #
Instance details Defined in Fresnel.Ixed type Index (NonEmpty v) = Int
type Index (IntMap v) Source #
Instance details Defined in Fresnel.Ixed type Index (IntMap v) = Key
type Index (Set k) Source #
Instance details Defined in Fresnel.Ixed type Index (Set k) = k
type Index (HashSet k) Source #
Instance details Defined in Fresnel.Ixed type Index (HashSet k) = k
type Index (Maybe a) Source #
Instance details Defined in Fresnel.Ixed type Index (Maybe a) = ()
type Index [v] Source #
Instance details Defined in Fresnel.Ixed type Index [v] = Int
type Index (Map k v) Source #
Instance details Defined in Fresnel.Ixed type Index (Map k v) = k
type Index (HashMap k v) Source #
Instance details Defined in Fresnel.Ixed type Index (HashMap k v) = k

type family IxValue c Source #

Instances details

type IxValue IntSet Source #
Instance details Defined in Fresnel.Ixed type IxValue IntSet = ()
type IxValue (NonEmpty v) Source #
Instance details Defined in Fresnel.Ixed type IxValue (NonEmpty v) = v
type IxValue (IntMap v) Source #
Instance details Defined in Fresnel.Ixed type IxValue (IntMap v) = v
type IxValue (Set k) Source #
Instance details Defined in Fresnel.Ixed type IxValue (Set k) = ()
type IxValue (HashSet k) Source #
Instance details Defined in Fresnel.Ixed type IxValue (HashSet k) = ()
type IxValue (Maybe a) Source #
Instance details Defined in Fresnel.Ixed type IxValue (Maybe a) = a
type IxValue [v] Source #
Instance details Defined in Fresnel.Ixed type IxValue [v] = v
type IxValue (Map k v) Source #
Instance details Defined in Fresnel.Ixed type IxValue (Map k v) = v
type IxValue (HashMap k v) Source #
Instance details 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 ()) Source #

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

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