Fresnel.Ixed

Indexable collections

class Ixed c where

Associated Types

type Index c

type IxValue c

Methods

ix :: Index c -> Optional' c (IxValue c)

Instances

Ixed IntSet

Defined in Fresnel.Ixed

Associated Types

type Index IntSet

type IxValue IntSet

Methods

ix :: Index IntSet -> Optional' IntSet (IxValue IntSet)

Ixed (NonEmpty v)

Defined in Fresnel.Ixed

Associated Types

type Index (NonEmpty v)

type IxValue (NonEmpty v)

Methods

ix :: Index (NonEmpty v) -> Optional' (NonEmpty v) (IxValue (NonEmpty v))

Ixed (IntMap v)

Defined in Fresnel.Ixed

Associated Types

type Index (IntMap v)

type IxValue (IntMap v)

Methods

ix :: Index (IntMap v) -> Optional' (IntMap v) (IxValue (IntMap v))

Ord k => Ixed (Set k)

Defined in Fresnel.Ixed

Associated Types

type Index (Set k)

type IxValue (Set k)

Methods

ix :: Index (Set k) -> Optional' (Set k) (IxValue (Set k))

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

Defined in Fresnel.Ixed

Associated Types

type Index (HashSet k)

type IxValue (HashSet k)

Methods

ix :: Index (HashSet k) -> Optional' (HashSet k) (IxValue (HashSet k))

Ixed (Maybe a)

Defined in Fresnel.Ixed

Associated Types

type Index (Maybe a)

type IxValue (Maybe a)

Methods

ix :: Index (Maybe a) -> Optional' (Maybe a) (IxValue (Maybe a))

Ixed [v]

Defined in Fresnel.Ixed

Associated Types

type Index [v]

type IxValue [v]

Methods

ix :: Index [v] -> Optional' [v] (IxValue [v])

Ord k => Ixed (Map k v)

Defined in Fresnel.Ixed

Associated Types

type Index (Map k v)

type IxValue (Map k v)

Methods

ix :: Index (Map k v) -> Optional' (Map k v) (IxValue (Map k v))

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

Defined in Fresnel.Ixed

Associated Types

type Index (HashMap k v)

type IxValue (HashMap k v)

Methods

ix :: Index (HashMap k v) -> Optional' (HashMap k v) (IxValue (HashMap k v))

Construction

ixSet :: (Index c -> c -> Bool) -> (Index c -> c -> c) -> Index c -> Optional' c ()

ixMap :: (Index c -> c -> Maybe (IxValue c)) -> (Index c -> IxValue c -> c -> c) -> Index c -> Optional' c (IxValue c)

ixList :: Int -> Optional' [a] a