Safe Haskell	None
Language	Haskell2010

Fresnel.Ixed

Contents

Indexable collections
Construction

Synopsis

class Ixed c where
- type Index c
- type IxValue c
- ix :: Index c -> Optional' c (IxValue c)
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

Indexable collections

class Ixed c where Source #

Associated Types

type Index c Source #

type IxValue c Source #

Methods

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

Instances

Instances details

Ixed IntSet Source #

Instance details

Defined in Fresnel.Ixed

Associated Types

type Index IntSet
Instance details Defined in Fresnel.Ixed type Index IntSet = Key
type IxValue IntSet
Instance details Defined in Fresnel.Ixed type IxValue IntSet = ()

Methods

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

Ixed (IntMap v) Source #

Instance details

Defined in Fresnel.Ixed

Associated Types

type Index (IntMap v)
Instance details Defined in Fresnel.Ixed type Index (IntMap v) = Key
type IxValue (IntMap v)
Instance details Defined in Fresnel.Ixed type IxValue (IntMap v) = v

Methods

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

Ord k => Ixed (Set k) Source #

Instance details

Defined in Fresnel.Ixed

Associated Types

type Index (Set k)
Instance details Defined in Fresnel.Ixed type Index (Set k) = k
type IxValue (Set k)
Instance details Defined in Fresnel.Ixed type IxValue (Set k) = ()

Methods

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

Ixed (NonEmpty v) Source #

Instance details

Defined in Fresnel.Ixed

Associated Types

type Index (NonEmpty v)
Instance details Defined in Fresnel.Ixed type Index (NonEmpty v) = Int
type IxValue (NonEmpty v)
Instance details Defined in Fresnel.Ixed type IxValue (NonEmpty v) = v

Methods

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

Hashable k => Ixed (HashSet k) Source #

Instance details

Defined in Fresnel.Ixed

Associated Types

type Index (HashSet k)
Instance details Defined in Fresnel.Ixed type Index (HashSet k) = k
type IxValue (HashSet k)
Instance details Defined in Fresnel.Ixed type IxValue (HashSet k) = ()

Methods

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

Ixed (Maybe a) Source #

Instance details

Defined in Fresnel.Ixed

Associated Types

type Index (Maybe a)
Instance details Defined in Fresnel.Ixed type Index (Maybe a) = ()
type IxValue (Maybe a)
Instance details Defined in Fresnel.Ixed type IxValue (Maybe a) = a

Methods

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

Ixed [v] Source #

Instance details

Defined in Fresnel.Ixed

Associated Types

type Index [v]
Instance details Defined in Fresnel.Ixed type Index [v] = Int
type IxValue [v]
Instance details Defined in Fresnel.Ixed type IxValue [v] = v

Methods

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

Ord k => Ixed (Map k v) Source #

Instance details

Defined in Fresnel.Ixed

Associated Types

type Index (Map k v)
Instance details Defined in Fresnel.Ixed type Index (Map k v) = k
type IxValue (Map k v)
Instance details Defined in Fresnel.Ixed type IxValue (Map k v) = v

Methods

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

Hashable k => Ixed (HashMap k v) Source #

Instance details

Defined in Fresnel.Ixed

Associated Types

type Index (HashMap k v)
Instance details Defined in Fresnel.Ixed type Index (HashMap k v) = k
type IxValue (HashMap k v)
Instance details Defined in Fresnel.Ixed type IxValue (HashMap k v) = v

Methods

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

Construction

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

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

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