Safe Haskell	None
Language	Haskell2010

Containers

Description

Module Containers include a lot of general methods for working with containers. All methods are scattered by classes.

Synopsis

data Set a
data Map k a
data IsoMap a b
data PrismMap k a
newtype Pair a = Pair {
- unPair :: (a, a)
}
newtype Quadruple a = Quadruple {
- unQuadruple :: (a, a, a, a)
}
data Index
index :: Int -> Index
class Sizable c where
- size :: c -> Int
class Nullable c where
- nullC :: c -> Bool
- emptyC :: c
class Singletonable c v | c -> v where
- singleton :: v -> c
class Valuable c v where
- values :: c -> [v]
- valuesSet :: Ord v => c -> Set v
class Keyable c k | c -> k where
- keys :: c -> [k]
- keysSet :: Ord k => c -> Set k
class Indexable c k v | c k -> v, c v -> k where
- (!?) :: MonadFail m => c -> k -> m v
- (!<>) :: c -> k -> Set v
- (.@) :: MonadFail m => Getting x y c -> k -> Getting x y (m v)
- (.<@>) :: Getting x y c -> k -> Getting x y (Set v)
class Slicable c k where
- takeC :: k -> c -> c
- dropC :: k -> c -> c
- splitAtC :: k -> c -> (c, c)
class Operable c where
- union :: c -> c -> c
- (\/) :: c -> c -> c
- (\/~) :: ASetter s t c c -> c -> s -> t
- (\/=) :: MonadState s m => ASetter s s c c -> c -> m ()
- intersection :: c -> c -> c
- (/\) :: c -> c -> c
- (/\~) :: ASetter s t c c -> c -> s -> t
- (/\=) :: MonadState s m => ASetter s s c c -> c -> m ()
- difference :: c -> c -> c
- (\\) :: c -> c -> c
- (\\~) :: ASetter s t c c -> c -> s -> t
- (\\=) :: MonadState s m => ASetter s s c c -> c -> m ()
class Listable c v | c -> v where
- toList :: c -> [v]
- fromList_ :: MonadFail m => [v] -> m c
class UnsafeListable c v | c -> v where
- fromList :: [v] -> c
class FastUnsafeListable c v | c -> v where
- fromAscList :: [v] -> c
- fromDistinctAscList :: [v] -> c
- fromDescList :: [v] -> c
- fromDistinctDescList :: [v] -> c
class Containable c v where
- member :: v -> c -> Bool
- notMember :: v -> c -> Bool
class Gunctor c1 c2 v1 v2 | c1 c2 -> v1 v2 where
- gmap :: (v1 -> v2) -> c1 -> c2
- (<@>) :: (v1 -> v2) -> c1 -> c2
class Filterable c v where
- filterC :: (v -> Bool) -> c -> c
- (<?>) :: (v -> Bool) -> c -> c
- (<?>~) :: ASetter s t c c -> (v -> Bool) -> s -> t
- (<?>=) :: MonadState s m => ASetter s s c c -> (v -> Bool) -> m ()
class Insertable c v where
- insert :: MonadFail m => v -> c -> m c
- unsafeInsert :: v -> c -> c
- (+>) :: v -> c -> c
- (<+) :: c -> v -> c
- (<+~) :: ASetter s t c c -> v -> s -> t
- (<+=) :: MonadState s m => ASetter s s c c -> v -> m ()
class Deletable c v where
- delete :: MonadFail m => v -> c -> m c
- unsafeDelete :: v -> c -> c
- (\>) :: v -> c -> c
- (<\) :: c -> v -> c
- (<\~) :: ASetter s t c c -> v -> s -> t
- (<\=) :: MonadState s m => ASetter s s c c -> v -> m ()

Documentation

data Set a #

A set of values a.

Instances

Instances details

Foldable Set	Folds in order of increasing key.
Instance details Defined in Data.Set.Internal Methods fold :: Monoid m => Set m -> m # foldMap :: Monoid m => (a -> m) -> Set a -> m # foldMap' :: Monoid m => (a -> m) -> Set a -> m # foldr :: (a -> b -> b) -> b -> Set a -> b # foldr' :: (a -> b -> b) -> b -> Set a -> b # foldl :: (b -> a -> b) -> b -> Set a -> b # foldl' :: (b -> a -> b) -> b -> Set a -> b # foldr1 :: (a -> a -> a) -> Set a -> a # foldl1 :: (a -> a -> a) -> Set a -> a # toList :: Set a -> [a] # null :: Set a -> Bool # length :: Set a -> Int # elem :: Eq a => a -> Set a -> Bool # maximum :: Ord a => Set a -> a # minimum :: Ord a => Set a -> a # sum :: Num a => Set a -> a # product :: Num a => Set a -> a #
Eq1 Set	Since: containers-0.5.9
Instance details Defined in Data.Set.Internal Methods liftEq :: (a -> b -> Bool) -> Set a -> Set b -> Bool #
Ord1 Set	Since: containers-0.5.9
Instance details Defined in Data.Set.Internal Methods liftCompare :: (a -> b -> Ordering) -> Set a -> Set b -> Ordering #
Show1 Set	Since: containers-0.5.9
Instance details Defined in Data.Set.Internal Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Set a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Set a] -> ShowS #
Ord a => IsList (Set a)	Since: containers-0.5.6.2
Instance details Defined in Data.Set.Internal Associated Types type Item (Set a) # Methods fromList :: [Item (Set a)] -> Set a # fromListN :: Int -> [Item (Set a)] -> Set a # toList :: Set a -> [Item (Set a)] #
Eq a => Eq (Set a)
Instance details Defined in Data.Set.Internal Methods (==) :: Set a -> Set a -> Bool # (/=) :: Set a -> Set a -> Bool #
(Data a, Ord a) => Data (Set a)
Instance details Defined in Data.Set.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Set a -> c (Set a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Set a) # toConstr :: Set a -> Constr # dataTypeOf :: Set a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Set a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Set a)) # gmapT :: (forall b. Data b => b -> b) -> Set a -> Set a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQ :: (forall d. Data d => d -> u) -> Set a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Set a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) #
Ord a => Ord (Set a)
Instance details Defined in Data.Set.Internal Methods compare :: Set a -> Set a -> Ordering # (<) :: Set a -> Set a -> Bool # (<=) :: Set a -> Set a -> Bool # (>) :: Set a -> Set a -> Bool # (>=) :: Set a -> Set a -> Bool # max :: Set a -> Set a -> Set a # min :: Set a -> Set a -> Set a #
(Read a, Ord a) => Read (Set a)
Instance details Defined in Data.Set.Internal Methods readsPrec :: Int -> ReadS (Set a) # readList :: ReadS [Set a] # readPrec :: ReadPrec (Set a) # readListPrec :: ReadPrec [Set a] #
Show a => Show (Set a)
Instance details Defined in Data.Set.Internal Methods showsPrec :: Int -> Set a -> ShowS # show :: Set a -> String # showList :: [Set a] -> ShowS #
Ord a => Semigroup (Set a)	Since: containers-0.5.7
Instance details Defined in Data.Set.Internal Methods (<>) :: Set a -> Set a -> Set a # sconcat :: NonEmpty (Set a) -> Set a # stimes :: Integral b => b -> Set a -> Set a #
Ord a => Monoid (Set a)
Instance details Defined in Data.Set.Internal Methods mempty :: Set a # mappend :: Set a -> Set a -> Set a # mconcat :: [Set a] -> Set a #
NFData a => NFData (Set a)
Instance details Defined in Data.Set.Internal Methods rnf :: Set a -> () #
Ord a => Contains (Set a)
Instance details Defined in Control.Lens.At Methods contains :: Index (Set a) -> Lens' (Set a) Bool #
Ord k => Ixed (Set k)
Instance details Defined in Control.Lens.At Methods ix :: Index (Set k) -> Traversal' (Set k) (IxValue (Set k)) #
Ord k => At (Set k)
Instance details Defined in Control.Lens.At Methods at :: Index (Set k) -> Lens' (Set k) (Maybe (IxValue (Set k))) #
Ord a => Wrapped (Set a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Set a) # Methods _Wrapped' :: Iso' (Set a) (Unwrapped (Set a)) #
Ord a => Operable (Set a) Source #
Instance details Defined in Containers Methods union :: Set a -> Set a -> Set a Source # (\/) :: Set a -> Set a -> Set a Source # (\/~) :: ASetter s t (Set a) (Set a) -> Set a -> s -> t Source # (\/=) :: MonadState s m => ASetter s s (Set a) (Set a) -> Set a -> m () Source # intersection :: Set a -> Set a -> Set a Source # (/\) :: Set a -> Set a -> Set a Source # (/\~) :: ASetter s t (Set a) (Set a) -> Set a -> s -> t Source # (/\=) :: MonadState s m => ASetter s s (Set a) (Set a) -> Set a -> m () Source # difference :: Set a -> Set a -> Set a Source # (\\) :: Set a -> Set a -> Set a Source # (\\~) :: ASetter s t (Set a) (Set a) -> Set a -> s -> t Source # (\\=) :: MonadState s m => ASetter s s (Set a) (Set a) -> Set a -> m () Source #
Nullable (Set a) Source #
Instance details Defined in Containers Methods nullC :: Set a -> Bool Source # emptyC :: Set a Source #
Sizable (Set a) Source #
Instance details Defined in Containers Methods size :: Set a -> Int Source #
(t ~ Set a', Ord a) => Rewrapped (Set a) t	Use `wrapping fromList`. unwrapping returns a sorted list.
Instance details Defined in Control.Lens.Wrapped
Ord a => Deletable (Set a) a Source #
Instance details Defined in Containers Methods delete :: MonadFail m => a -> Set a -> m (Set a) Source # unsafeDelete :: a -> Set a -> Set a Source # (\>) :: a -> Set a -> Set a Source # (<\) :: Set a -> a -> Set a Source # (<\~) :: ASetter s t (Set a) (Set a) -> a -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (Set a) (Set a) -> a -> m () Source #
Ord a => Insertable (Set a) a Source #
Instance details Defined in Containers Methods insert :: MonadFail m => a -> Set a -> m (Set a) Source # unsafeInsert :: a -> Set a -> Set a Source # (+>) :: a -> Set a -> Set a Source # (<+) :: Set a -> a -> Set a Source # (<+~) :: ASetter s t (Set a) (Set a) -> a -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (Set a) (Set a) -> a -> m () Source #
Filterable (Set a) a Source #
Instance details Defined in Containers Methods filterC :: (a -> Bool) -> Set a -> Set a Source # (<?>) :: (a -> Bool) -> Set a -> Set a Source # (<?>~) :: ASetter s t (Set a) (Set a) -> (a -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (Set a) (Set a) -> (a -> Bool) -> m () Source #
Ord a => Containable (Set a) a Source #
Instance details Defined in Containers Methods member :: a -> Set a -> Bool Source # notMember :: a -> Set a -> Bool Source #
Eq a => FastUnsafeListable (Set a) a Source #
Instance details Defined in Containers Methods fromAscList :: [a] -> Set a Source # fromDistinctAscList :: [a] -> Set a Source # fromDescList :: [a] -> Set a Source # fromDistinctDescList :: [a] -> Set a Source #
Ord a => UnsafeListable (Set a) a Source #
Instance details Defined in Containers Methods fromList :: [a] -> Set a Source #
Ord a => Listable (Set a) a Source #
Instance details Defined in Containers Methods toList :: Set a -> [a] Source # fromList_ :: MonadFail m => [a] -> m (Set a) Source #
Slicable (Set a) Index Source #
Instance details Defined in Containers Methods takeC :: Index -> Set a -> Set a Source # dropC :: Index -> Set a -> Set a Source # splitAtC :: Index -> Set a -> (Set a, Set a) Source #
Ord a => Valuable (Set a) a Source #
Instance details Defined in Containers Methods values :: Set a -> [a] Source # valuesSet :: Set a -> Set a Source #
Singletonable (Set a) a Source #
Instance details Defined in Containers Methods singleton :: a -> Set a Source #
Indexable (Set a) Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Set a -> Index -> m a Source # (!<>) :: Set a -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y (Set a) -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y (Set a) -> Index -> Getting x y (Set a) Source #
Ord b => Gunctor (Set a) (Set b) a b Source #
Instance details Defined in Containers Methods gmap :: (a -> b) -> Set a -> Set b Source # (<@>) :: (a -> b) -> Set a -> Set b Source #
Slicable (Set a) (a -> Bool) Source #
Instance details Defined in Containers Methods takeC :: (a -> Bool) -> Set a -> Set a Source # dropC :: (a -> Bool) -> Set a -> Set a Source # splitAtC :: (a -> Bool) -> Set a -> (Set a, Set a) Source #
type Item (Set a)
Instance details Defined in Data.Set.Internal type Item (Set a) = a
type Index (Set a)
Instance details Defined in Control.Lens.At type Index (Set a) = a
type IxValue (Set k)
Instance details Defined in Control.Lens.At type IxValue (Set k) = ()
type Unwrapped (Set a)
Instance details Defined in Control.Lens.Wrapped type Unwrapped (Set a) = [a]

data Map k a #

A Map from keys k to values a.

The Semigroup operation for Map is union, which prefers values from the left operand. If m1 maps a key k to a value a1, and m2 maps the same key to a different value a2, then their union m1 <> m2 maps k to a1.

Instances

Instances details

Eq2 Map	Since: containers-0.5.9
Instance details Defined in Data.Map.Internal Methods liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Map a c -> Map b d -> Bool #
Ord2 Map	Since: containers-0.5.9
Instance details Defined in Data.Map.Internal Methods liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Map a c -> Map b d -> Ordering #
Show2 Map	Since: containers-0.5.9
Instance details Defined in Data.Map.Internal Methods liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Map a b -> ShowS # liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Map a b] -> ShowS #
FunctorWithIndex k (Map k)
Instance details Defined in Control.Lens.Indexed Methods imap :: (k -> a -> b) -> Map k a -> Map k b # imapped :: IndexedSetter k (Map k a) (Map k b) a b #
FoldableWithIndex k (Map k)
Instance details Defined in Control.Lens.Indexed Methods ifoldMap :: Monoid m => (k -> a -> m) -> Map k a -> m # ifolded :: IndexedFold k (Map k a) a # ifoldr :: (k -> a -> b -> b) -> b -> Map k a -> b # ifoldl :: (k -> b -> a -> b) -> b -> Map k a -> b # ifoldr' :: (k -> a -> b -> b) -> b -> Map k a -> b # ifoldl' :: (k -> b -> a -> b) -> b -> Map k a -> b #
TraversableWithIndex k (Map k)
Instance details Defined in Control.Lens.Indexed Methods itraverse :: Applicative f => (k -> a -> f b) -> Map k a -> f (Map k b) # itraversed :: IndexedTraversal k (Map k a) (Map k b) a b #
Ord k => TraverseMin k (Map k)
Instance details Defined in Control.Lens.Traversal Methods traverseMin :: IndexedTraversal' k (Map k v) v #
Ord k => TraverseMax k (Map k)
Instance details Defined in Control.Lens.Traversal Methods traverseMax :: IndexedTraversal' k (Map k v) v #
Functor (Map k)
Instance details Defined in Data.Map.Internal Methods fmap :: (a -> b) -> Map k a -> Map k b # (<$) :: a -> Map k b -> Map k a #
Foldable (Map k)	Folds in order of increasing key.
Instance details Defined in Data.Map.Internal Methods fold :: Monoid m => Map k m -> m # foldMap :: Monoid m => (a -> m) -> Map k a -> m # foldMap' :: Monoid m => (a -> m) -> Map k a -> m # foldr :: (a -> b -> b) -> b -> Map k a -> b # foldr' :: (a -> b -> b) -> b -> Map k a -> b # foldl :: (b -> a -> b) -> b -> Map k a -> b # foldl' :: (b -> a -> b) -> b -> Map k a -> b # foldr1 :: (a -> a -> a) -> Map k a -> a # foldl1 :: (a -> a -> a) -> Map k a -> a # toList :: Map k a -> [a] # null :: Map k a -> Bool # length :: Map k a -> Int # elem :: Eq a => a -> Map k a -> Bool # maximum :: Ord a => Map k a -> a # minimum :: Ord a => Map k a -> a # sum :: Num a => Map k a -> a # product :: Num a => Map k a -> a #
Traversable (Map k)	Traverses in order of increasing key.
Instance details Defined in Data.Map.Internal Methods traverse :: Applicative f => (a -> f b) -> Map k a -> f (Map k b) # sequenceA :: Applicative f => Map k (f a) -> f (Map k a) # mapM :: Monad m => (a -> m b) -> Map k a -> m (Map k b) # sequence :: Monad m => Map k (m a) -> m (Map k a) #
Eq k => Eq1 (Map k)	Since: containers-0.5.9
Instance details Defined in Data.Map.Internal Methods liftEq :: (a -> b -> Bool) -> Map k a -> Map k b -> Bool #
Ord k => Ord1 (Map k)	Since: containers-0.5.9
Instance details Defined in Data.Map.Internal Methods liftCompare :: (a -> b -> Ordering) -> Map k a -> Map k b -> Ordering #
(Ord k, Read k) => Read1 (Map k)	Since: containers-0.5.9
Instance details Defined in Data.Map.Internal Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Map k a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Map k a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Map k a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Map k a] #
Show k => Show1 (Map k)	Since: containers-0.5.9
Instance details Defined in Data.Map.Internal Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Map k a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Map k a] -> ShowS #
Ord k => IsList (Map k v)	Since: containers-0.5.6.2
Instance details Defined in Data.Map.Internal Associated Types type Item (Map k v) # Methods fromList :: [Item (Map k v)] -> Map k v # fromListN :: Int -> [Item (Map k v)] -> Map k v # toList :: Map k v -> [Item (Map k v)] #
(Eq k, Eq a) => Eq (Map k a)
Instance details Defined in Data.Map.Internal Methods (==) :: Map k a -> Map k a -> Bool # (/=) :: Map k a -> Map k a -> Bool #
(Data k, Data a, Ord k) => Data (Map k a)
Instance details Defined in Data.Map.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Map k a -> c (Map k a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Map k a) # toConstr :: Map k a -> Constr # dataTypeOf :: Map k a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Map k a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Map k a)) # gmapT :: (forall b. Data b => b -> b) -> Map k a -> Map k a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQ :: (forall d. Data d => d -> u) -> Map k a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Map k a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) #
(Ord k, Ord v) => Ord (Map k v)
Instance details Defined in Data.Map.Internal Methods compare :: Map k v -> Map k v -> Ordering # (<) :: Map k v -> Map k v -> Bool # (<=) :: Map k v -> Map k v -> Bool # (>) :: Map k v -> Map k v -> Bool # (>=) :: Map k v -> Map k v -> Bool # max :: Map k v -> Map k v -> Map k v # min :: Map k v -> Map k v -> Map k v #
(Ord k, Read k, Read e) => Read (Map k e)
Instance details Defined in Data.Map.Internal Methods readsPrec :: Int -> ReadS (Map k e) # readList :: ReadS [Map k e] # readPrec :: ReadPrec (Map k e) # readListPrec :: ReadPrec [Map k e] #
(Show k, Show a) => Show (Map k a)
Instance details Defined in Data.Map.Internal Methods showsPrec :: Int -> Map k a -> ShowS # show :: Map k a -> String # showList :: [Map k a] -> ShowS #
Ord k => Semigroup (Map k v)
Instance details Defined in Data.Map.Internal Methods (<>) :: Map k v -> Map k v -> Map k v # sconcat :: NonEmpty (Map k v) -> Map k v # stimes :: Integral b => b -> Map k v -> Map k v #
Ord k => Monoid (Map k v)
Instance details Defined in Data.Map.Internal Methods mempty :: Map k v # mappend :: Map k v -> Map k v -> Map k v # mconcat :: [Map k v] -> Map k v #
(NFData k, NFData a) => NFData (Map k a)
Instance details Defined in Data.Map.Internal Methods rnf :: Map k a -> () #
Ord k => Ixed (Map k a)
Instance details Defined in Control.Lens.At Methods ix :: Index (Map k a) -> Traversal' (Map k a) (IxValue (Map k a)) #
Ord k => At (Map k a)
Instance details Defined in Control.Lens.At Methods at :: Index (Map k a) -> Lens' (Map k a) (Maybe (IxValue (Map k a))) #
Ord k => Wrapped (Map k a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Map k a) # Methods _Wrapped' :: Iso' (Map k a) (Unwrapped (Map k a)) #
Ord k => Operable (Map k a) Source #
Instance details Defined in Containers Methods union :: Map k a -> Map k a -> Map k a Source # (\/) :: Map k a -> Map k a -> Map k a Source # (\/~) :: ASetter s t (Map k a) (Map k a) -> Map k a -> s -> t Source # (\/=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> Map k a -> m () Source # intersection :: Map k a -> Map k a -> Map k a Source # (/\) :: Map k a -> Map k a -> Map k a Source # (/\~) :: ASetter s t (Map k a) (Map k a) -> Map k a -> s -> t Source # (/\=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> Map k a -> m () Source # difference :: Map k a -> Map k a -> Map k a Source # (\\) :: Map k a -> Map k a -> Map k a Source # (\\~) :: ASetter s t (Map k a) (Map k a) -> Map k a -> s -> t Source # (\\=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> Map k a -> m () Source #
Nullable (Map k a) Source #
Instance details Defined in Containers Methods nullC :: Map k a -> Bool Source # emptyC :: Map k a Source #
Sizable (Map k a) Source #
Instance details Defined in Containers Methods size :: Map k a -> Int Source #
(t ~ Map k' a', Ord k) => Rewrapped (Map k a) t	Use `wrapping fromList`. unwrapping returns a sorted list.
Instance details Defined in Control.Lens.Wrapped
Ord k => Deletable (Map k a) k Source #
Instance details Defined in Containers Methods delete :: MonadFail m => k -> Map k a -> m (Map k a) Source # unsafeDelete :: k -> Map k a -> Map k a Source # (\>) :: k -> Map k a -> Map k a Source # (<\) :: Map k a -> k -> Map k a Source # (<\~) :: ASetter s t (Map k a) (Map k a) -> k -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> k -> m () Source #
Filterable (Map k a) a Source #
Instance details Defined in Containers Methods filterC :: (a -> Bool) -> Map k a -> Map k a Source # (<?>) :: (a -> Bool) -> Map k a -> Map k a Source # (<?>~) :: ASetter s t (Map k a) (Map k a) -> (a -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> (a -> Bool) -> m () Source #
Filterable (Map k a) k Source #
Instance details Defined in Containers Methods filterC :: (k -> Bool) -> Map k a -> Map k a Source # (<?>) :: (k -> Bool) -> Map k a -> Map k a Source # (<?>~) :: ASetter s t (Map k a) (Map k a) -> (k -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> (k -> Bool) -> m () Source #
Eq a => Containable (Map k a) a Source #
Instance details Defined in Containers Methods member :: a -> Map k a -> Bool Source # notMember :: a -> Map k a -> Bool Source #
Ord k => Containable (Map k a) k Source #
Instance details Defined in Containers Methods member :: k -> Map k a -> Bool Source # notMember :: k -> Map k a -> Bool Source #
Ord k => Keyable (Map k a) k Source #
Instance details Defined in Containers Methods keys :: Map k a -> [k] Source # keysSet :: Map k a -> Set k Source #
Valuable (Map k a) a Source #
Instance details Defined in Containers Methods values :: Map k a -> [a] Source # valuesSet :: Map k a -> Set a Source #
Ord k => Indexable (Map k a) k a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Map k a -> k -> m a Source # (!<>) :: Map k a -> k -> Set a Source # (.@) :: MonadFail m => Getting x y (Map k a) -> k -> Getting x y (m a) Source # (.<@>) :: Getting x y (Map k a) -> k -> Getting x y (Set a) Source #
(Ord k, Eq a) => Insertable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods insert :: MonadFail m => (k, a) -> Map k a -> m (Map k a) Source # unsafeInsert :: (k, a) -> Map k a -> Map k a Source # (+>) :: (k, a) -> Map k a -> Map k a Source # (<+) :: Map k a -> (k, a) -> Map k a Source # (<+~) :: ASetter s t (Map k a) (Map k a) -> (k, a) -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> (k, a) -> m () Source #
Filterable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods filterC :: ((k, a) -> Bool) -> Map k a -> Map k a Source # (<?>) :: ((k, a) -> Bool) -> Map k a -> Map k a Source # (<?>~) :: ASetter s t (Map k a) (Map k a) -> ((k, a) -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> ((k, a) -> Bool) -> m () Source #
(Ord k, Eq a) => Containable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods member :: (k, a) -> Map k a -> Bool Source # notMember :: (k, a) -> Map k a -> Bool Source #
Eq k => FastUnsafeListable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods fromAscList :: [(k, a)] -> Map k a Source # fromDistinctAscList :: [(k, a)] -> Map k a Source # fromDescList :: [(k, a)] -> Map k a Source # fromDistinctDescList :: [(k, a)] -> Map k a Source #
Ord k => UnsafeListable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods fromList :: [(k, a)] -> Map k a Source #
Ord k => Listable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods toList :: Map k a -> [(k, a)] Source # fromList_ :: MonadFail m => [(k, a)] -> m (Map k a) Source #
Singletonable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods singleton :: (k, a) -> Map k a Source #
c ~ d => Each (Map c a) (Map d b) a b	`each` :: `Traversal` (`Map` c a) (`Map` c b) a b
Instance details Defined in Control.Lens.Each Methods each :: Traversal (Map c a) (Map d b) a b #
Gunctor (Map k a) (Map k b) a b Source #
Instance details Defined in Containers Methods gmap :: (a -> b) -> Map k a -> Map k b Source # (<@>) :: (a -> b) -> Map k a -> Map k b Source #
Ord l => Gunctor (Map k a) (Map l a) k l Source #
Instance details Defined in Containers Methods gmap :: (k -> l) -> Map k a -> Map l a Source # (<@>) :: (k -> l) -> Map k a -> Map l a Source #
type Item (Map k v)
Instance details Defined in Data.Map.Internal type Item (Map k v) = (k, v)
type Index (Map k a)
Instance details Defined in Control.Lens.At type Index (Map k a) = k
type IxValue (Map k a)
Instance details Defined in Control.Lens.At type IxValue (Map k a) = a
type Unwrapped (Map k a)
Instance details Defined in Control.Lens.Wrapped type Unwrapped (Map k a) = [(k, a)]

data IsoMap a b Source #

Instances

Instances details

(Eq a, Eq b) => Eq (IsoMap a b) Source #
Instance details Defined in Containers.IsoMap Methods (==) :: IsoMap a b -> IsoMap a b -> Bool # (/=) :: IsoMap a b -> IsoMap a b -> Bool #
(Show a, Show b) => Show (IsoMap a b) Source #
Instance details Defined in Containers.IsoMap Methods showsPrec :: Int -> IsoMap a b -> ShowS # show :: IsoMap a b -> String # showList :: [IsoMap a b] -> ShowS #
Nullable (IsoMap a b) Source #
Instance details Defined in Containers Methods nullC :: IsoMap a b -> Bool Source # emptyC :: IsoMap a b Source #
Sizable (IsoMap a b) Source #
Instance details Defined in Containers Methods size :: IsoMap a b -> Int Source #
(Ord a, Ord b) => Deletable (IsoMap a b) b Source #
Instance details Defined in Containers Methods delete :: MonadFail m => b -> IsoMap a b -> m (IsoMap a b) Source # unsafeDelete :: b -> IsoMap a b -> IsoMap a b Source # (\>) :: b -> IsoMap a b -> IsoMap a b Source # (<\) :: IsoMap a b -> b -> IsoMap a b Source # (<\~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> b -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> b -> m () Source #
(Ord a, Ord b) => Deletable (IsoMap a b) a Source #
Instance details Defined in Containers Methods delete :: MonadFail m => a -> IsoMap a b -> m (IsoMap a b) Source # unsafeDelete :: a -> IsoMap a b -> IsoMap a b Source # (\>) :: a -> IsoMap a b -> IsoMap a b Source # (<\) :: IsoMap a b -> a -> IsoMap a b Source # (<\~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> a -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> a -> m () Source #
(Ord a, Ord b) => Filterable (IsoMap a b) b Source #
Instance details Defined in Containers Methods filterC :: (b -> Bool) -> IsoMap a b -> IsoMap a b Source # (<?>) :: (b -> Bool) -> IsoMap a b -> IsoMap a b Source # (<?>~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> (b -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> (b -> Bool) -> m () Source #
(Ord a, Ord b) => Filterable (IsoMap a b) a Source #
Instance details Defined in Containers Methods filterC :: (a -> Bool) -> IsoMap a b -> IsoMap a b Source # (<?>) :: (a -> Bool) -> IsoMap a b -> IsoMap a b Source # (<?>~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> (a -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> (a -> Bool) -> m () Source #
(Ord a, Ord b) => Containable (IsoMap a b) b Source #
Instance details Defined in Containers Methods member :: b -> IsoMap a b -> Bool Source # notMember :: b -> IsoMap a b -> Bool Source #
(Ord a, Ord b) => Containable (IsoMap a b) a Source #
Instance details Defined in Containers Methods member :: a -> IsoMap a b -> Bool Source # notMember :: a -> IsoMap a b -> Bool Source #
(Ord a, Ord b) => Valuable (IsoMap a b) b Source #
Instance details Defined in Containers Methods values :: IsoMap a b -> [b] Source # valuesSet :: IsoMap a b -> Set b Source #
(Ord a, Ord b) => Valuable (IsoMap a b) a Source #
Instance details Defined in Containers Methods values :: IsoMap a b -> [a] Source # valuesSet :: IsoMap a b -> Set a Source #
(Ord a, Ord b) => Iso (IsoMap a b) b a Source #
Instance details Defined in Containers.IsoMap Methods (~$) :: MonadFail m => IsoMap a b -> b -> m a Source # (~&) :: MonadFail m => b -> IsoMap a b -> m a Source # values :: IsoMap a b -> Set b Source # member :: b -> IsoMap a b -> Bool Source # filter :: (b -> Bool) -> IsoMap a b -> IsoMap a b Source # insert :: MonadFail m => (b, a) -> IsoMap a b -> m (IsoMap a b) Source # delete :: b -> IsoMap a b -> IsoMap a b Source # toMap :: IsoMap a b -> Map b a Source # fromList :: MonadFail m => [(b, a)] -> m (IsoMap a b) Source # fromList' :: [(b, a)] -> IsoMap a b Source # toList :: IsoMap a b -> [(b, a)] Source # singleton :: b -> a -> IsoMap a b Source #
(Ord a, Ord b) => Iso (IsoMap a b) a b Source #
Instance details Defined in Containers.IsoMap Methods (~$) :: MonadFail m => IsoMap a b -> a -> m b Source # (~&) :: MonadFail m => a -> IsoMap a b -> m b Source # values :: IsoMap a b -> Set a Source # member :: a -> IsoMap a b -> Bool Source # filter :: (a -> Bool) -> IsoMap a b -> IsoMap a b Source # insert :: MonadFail m => (a, b) -> IsoMap a b -> m (IsoMap a b) Source # delete :: a -> IsoMap a b -> IsoMap a b Source # toMap :: IsoMap a b -> Map a b Source # fromList :: MonadFail m => [(a, b)] -> m (IsoMap a b) Source # fromList' :: [(a, b)] -> IsoMap a b Source # toList :: IsoMap a b -> [(a, b)] Source # singleton :: a -> b -> IsoMap a b Source #
(Ord a, Ord b) => Indexable (IsoMap a b) b a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => IsoMap a b -> b -> m a Source # (!<>) :: IsoMap a b -> b -> Set a Source # (.@) :: MonadFail m => Getting x y (IsoMap a b) -> b -> Getting x y (m a) Source # (.<@>) :: Getting x y (IsoMap a b) -> b -> Getting x y (Set a) Source #
(Ord a, Ord b) => Indexable (IsoMap a b) a b Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => IsoMap a b -> a -> m b Source # (!<>) :: IsoMap a b -> a -> Set b Source # (.@) :: MonadFail m => Getting x y (IsoMap a b) -> a -> Getting x y (m b) Source # (.<@>) :: Getting x y (IsoMap a b) -> a -> Getting x y (Set b) Source #
(Ord a, Ord b) => Insertable (IsoMap a b) (b, a) Source #
Instance details Defined in Containers Methods insert :: MonadFail m => (b, a) -> IsoMap a b -> m (IsoMap a b) Source # unsafeInsert :: (b, a) -> IsoMap a b -> IsoMap a b Source # (+>) :: (b, a) -> IsoMap a b -> IsoMap a b Source # (<+) :: IsoMap a b -> (b, a) -> IsoMap a b Source # (<+~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> (b, a) -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> (b, a) -> m () Source #
(Ord a, Ord b) => Insertable (IsoMap a b) (a, b) Source #
Instance details Defined in Containers Methods insert :: MonadFail m => (a, b) -> IsoMap a b -> m (IsoMap a b) Source # unsafeInsert :: (a, b) -> IsoMap a b -> IsoMap a b Source # (+>) :: (a, b) -> IsoMap a b -> IsoMap a b Source # (<+) :: IsoMap a b -> (a, b) -> IsoMap a b Source # (<+~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> (a, b) -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> (a, b) -> m () Source #
(Ord a, Ord b) => UnsafeListable (IsoMap a b) (a, b) Source #
Instance details Defined in Containers Methods fromList :: [(a, b)] -> IsoMap a b Source #
(Ord a, Ord b) => Listable (IsoMap a b) (a, b) Source #
Instance details Defined in Containers Methods toList :: IsoMap a b -> [(a, b)] Source # fromList_ :: MonadFail m => [(a, b)] -> m (IsoMap a b) Source #
(Ord a, Ord b) => Singletonable (IsoMap a b) (a, b) Source #
Instance details Defined in Containers Methods singleton :: (a, b) -> IsoMap a b Source #
Ord b2 => Gunctor (IsoMap a b1) (IsoMap b2 a) b1 b2 Source #
Instance details Defined in Containers Methods gmap :: (b1 -> b2) -> IsoMap a b1 -> IsoMap b2 a Source # (<@>) :: (b1 -> b2) -> IsoMap a b1 -> IsoMap b2 a Source #
Ord a2 => Gunctor (IsoMap a1 b) (IsoMap b a2) a1 a2 Source #
Instance details Defined in Containers Methods gmap :: (a1 -> a2) -> IsoMap a1 b -> IsoMap b a2 Source # (<@>) :: (a1 -> a2) -> IsoMap a1 b -> IsoMap b a2 Source #
Ord b2 => Gunctor (IsoMap a b1) (IsoMap a b2) b1 b2 Source #
Instance details Defined in Containers Methods gmap :: (b1 -> b2) -> IsoMap a b1 -> IsoMap a b2 Source # (<@>) :: (b1 -> b2) -> IsoMap a b1 -> IsoMap a b2 Source #
Ord a2 => Gunctor (IsoMap a1 b) (IsoMap a2 b) a1 a2 Source #
Instance details Defined in Containers Methods gmap :: (a1 -> a2) -> IsoMap a1 b -> IsoMap a2 b Source # (<@>) :: (a1 -> a2) -> IsoMap a1 b -> IsoMap a2 b Source #

data PrismMap k a Source #

Instances

Instances details

(Eq k, Eq a) => Eq (PrismMap k a) Source #
Instance details Defined in Containers.PrismMap Methods (==) :: PrismMap k a -> PrismMap k a -> Bool # (/=) :: PrismMap k a -> PrismMap k a -> Bool #
(Show k, Show a) => Show (PrismMap k a) Source #
Instance details Defined in Containers.PrismMap Methods showsPrec :: Int -> PrismMap k a -> ShowS # show :: PrismMap k a -> String # showList :: [PrismMap k a] -> ShowS #
(Ord k, Ord a) => Operable (PrismMap k a) Source #
Instance details Defined in Containers Methods union :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (\/) :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (\/~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> PrismMap k a -> s -> t Source # (\/=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> PrismMap k a -> m () Source # intersection :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (/\) :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (/\~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> PrismMap k a -> s -> t Source # (/\=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> PrismMap k a -> m () Source # difference :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (\\) :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (\\~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> PrismMap k a -> s -> t Source # (\\=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> PrismMap k a -> m () Source #
Nullable (PrismMap k a) Source #
Instance details Defined in Containers Methods nullC :: PrismMap k a -> Bool Source # emptyC :: PrismMap k a Source #
Sizable (PrismMap k a) Source #
Instance details Defined in Containers Methods size :: PrismMap k a -> Int Source #
(Ord k, Ord a) => Deletable (PrismMap k a) a Source #
Instance details Defined in Containers Methods delete :: MonadFail m => a -> PrismMap k a -> m (PrismMap k a) Source # unsafeDelete :: a -> PrismMap k a -> PrismMap k a Source # (\>) :: a -> PrismMap k a -> PrismMap k a Source # (<\) :: PrismMap k a -> a -> PrismMap k a Source # (<\~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> a -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> a -> m () Source #
(Ord k, Ord a) => Deletable (PrismMap k a) k Source #
Instance details Defined in Containers Methods delete :: MonadFail m => k -> PrismMap k a -> m (PrismMap k a) Source # unsafeDelete :: k -> PrismMap k a -> PrismMap k a Source # (\>) :: k -> PrismMap k a -> PrismMap k a Source # (<\) :: PrismMap k a -> k -> PrismMap k a Source # (<\~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> k -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> k -> m () Source #
Filterable (PrismMap k a) a Source #
Instance details Defined in Containers Methods filterC :: (a -> Bool) -> PrismMap k a -> PrismMap k a Source # (<?>) :: (a -> Bool) -> PrismMap k a -> PrismMap k a Source # (<?>~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> (a -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> (a -> Bool) -> m () Source #
Filterable (PrismMap k a) k Source #
Instance details Defined in Containers Methods filterC :: (k -> Bool) -> PrismMap k a -> PrismMap k a Source # (<?>) :: (k -> Bool) -> PrismMap k a -> PrismMap k a Source # (<?>~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> (k -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> (k -> Bool) -> m () Source #
Ord a => Containable (PrismMap k a) a Source #
Instance details Defined in Containers Methods member :: a -> PrismMap k a -> Bool Source # notMember :: a -> PrismMap k a -> Bool Source #
Ord k => Containable (PrismMap k a) k Source #
Instance details Defined in Containers Methods member :: k -> PrismMap k a -> Bool Source # notMember :: k -> PrismMap k a -> Bool Source #
Keyable (PrismMap k a) k Source #
Instance details Defined in Containers Methods keys :: PrismMap k a -> [k] Source # keysSet :: PrismMap k a -> Set k Source #
Valuable (PrismMap k a) a Source #
Instance details Defined in Containers Methods values :: PrismMap k a -> [a] Source # valuesSet :: PrismMap k a -> Set a Source #
Ord a => Indexable (PrismMap k a) a k Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => PrismMap k a -> a -> m k Source # (!<>) :: PrismMap k a -> a -> Set k Source # (.@) :: MonadFail m => Getting x y (PrismMap k a) -> a -> Getting x y (m k) Source # (.<@>) :: Getting x y (PrismMap k a) -> a -> Getting x y (Set k) Source #
Ord k => Indexable (PrismMap k a) k a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => PrismMap k a -> k -> m a Source # (!<>) :: PrismMap k a -> k -> Set a Source # (.@) :: MonadFail m => Getting x y (PrismMap k a) -> k -> Getting x y (m a) Source # (.<@>) :: Getting x y (PrismMap k a) -> k -> Getting x y (Set a) Source #
(Ord k, Ord a) => Insertable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods insert :: MonadFail m => (k, a) -> PrismMap k a -> m (PrismMap k a) Source # unsafeInsert :: (k, a) -> PrismMap k a -> PrismMap k a Source # (+>) :: (k, a) -> PrismMap k a -> PrismMap k a Source # (<+) :: PrismMap k a -> (k, a) -> PrismMap k a Source # (<+~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> (k, a) -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> (k, a) -> m () Source #
(Ord k, Ord a) => Containable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods member :: (k, a) -> PrismMap k a -> Bool Source # notMember :: (k, a) -> PrismMap k a -> Bool Source #
(Ord k, Ord a) => UnsafeListable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods fromList :: [(k, a)] -> PrismMap k a Source #
(Ord k, Ord a) => Listable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods toList :: PrismMap k a -> [(k, a)] Source # fromList_ :: MonadFail m => [(k, a)] -> m (PrismMap k a) Source #
Singletonable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods singleton :: (k, a) -> PrismMap k a Source #
Ord b => Gunctor (PrismMap k a) (PrismMap k b) a b Source #
Instance details Defined in Containers Methods gmap :: (a -> b) -> PrismMap k a -> PrismMap k b Source # (<@>) :: (a -> b) -> PrismMap k a -> PrismMap k b Source #
Ord l => Gunctor (PrismMap k a) (PrismMap l a) k l Source #
Instance details Defined in Containers Methods gmap :: (k -> l) -> PrismMap k a -> PrismMap l a Source # (<@>) :: (k -> l) -> PrismMap k a -> PrismMap l a Source #

newtype Pair a Source #

Constructors

Pair
Fields unPair :: (a, a)

Instances

Instances details

Functor Pair Source #
Instance details Defined in Containers.Pair Methods fmap :: (a -> b) -> Pair a -> Pair b # (<$) :: a -> Pair b -> Pair a #
Applicative Pair Source #
Instance details Defined in Containers.Pair Methods pure :: a -> Pair a # (<>) :: Pair (a -> b) -> Pair a -> Pair b # liftA2 :: (a -> b -> c) -> Pair a -> Pair b -> Pair c # (>) :: Pair a -> Pair b -> Pair b # (<*) :: Pair a -> Pair b -> Pair a #
Foldable Pair Source #
Instance details Defined in Containers.Pair Methods fold :: Monoid m => Pair m -> m # foldMap :: Monoid m => (a -> m) -> Pair a -> m # foldMap' :: Monoid m => (a -> m) -> Pair a -> m # foldr :: (a -> b -> b) -> b -> Pair a -> b # foldr' :: (a -> b -> b) -> b -> Pair a -> b # foldl :: (b -> a -> b) -> b -> Pair a -> b # foldl' :: (b -> a -> b) -> b -> Pair a -> b # foldr1 :: (a -> a -> a) -> Pair a -> a # foldl1 :: (a -> a -> a) -> Pair a -> a # toList :: Pair a -> [a] # null :: Pair a -> Bool # length :: Pair a -> Int # elem :: Eq a => a -> Pair a -> Bool # maximum :: Ord a => Pair a -> a # minimum :: Ord a => Pair a -> a # sum :: Num a => Pair a -> a # product :: Num a => Pair a -> a #
Traversable Pair Source #
Instance details Defined in Containers.Pair Methods traverse :: Applicative f => (a -> f b) -> Pair a -> f (Pair b) # sequenceA :: Applicative f => Pair (f a) -> f (Pair a) # mapM :: Monad m => (a -> m b) -> Pair a -> m (Pair b) # sequence :: Monad m => Pair (m a) -> m (Pair a) #
Eq a => Eq (Pair a) Source #
Instance details Defined in Containers.Pair Methods (==) :: Pair a -> Pair a -> Bool # (/=) :: Pair a -> Pair a -> Bool #
Ord a => Ord (Pair a) Source #
Instance details Defined in Containers.Pair Methods compare :: Pair a -> Pair a -> Ordering # (<) :: Pair a -> Pair a -> Bool # (<=) :: Pair a -> Pair a -> Bool # (>) :: Pair a -> Pair a -> Bool # (>=) :: Pair a -> Pair a -> Bool # max :: Pair a -> Pair a -> Pair a # min :: Pair a -> Pair a -> Pair a #
Sizable (Pair a) Source #
Instance details Defined in Containers Methods size :: Pair a -> Int Source #
Eq a => Containable (Pair a) a Source #
Instance details Defined in Containers Methods member :: a -> Pair a -> Bool Source # notMember :: a -> Pair a -> Bool Source #
Listable (Pair a) a Source #
Instance details Defined in Containers Methods toList :: Pair a -> [a] Source # fromList_ :: MonadFail m => [a] -> m (Pair a) Source #
Keyable (Pair a) Index Source #
Instance details Defined in Containers Methods keys :: Pair a -> [Index] Source # keysSet :: Pair a -> Set Index Source #
Valuable (Pair a) a Source #
Instance details Defined in Containers Methods values :: Pair a -> [a] Source # valuesSet :: Pair a -> Set a Source #
Indexable (Pair a) Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Pair a -> Index -> m a Source # (!<>) :: Pair a -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y (Pair a) -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y (Pair a) -> Index -> Getting x y (Set a) Source #
Each (Pair a) (Pair b) a b Source #
Instance details Defined in Containers.Pair Methods each :: Traversal (Pair a) (Pair b) a b #

newtype Quadruple a Source #

Constructors

Quadruple
Fields unQuadruple :: (a, a, a, a)

Instances

Instances details

Functor Quadruple Source #
Instance details Defined in Containers.Quadruple Methods fmap :: (a -> b) -> Quadruple a -> Quadruple b # (<$) :: a -> Quadruple b -> Quadruple a #
Applicative Quadruple Source #
Instance details Defined in Containers.Quadruple Methods pure :: a -> Quadruple a # (<>) :: Quadruple (a -> b) -> Quadruple a -> Quadruple b # liftA2 :: (a -> b -> c) -> Quadruple a -> Quadruple b -> Quadruple c # (>) :: Quadruple a -> Quadruple b -> Quadruple b # (<*) :: Quadruple a -> Quadruple b -> Quadruple a #
Foldable Quadruple Source #
Instance details Defined in Containers.Quadruple Methods fold :: Monoid m => Quadruple m -> m # foldMap :: Monoid m => (a -> m) -> Quadruple a -> m # foldMap' :: Monoid m => (a -> m) -> Quadruple a -> m # foldr :: (a -> b -> b) -> b -> Quadruple a -> b # foldr' :: (a -> b -> b) -> b -> Quadruple a -> b # foldl :: (b -> a -> b) -> b -> Quadruple a -> b # foldl' :: (b -> a -> b) -> b -> Quadruple a -> b # foldr1 :: (a -> a -> a) -> Quadruple a -> a # foldl1 :: (a -> a -> a) -> Quadruple a -> a # toList :: Quadruple a -> [a] # null :: Quadruple a -> Bool # length :: Quadruple a -> Int # elem :: Eq a => a -> Quadruple a -> Bool # maximum :: Ord a => Quadruple a -> a # minimum :: Ord a => Quadruple a -> a # sum :: Num a => Quadruple a -> a # product :: Num a => Quadruple a -> a #
Traversable Quadruple Source #
Instance details Defined in Containers.Quadruple Methods traverse :: Applicative f => (a -> f b) -> Quadruple a -> f (Quadruple b) # sequenceA :: Applicative f => Quadruple (f a) -> f (Quadruple a) # mapM :: Monad m => (a -> m b) -> Quadruple a -> m (Quadruple b) # sequence :: Monad m => Quadruple (m a) -> m (Quadruple a) #
Eq a => Eq (Quadruple a) Source #
Instance details Defined in Containers.Quadruple Methods (==) :: Quadruple a -> Quadruple a -> Bool # (/=) :: Quadruple a -> Quadruple a -> Bool #
Ord a => Ord (Quadruple a) Source #
Instance details Defined in Containers.Quadruple Methods compare :: Quadruple a -> Quadruple a -> Ordering # (<) :: Quadruple a -> Quadruple a -> Bool # (<=) :: Quadruple a -> Quadruple a -> Bool # (>) :: Quadruple a -> Quadruple a -> Bool # (>=) :: Quadruple a -> Quadruple a -> Bool # max :: Quadruple a -> Quadruple a -> Quadruple a # min :: Quadruple a -> Quadruple a -> Quadruple a #
Sizable (Quadruple a) Source #
Instance details Defined in Containers Methods size :: Quadruple a -> Int Source #
Eq a => Containable (Quadruple a) a Source #
Instance details Defined in Containers Methods member :: a -> Quadruple a -> Bool Source # notMember :: a -> Quadruple a -> Bool Source #
Listable (Quadruple a) a Source #
Instance details Defined in Containers Methods toList :: Quadruple a -> [a] Source # fromList_ :: MonadFail m => [a] -> m (Quadruple a) Source #
Keyable (Quadruple a) Index Source #
Instance details Defined in Containers Methods keys :: Quadruple a -> [Index] Source # keysSet :: Quadruple a -> Set Index Source #
Valuable (Quadruple a) a Source #
Instance details Defined in Containers Methods values :: Quadruple a -> [a] Source # valuesSet :: Quadruple a -> Set a Source #
Indexable (Quadruple a) Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Quadruple a -> Index -> m a Source # (!<>) :: Quadruple a -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y (Quadruple a) -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y (Quadruple a) -> Index -> Getting x y (Set a) Source #

data Index Source #

Instances

Instances details

Enum Index Source #
Instance details Defined in Containers Methods succ :: Index -> Index # pred :: Index -> Index # toEnum :: Int -> Index # fromEnum :: Index -> Int # enumFrom :: Index -> [Index] # enumFromThen :: Index -> Index -> [Index] # enumFromTo :: Index -> Index -> [Index] # enumFromThenTo :: Index -> Index -> Index -> [Index] #
Eq Index Source #
Instance details Defined in Containers Methods (==) :: Index -> Index -> Bool # (/=) :: Index -> Index -> Bool #
Num Index Source #
Instance details Defined in Containers Methods (+) :: Index -> Index -> Index # (-) :: Index -> Index -> Index # (*) :: Index -> Index -> Index # negate :: Index -> Index # abs :: Index -> Index # signum :: Index -> Index # fromInteger :: Integer -> Index #
Ord Index Source #
Instance details Defined in Containers Methods compare :: Index -> Index -> Ordering # (<) :: Index -> Index -> Bool # (<=) :: Index -> Index -> Bool # (>) :: Index -> Index -> Bool # (>=) :: Index -> Index -> Bool # max :: Index -> Index -> Index # min :: Index -> Index -> Index #
Deletable [a] Index Source #
Instance details Defined in Containers Methods delete :: MonadFail m => Index -> [a] -> m [a] Source # unsafeDelete :: Index -> [a] -> [a] Source # (\>) :: Index -> [a] -> [a] Source # (<\) :: [a] -> Index -> [a] Source # (<\~) :: ASetter s t [a] [a] -> Index -> s -> t Source # (<\=) :: MonadState s m => ASetter s s [a] [a] -> Index -> m () Source #
Containable [a] Index Source #
Instance details Defined in Containers Methods member :: Index -> [a] -> Bool Source # notMember :: Index -> [a] -> Bool Source #
Slicable [a] Index Source #
Instance details Defined in Containers Methods takeC :: Index -> [a] -> [a] Source # dropC :: Index -> [a] -> [a] Source # splitAtC :: Index -> [a] -> ([a], [a]) Source #
Slicable (Set a) Index Source #
Instance details Defined in Containers Methods takeC :: Index -> Set a -> Set a Source # dropC :: Index -> Set a -> Set a Source # splitAtC :: Index -> Set a -> (Set a, Set a) Source #
Keyable [a] Index Source #
Instance details Defined in Containers Methods keys :: [a] -> [Index] Source # keysSet :: [a] -> Set Index Source #
Keyable (Pair a) Index Source #
Instance details Defined in Containers Methods keys :: Pair a -> [Index] Source # keysSet :: Pair a -> Set Index Source #
Keyable (Quadruple a) Index Source #
Instance details Defined in Containers Methods keys :: Quadruple a -> [Index] Source # keysSet :: Quadruple a -> Set Index Source #
Eq a => Indexable [a] a Index Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => [a] -> a -> m Index Source # (!<>) :: [a] -> a -> Set Index Source # (.@) :: MonadFail m => Getting x y [a] -> a -> Getting x y (m Index) Source # (.<@>) :: Getting x y [a] -> a -> Getting x y (Set Index) Source #
Indexable [a] Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => [a] -> Index -> m a Source # (!<>) :: [a] -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y [a] -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y [a] -> Index -> Getting x y (Set a) Source #
Indexable (Set a) Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Set a -> Index -> m a Source # (!<>) :: Set a -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y (Set a) -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y (Set a) -> Index -> Getting x y (Set a) Source #
Indexable (Pair a) Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Pair a -> Index -> m a Source # (!<>) :: Pair a -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y (Pair a) -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y (Pair a) -> Index -> Getting x y (Set a) Source #
Indexable (Quadruple a) Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Quadruple a -> Index -> m a Source # (!<>) :: Quadruple a -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y (Quadruple a) -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y (Quadruple a) -> Index -> Getting x y (Set a) Source #

index :: Int -> Index Source #

class Sizable c where Source #

Methods

size :: c -> Int Source #

Instances

Instances details

Sizable [a] Source #
Instance details Defined in Containers Methods size :: [a] -> Int Source #
Sizable (Set a) Source #
Instance details Defined in Containers Methods size :: Set a -> Int Source #
Sizable (Pair a) Source #
Instance details Defined in Containers Methods size :: Pair a -> Int Source #
Sizable (Quadruple a) Source #
Instance details Defined in Containers Methods size :: Quadruple a -> Int Source #
Sizable (Map k a) Source #
Instance details Defined in Containers Methods size :: Map k a -> Int Source #
Sizable (IsoMap a b) Source #
Instance details Defined in Containers Methods size :: IsoMap a b -> Int Source #
Sizable (PrismMap k a) Source #
Instance details Defined in Containers Methods size :: PrismMap k a -> Int Source #

class Nullable c where Source #

Minimal complete definition

emptyC

Methods

nullC :: c -> Bool Source #

default nullC :: Sizable c => c -> Bool Source #

emptyC :: c Source #

Instances

Instances details

Nullable [a] Source #
Instance details Defined in Containers Methods nullC :: [a] -> Bool Source # emptyC :: [a] Source #
Nullable (Set a) Source #
Instance details Defined in Containers Methods nullC :: Set a -> Bool Source # emptyC :: Set a Source #
Nullable (Map k a) Source #
Instance details Defined in Containers Methods nullC :: Map k a -> Bool Source # emptyC :: Map k a Source #
Nullable (IsoMap a b) Source #
Instance details Defined in Containers Methods nullC :: IsoMap a b -> Bool Source # emptyC :: IsoMap a b Source #
Nullable (PrismMap k a) Source #
Instance details Defined in Containers Methods nullC :: PrismMap k a -> Bool Source # emptyC :: PrismMap k a Source #

class Singletonable c v | c -> v where Source #

Methods

singleton :: v -> c Source #

Instances

Instances details

Singletonable [a] a Source #
Instance details Defined in Containers Methods singleton :: a -> [a] Source #
Singletonable (Set a) a Source #
Instance details Defined in Containers Methods singleton :: a -> Set a Source #
Singletonable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods singleton :: (k, a) -> Map k a Source #
(Ord a, Ord b) => Singletonable (IsoMap a b) (a, b) Source #
Instance details Defined in Containers Methods singleton :: (a, b) -> IsoMap a b Source #
Singletonable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods singleton :: (k, a) -> PrismMap k a Source #

class Valuable c v where Source #

Minimal complete definition

Nothing

Methods

values :: c -> [v] Source #

default values :: Ord v => c -> [v] Source #

valuesSet :: Ord v => c -> Set v Source #

Instances

Instances details

Valuable [a] a Source #
Instance details Defined in Containers Methods values :: [a] -> [a] Source # valuesSet :: [a] -> Set a Source #
Ord a => Valuable (Set a) a Source #
Instance details Defined in Containers Methods values :: Set a -> [a] Source # valuesSet :: Set a -> Set a Source #
Valuable (Pair a) a Source #
Instance details Defined in Containers Methods values :: Pair a -> [a] Source # valuesSet :: Pair a -> Set a Source #
Valuable (Quadruple a) a Source #
Instance details Defined in Containers Methods values :: Quadruple a -> [a] Source # valuesSet :: Quadruple a -> Set a Source #
Valuable (Map k a) a Source #
Instance details Defined in Containers Methods values :: Map k a -> [a] Source # valuesSet :: Map k a -> Set a Source #
(Ord a, Ord b) => Valuable (IsoMap a b) b Source #
Instance details Defined in Containers Methods values :: IsoMap a b -> [b] Source # valuesSet :: IsoMap a b -> Set b Source #
(Ord a, Ord b) => Valuable (IsoMap a b) a Source #
Instance details Defined in Containers Methods values :: IsoMap a b -> [a] Source # valuesSet :: IsoMap a b -> Set a Source #
Valuable (PrismMap k a) a Source #
Instance details Defined in Containers Methods values :: PrismMap k a -> [a] Source # valuesSet :: PrismMap k a -> Set a Source #

class Keyable c k | c -> k where Source #

Minimal complete definition

Nothing

Methods

keys :: c -> [k] Source #

default keys :: Ord k => c -> [k] Source #

keysSet :: Ord k => c -> Set k Source #

Instances

Instances details

Keyable [a] Index Source #
Instance details Defined in Containers Methods keys :: [a] -> [Index] Source # keysSet :: [a] -> Set Index Source #
Keyable (Pair a) Index Source #
Instance details Defined in Containers Methods keys :: Pair a -> [Index] Source # keysSet :: Pair a -> Set Index Source #
Keyable (Quadruple a) Index Source #
Instance details Defined in Containers Methods keys :: Quadruple a -> [Index] Source # keysSet :: Quadruple a -> Set Index Source #
Ord k => Keyable (Map k a) k Source #
Instance details Defined in Containers Methods keys :: Map k a -> [k] Source # keysSet :: Map k a -> Set k Source #
Keyable (PrismMap k a) k Source #
Instance details Defined in Containers Methods keys :: PrismMap k a -> [k] Source # keysSet :: PrismMap k a -> Set k Source #

class Indexable c k v | c k -> v, c v -> k where Source #

Minimal complete definition

Nothing

Methods

(!?) :: MonadFail m => c -> k -> m v infixl 9 Source #

(!<>) :: c -> k -> Set v infixl 9 Source #

(.@) :: MonadFail m => Getting x y c -> k -> Getting x y (m v) infixr 9 Source #

(.<@>) :: Getting x y c -> k -> Getting x y (Set v) infixr 9 Source #

Instances

Instances details

Eq a => Indexable [a] a Index Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => [a] -> a -> m Index Source # (!<>) :: [a] -> a -> Set Index Source # (.@) :: MonadFail m => Getting x y [a] -> a -> Getting x y (m Index) Source # (.<@>) :: Getting x y [a] -> a -> Getting x y (Set Index) Source #
Indexable [a] Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => [a] -> Index -> m a Source # (!<>) :: [a] -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y [a] -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y [a] -> Index -> Getting x y (Set a) Source #
Indexable (Set a) Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Set a -> Index -> m a Source # (!<>) :: Set a -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y (Set a) -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y (Set a) -> Index -> Getting x y (Set a) Source #
Indexable (Pair a) Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Pair a -> Index -> m a Source # (!<>) :: Pair a -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y (Pair a) -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y (Pair a) -> Index -> Getting x y (Set a) Source #
Indexable (Quadruple a) Index a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Quadruple a -> Index -> m a Source # (!<>) :: Quadruple a -> Index -> Set a Source # (.@) :: MonadFail m => Getting x y (Quadruple a) -> Index -> Getting x y (m a) Source # (.<@>) :: Getting x y (Quadruple a) -> Index -> Getting x y (Set a) Source #
Ord k => Indexable (Map k a) k a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => Map k a -> k -> m a Source # (!<>) :: Map k a -> k -> Set a Source # (.@) :: MonadFail m => Getting x y (Map k a) -> k -> Getting x y (m a) Source # (.<@>) :: Getting x y (Map k a) -> k -> Getting x y (Set a) Source #
(Ord a, Ord b) => Indexable (IsoMap a b) b a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => IsoMap a b -> b -> m a Source # (!<>) :: IsoMap a b -> b -> Set a Source # (.@) :: MonadFail m => Getting x y (IsoMap a b) -> b -> Getting x y (m a) Source # (.<@>) :: Getting x y (IsoMap a b) -> b -> Getting x y (Set a) Source #
(Ord a, Ord b) => Indexable (IsoMap a b) a b Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => IsoMap a b -> a -> m b Source # (!<>) :: IsoMap a b -> a -> Set b Source # (.@) :: MonadFail m => Getting x y (IsoMap a b) -> a -> Getting x y (m b) Source # (.<@>) :: Getting x y (IsoMap a b) -> a -> Getting x y (Set b) Source #
Ord a => Indexable (PrismMap k a) a k Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => PrismMap k a -> a -> m k Source # (!<>) :: PrismMap k a -> a -> Set k Source # (.@) :: MonadFail m => Getting x y (PrismMap k a) -> a -> Getting x y (m k) Source # (.<@>) :: Getting x y (PrismMap k a) -> a -> Getting x y (Set k) Source #
Ord k => Indexable (PrismMap k a) k a Source #
Instance details Defined in Containers Methods (!?) :: MonadFail m => PrismMap k a -> k -> m a Source # (!<>) :: PrismMap k a -> k -> Set a Source # (.@) :: MonadFail m => Getting x y (PrismMap k a) -> k -> Getting x y (m a) Source # (.<@>) :: Getting x y (PrismMap k a) -> k -> Getting x y (Set a) Source #

class Slicable c k where Source #

Minimal complete definition

takeC, dropC

Methods

takeC :: k -> c -> c Source #

dropC :: k -> c -> c Source #

splitAtC :: k -> c -> (c, c) Source #

Instances

Instances details

Slicable [a] Index Source #
Instance details Defined in Containers Methods takeC :: Index -> [a] -> [a] Source # dropC :: Index -> [a] -> [a] Source # splitAtC :: Index -> [a] -> ([a], [a]) Source #
Slicable (Set a) Index Source #
Instance details Defined in Containers Methods takeC :: Index -> Set a -> Set a Source # dropC :: Index -> Set a -> Set a Source # splitAtC :: Index -> Set a -> (Set a, Set a) Source #
Slicable [a] (a -> Bool) Source #
Instance details Defined in Containers Methods takeC :: (a -> Bool) -> [a] -> [a] Source # dropC :: (a -> Bool) -> [a] -> [a] Source # splitAtC :: (a -> Bool) -> [a] -> ([a], [a]) Source #
Slicable (Set a) (a -> Bool) Source #
Instance details Defined in Containers Methods takeC :: (a -> Bool) -> Set a -> Set a Source # dropC :: (a -> Bool) -> Set a -> Set a Source # splitAtC :: (a -> Bool) -> Set a -> (Set a, Set a) Source #

class Operable c where Source #

Minimal complete definition

union, intersection, difference

Methods

union :: c -> c -> c Source #

(\/) :: c -> c -> c infixl 5 Source #

(\/~) :: ASetter s t c c -> c -> s -> t infixr 4 Source #

(\/=) :: MonadState s m => ASetter s s c c -> c -> m () infix 4 Source #

intersection :: c -> c -> c Source #

(/\) :: c -> c -> c infixl 5 Source #

(/\~) :: ASetter s t c c -> c -> s -> t infixr 4 Source #

(/\=) :: MonadState s m => ASetter s s c c -> c -> m () infix 4 Source #

difference :: c -> c -> c Source #

(\\) :: c -> c -> c infixl 5 Source #

(\\~) :: ASetter s t c c -> c -> s -> t infixr 4 Source #

(\\=) :: MonadState s m => ASetter s s c c -> c -> m () infix 4 Source #

Instances

Instances details

Eq a => Operable [a] Source #
Instance details Defined in Containers Methods union :: [a] -> [a] -> [a] Source # (\/) :: [a] -> [a] -> [a] Source # (\/~) :: ASetter s t [a] [a] -> [a] -> s -> t Source # (\/=) :: MonadState s m => ASetter s s [a] [a] -> [a] -> m () Source # intersection :: [a] -> [a] -> [a] Source # (/\) :: [a] -> [a] -> [a] Source # (/\~) :: ASetter s t [a] [a] -> [a] -> s -> t Source # (/\=) :: MonadState s m => ASetter s s [a] [a] -> [a] -> m () Source # difference :: [a] -> [a] -> [a] Source # (\\) :: [a] -> [a] -> [a] Source # (\\~) :: ASetter s t [a] [a] -> [a] -> s -> t Source # (\\=) :: MonadState s m => ASetter s s [a] [a] -> [a] -> m () Source #
Ord a => Operable (Set a) Source #
Instance details Defined in Containers Methods union :: Set a -> Set a -> Set a Source # (\/) :: Set a -> Set a -> Set a Source # (\/~) :: ASetter s t (Set a) (Set a) -> Set a -> s -> t Source # (\/=) :: MonadState s m => ASetter s s (Set a) (Set a) -> Set a -> m () Source # intersection :: Set a -> Set a -> Set a Source # (/\) :: Set a -> Set a -> Set a Source # (/\~) :: ASetter s t (Set a) (Set a) -> Set a -> s -> t Source # (/\=) :: MonadState s m => ASetter s s (Set a) (Set a) -> Set a -> m () Source # difference :: Set a -> Set a -> Set a Source # (\\) :: Set a -> Set a -> Set a Source # (\\~) :: ASetter s t (Set a) (Set a) -> Set a -> s -> t Source # (\\=) :: MonadState s m => ASetter s s (Set a) (Set a) -> Set a -> m () Source #
Ord k => Operable (Map k a) Source #
Instance details Defined in Containers Methods union :: Map k a -> Map k a -> Map k a Source # (\/) :: Map k a -> Map k a -> Map k a Source # (\/~) :: ASetter s t (Map k a) (Map k a) -> Map k a -> s -> t Source # (\/=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> Map k a -> m () Source # intersection :: Map k a -> Map k a -> Map k a Source # (/\) :: Map k a -> Map k a -> Map k a Source # (/\~) :: ASetter s t (Map k a) (Map k a) -> Map k a -> s -> t Source # (/\=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> Map k a -> m () Source # difference :: Map k a -> Map k a -> Map k a Source # (\\) :: Map k a -> Map k a -> Map k a Source # (\\~) :: ASetter s t (Map k a) (Map k a) -> Map k a -> s -> t Source # (\\=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> Map k a -> m () Source #
(Ord k, Ord a) => Operable (PrismMap k a) Source #
Instance details Defined in Containers Methods union :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (\/) :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (\/~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> PrismMap k a -> s -> t Source # (\/=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> PrismMap k a -> m () Source # intersection :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (/\) :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (/\~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> PrismMap k a -> s -> t Source # (/\=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> PrismMap k a -> m () Source # difference :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (\\) :: PrismMap k a -> PrismMap k a -> PrismMap k a Source # (\\~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> PrismMap k a -> s -> t Source # (\\=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> PrismMap k a -> m () Source #

class Listable c v | c -> v where Source #

Minimal complete definition

Nothing

Methods

toList :: c -> [v] Source #

default toList :: Valuable c v => c -> [v] Source #

fromList_ :: MonadFail m => [v] -> m c Source #

default fromList_ :: (UnsafeListable c v, MonadFail m) => [v] -> m c Source #

Instances

Instances details

Listable [a] a Source #
Instance details Defined in Containers Methods toList :: [a] -> [a] Source # fromList_ :: MonadFail m => [a] -> m [a] Source #
Ord a => Listable (Set a) a Source #
Instance details Defined in Containers Methods toList :: Set a -> [a] Source # fromList_ :: MonadFail m => [a] -> m (Set a) Source #
Listable (Pair a) a Source #
Instance details Defined in Containers Methods toList :: Pair a -> [a] Source # fromList_ :: MonadFail m => [a] -> m (Pair a) Source #
Listable (Quadruple a) a Source #
Instance details Defined in Containers Methods toList :: Quadruple a -> [a] Source # fromList_ :: MonadFail m => [a] -> m (Quadruple a) Source #
Ord k => Listable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods toList :: Map k a -> [(k, a)] Source # fromList_ :: MonadFail m => [(k, a)] -> m (Map k a) Source #
(Ord a, Ord b) => Listable (IsoMap a b) (a, b) Source #
Instance details Defined in Containers Methods toList :: IsoMap a b -> [(a, b)] Source # fromList_ :: MonadFail m => [(a, b)] -> m (IsoMap a b) Source #
(Ord k, Ord a) => Listable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods toList :: PrismMap k a -> [(k, a)] Source # fromList_ :: MonadFail m => [(k, a)] -> m (PrismMap k a) Source #

class UnsafeListable c v | c -> v where Source #

Methods

fromList :: [v] -> c Source #

Instances

Instances details

UnsafeListable [a] a Source #
Instance details Defined in Containers Methods fromList :: [a] -> [a] Source #
Ord a => UnsafeListable (Set a) a Source #
Instance details Defined in Containers Methods fromList :: [a] -> Set a Source #
Ord k => UnsafeListable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods fromList :: [(k, a)] -> Map k a Source #
(Ord a, Ord b) => UnsafeListable (IsoMap a b) (a, b) Source #
Instance details Defined in Containers Methods fromList :: [(a, b)] -> IsoMap a b Source #
(Ord k, Ord a) => UnsafeListable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods fromList :: [(k, a)] -> PrismMap k a Source #

class FastUnsafeListable c v | c -> v where Source #

Methods

fromAscList :: [v] -> c Source #

fromDistinctAscList :: [v] -> c Source #

fromDescList :: [v] -> c Source #

fromDistinctDescList :: [v] -> c Source #

Instances

Instances details

Eq a => FastUnsafeListable (Set a) a Source #
Instance details Defined in Containers Methods fromAscList :: [a] -> Set a Source # fromDistinctAscList :: [a] -> Set a Source # fromDescList :: [a] -> Set a Source # fromDistinctDescList :: [a] -> Set a Source #
Eq k => FastUnsafeListable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods fromAscList :: [(k, a)] -> Map k a Source # fromDistinctAscList :: [(k, a)] -> Map k a Source # fromDescList :: [(k, a)] -> Map k a Source # fromDistinctDescList :: [(k, a)] -> Map k a Source #

class Containable c v where Source #

Minimal complete definition

Nothing

Methods

member :: v -> c -> Bool Source #

notMember :: v -> c -> Bool Source #

Instances

Instances details

Containable [a] Index Source #
Instance details Defined in Containers Methods member :: Index -> [a] -> Bool Source # notMember :: Index -> [a] -> Bool Source #
Eq a => Containable [a] a Source #
Instance details Defined in Containers Methods member :: a -> [a] -> Bool Source # notMember :: a -> [a] -> Bool Source #
Ord a => Containable (Set a) a Source #
Instance details Defined in Containers Methods member :: a -> Set a -> Bool Source # notMember :: a -> Set a -> Bool Source #
Eq a => Containable (Pair a) a Source #
Instance details Defined in Containers Methods member :: a -> Pair a -> Bool Source # notMember :: a -> Pair a -> Bool Source #
Eq a => Containable (Quadruple a) a Source #
Instance details Defined in Containers Methods member :: a -> Quadruple a -> Bool Source # notMember :: a -> Quadruple a -> Bool Source #
Eq a => Containable (Map k a) a Source #
Instance details Defined in Containers Methods member :: a -> Map k a -> Bool Source # notMember :: a -> Map k a -> Bool Source #
Ord k => Containable (Map k a) k Source #
Instance details Defined in Containers Methods member :: k -> Map k a -> Bool Source # notMember :: k -> Map k a -> Bool Source #
(Ord a, Ord b) => Containable (IsoMap a b) b Source #
Instance details Defined in Containers Methods member :: b -> IsoMap a b -> Bool Source # notMember :: b -> IsoMap a b -> Bool Source #
(Ord a, Ord b) => Containable (IsoMap a b) a Source #
Instance details Defined in Containers Methods member :: a -> IsoMap a b -> Bool Source # notMember :: a -> IsoMap a b -> Bool Source #
Ord a => Containable (PrismMap k a) a Source #
Instance details Defined in Containers Methods member :: a -> PrismMap k a -> Bool Source # notMember :: a -> PrismMap k a -> Bool Source #
Ord k => Containable (PrismMap k a) k Source #
Instance details Defined in Containers Methods member :: k -> PrismMap k a -> Bool Source # notMember :: k -> PrismMap k a -> Bool Source #
(Ord k, Eq a) => Containable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods member :: (k, a) -> Map k a -> Bool Source # notMember :: (k, a) -> Map k a -> Bool Source #
(Ord k, Ord a) => Containable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods member :: (k, a) -> PrismMap k a -> Bool Source # notMember :: (k, a) -> PrismMap k a -> Bool Source #

class Gunctor c1 c2 v1 v2 | c1 c2 -> v1 v2 where Source #

Minimal complete definition

Nothing

Methods

gmap :: (v1 -> v2) -> c1 -> c2 Source #

(<@>) :: (v1 -> v2) -> c1 -> c2 infix 4 Source #

Instances

Instances details

Ord b => Gunctor (Set a) (Set b) a b Source #
Instance details Defined in Containers Methods gmap :: (a -> b) -> Set a -> Set b Source # (<@>) :: (a -> b) -> Set a -> Set b Source #
Gunctor (Map k a) (Map k b) a b Source #
Instance details Defined in Containers Methods gmap :: (a -> b) -> Map k a -> Map k b Source # (<@>) :: (a -> b) -> Map k a -> Map k b Source #
Ord l => Gunctor (Map k a) (Map l a) k l Source #
Instance details Defined in Containers Methods gmap :: (k -> l) -> Map k a -> Map l a Source # (<@>) :: (k -> l) -> Map k a -> Map l a Source #
Ord b2 => Gunctor (IsoMap a b1) (IsoMap b2 a) b1 b2 Source #
Instance details Defined in Containers Methods gmap :: (b1 -> b2) -> IsoMap a b1 -> IsoMap b2 a Source # (<@>) :: (b1 -> b2) -> IsoMap a b1 -> IsoMap b2 a Source #
Ord a2 => Gunctor (IsoMap a1 b) (IsoMap b a2) a1 a2 Source #
Instance details Defined in Containers Methods gmap :: (a1 -> a2) -> IsoMap a1 b -> IsoMap b a2 Source # (<@>) :: (a1 -> a2) -> IsoMap a1 b -> IsoMap b a2 Source #
Ord b2 => Gunctor (IsoMap a b1) (IsoMap a b2) b1 b2 Source #
Instance details Defined in Containers Methods gmap :: (b1 -> b2) -> IsoMap a b1 -> IsoMap a b2 Source # (<@>) :: (b1 -> b2) -> IsoMap a b1 -> IsoMap a b2 Source #
Ord a2 => Gunctor (IsoMap a1 b) (IsoMap a2 b) a1 a2 Source #
Instance details Defined in Containers Methods gmap :: (a1 -> a2) -> IsoMap a1 b -> IsoMap a2 b Source # (<@>) :: (a1 -> a2) -> IsoMap a1 b -> IsoMap a2 b Source #
Ord b => Gunctor (PrismMap k a) (PrismMap k b) a b Source #
Instance details Defined in Containers Methods gmap :: (a -> b) -> PrismMap k a -> PrismMap k b Source # (<@>) :: (a -> b) -> PrismMap k a -> PrismMap k b Source #
Ord l => Gunctor (PrismMap k a) (PrismMap l a) k l Source #
Instance details Defined in Containers Methods gmap :: (k -> l) -> PrismMap k a -> PrismMap l a Source # (<@>) :: (k -> l) -> PrismMap k a -> PrismMap l a Source #

class Filterable c v where Source #

Minimal complete definition

filterC

Methods

filterC :: (v -> Bool) -> c -> c Source #

(<?>) :: (v -> Bool) -> c -> c infix 4 Source #

(<?>~) :: ASetter s t c c -> (v -> Bool) -> s -> t infixr 4 Source #

(<?>=) :: MonadState s m => ASetter s s c c -> (v -> Bool) -> m () infix 4 Source #

Instances

Instances details

Filterable [a] a Source #
Instance details Defined in Containers Methods filterC :: (a -> Bool) -> [a] -> [a] Source # (<?>) :: (a -> Bool) -> [a] -> [a] Source # (<?>~) :: ASetter s t [a] [a] -> (a -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s [a] [a] -> (a -> Bool) -> m () Source #
Filterable (Set a) a Source #
Instance details Defined in Containers Methods filterC :: (a -> Bool) -> Set a -> Set a Source # (<?>) :: (a -> Bool) -> Set a -> Set a Source # (<?>~) :: ASetter s t (Set a) (Set a) -> (a -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (Set a) (Set a) -> (a -> Bool) -> m () Source #
Filterable (Map k a) a Source #
Instance details Defined in Containers Methods filterC :: (a -> Bool) -> Map k a -> Map k a Source # (<?>) :: (a -> Bool) -> Map k a -> Map k a Source # (<?>~) :: ASetter s t (Map k a) (Map k a) -> (a -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> (a -> Bool) -> m () Source #
Filterable (Map k a) k Source #
Instance details Defined in Containers Methods filterC :: (k -> Bool) -> Map k a -> Map k a Source # (<?>) :: (k -> Bool) -> Map k a -> Map k a Source # (<?>~) :: ASetter s t (Map k a) (Map k a) -> (k -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> (k -> Bool) -> m () Source #
(Ord a, Ord b) => Filterable (IsoMap a b) b Source #
Instance details Defined in Containers Methods filterC :: (b -> Bool) -> IsoMap a b -> IsoMap a b Source # (<?>) :: (b -> Bool) -> IsoMap a b -> IsoMap a b Source # (<?>~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> (b -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> (b -> Bool) -> m () Source #
(Ord a, Ord b) => Filterable (IsoMap a b) a Source #
Instance details Defined in Containers Methods filterC :: (a -> Bool) -> IsoMap a b -> IsoMap a b Source # (<?>) :: (a -> Bool) -> IsoMap a b -> IsoMap a b Source # (<?>~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> (a -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> (a -> Bool) -> m () Source #
Filterable (PrismMap k a) a Source #
Instance details Defined in Containers Methods filterC :: (a -> Bool) -> PrismMap k a -> PrismMap k a Source # (<?>) :: (a -> Bool) -> PrismMap k a -> PrismMap k a Source # (<?>~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> (a -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> (a -> Bool) -> m () Source #
Filterable (PrismMap k a) k Source #
Instance details Defined in Containers Methods filterC :: (k -> Bool) -> PrismMap k a -> PrismMap k a Source # (<?>) :: (k -> Bool) -> PrismMap k a -> PrismMap k a Source # (<?>~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> (k -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> (k -> Bool) -> m () Source #
Filterable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods filterC :: ((k, a) -> Bool) -> Map k a -> Map k a Source # (<?>) :: ((k, a) -> Bool) -> Map k a -> Map k a Source # (<?>~) :: ASetter s t (Map k a) (Map k a) -> ((k, a) -> Bool) -> s -> t Source # (<?>=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> ((k, a) -> Bool) -> m () Source #

class Insertable c v where Source #

Minimal complete definition

Nothing

Methods

insert :: MonadFail m => v -> c -> m c Source #

default insert :: (Containable c v, MonadFail m) => v -> c -> m c Source #

unsafeInsert :: v -> c -> c Source #

(+>) :: v -> c -> c infixr 7 Source #

(<+) :: c -> v -> c infixl 6 Source #

(<+~) :: ASetter s t c c -> v -> s -> t infixr 4 Source #

(<+=) :: MonadState s m => ASetter s s c c -> v -> m () infix 4 Source #

Instances

Instances details

Insertable Title Char Source #
Instance details Defined in ShowInfo Methods insert :: MonadFail m => Char -> Title -> m Title Source # unsafeInsert :: Char -> Title -> Title Source # (+>) :: Char -> Title -> Title Source # (<+) :: Title -> Char -> Title Source # (<+~) :: ASetter s t Title Title -> Char -> s -> t Source # (<+=) :: MonadState s m => ASetter s s Title Title -> Char -> m () Source #
Insertable [a] a Source #
Instance details Defined in Containers Methods insert :: MonadFail m => a -> [a] -> m [a] Source # unsafeInsert :: a -> [a] -> [a] Source # (+>) :: a -> [a] -> [a] Source # (<+) :: [a] -> a -> [a] Source # (<+~) :: ASetter s t [a] [a] -> a -> s -> t Source # (<+=) :: MonadState s m => ASetter s s [a] [a] -> a -> m () Source #
Ord a => Insertable (Set a) a Source #
Instance details Defined in Containers Methods insert :: MonadFail m => a -> Set a -> m (Set a) Source # unsafeInsert :: a -> Set a -> Set a Source # (+>) :: a -> Set a -> Set a Source # (<+) :: Set a -> a -> Set a Source # (<+~) :: ASetter s t (Set a) (Set a) -> a -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (Set a) (Set a) -> a -> m () Source #
(Ord k, Eq a) => Insertable (Map k a) (k, a) Source #
Instance details Defined in Containers Methods insert :: MonadFail m => (k, a) -> Map k a -> m (Map k a) Source # unsafeInsert :: (k, a) -> Map k a -> Map k a Source # (+>) :: (k, a) -> Map k a -> Map k a Source # (<+) :: Map k a -> (k, a) -> Map k a Source # (<+~) :: ASetter s t (Map k a) (Map k a) -> (k, a) -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> (k, a) -> m () Source #
(Ord a, Ord b) => Insertable (IsoMap a b) (b, a) Source #
Instance details Defined in Containers Methods insert :: MonadFail m => (b, a) -> IsoMap a b -> m (IsoMap a b) Source # unsafeInsert :: (b, a) -> IsoMap a b -> IsoMap a b Source # (+>) :: (b, a) -> IsoMap a b -> IsoMap a b Source # (<+) :: IsoMap a b -> (b, a) -> IsoMap a b Source # (<+~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> (b, a) -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> (b, a) -> m () Source #
(Ord a, Ord b) => Insertable (IsoMap a b) (a, b) Source #
Instance details Defined in Containers Methods insert :: MonadFail m => (a, b) -> IsoMap a b -> m (IsoMap a b) Source # unsafeInsert :: (a, b) -> IsoMap a b -> IsoMap a b Source # (+>) :: (a, b) -> IsoMap a b -> IsoMap a b Source # (<+) :: IsoMap a b -> (a, b) -> IsoMap a b Source # (<+~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> (a, b) -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> (a, b) -> m () Source #
(Ord k, Ord a) => Insertable (PrismMap k a) (k, a) Source #
Instance details Defined in Containers Methods insert :: MonadFail m => (k, a) -> PrismMap k a -> m (PrismMap k a) Source # unsafeInsert :: (k, a) -> PrismMap k a -> PrismMap k a Source # (+>) :: (k, a) -> PrismMap k a -> PrismMap k a Source # (<+) :: PrismMap k a -> (k, a) -> PrismMap k a Source # (<+~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> (k, a) -> s -> t Source # (<+=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> (k, a) -> m () Source #

class Deletable c v where Source #

Minimal complete definition

Nothing

Methods

delete :: MonadFail m => v -> c -> m c Source #

default delete :: (Containable c v, MonadFail m) => v -> c -> m c Source #

unsafeDelete :: v -> c -> c Source #

(\>) :: v -> c -> c infixr 7 Source #

(<\) :: c -> v -> c infixl 6 Source #

(<\~) :: ASetter s t c c -> v -> s -> t infixr 4 Source #

(<\=) :: MonadState s m => ASetter s s c c -> v -> m () infix 4 Source #

Instances

Instances details

Deletable [a] Index Source #
Instance details Defined in Containers Methods delete :: MonadFail m => Index -> [a] -> m [a] Source # unsafeDelete :: Index -> [a] -> [a] Source # (\>) :: Index -> [a] -> [a] Source # (<\) :: [a] -> Index -> [a] Source # (<\~) :: ASetter s t [a] [a] -> Index -> s -> t Source # (<\=) :: MonadState s m => ASetter s s [a] [a] -> Index -> m () Source #
Eq a => Deletable [a] a Source #
Instance details Defined in Containers Methods delete :: MonadFail m => a -> [a] -> m [a] Source # unsafeDelete :: a -> [a] -> [a] Source # (\>) :: a -> [a] -> [a] Source # (<\) :: [a] -> a -> [a] Source # (<\~) :: ASetter s t [a] [a] -> a -> s -> t Source # (<\=) :: MonadState s m => ASetter s s [a] [a] -> a -> m () Source #
Ord a => Deletable (Set a) a Source #
Instance details Defined in Containers Methods delete :: MonadFail m => a -> Set a -> m (Set a) Source # unsafeDelete :: a -> Set a -> Set a Source # (\>) :: a -> Set a -> Set a Source # (<\) :: Set a -> a -> Set a Source # (<\~) :: ASetter s t (Set a) (Set a) -> a -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (Set a) (Set a) -> a -> m () Source #
Ord k => Deletable (Map k a) k Source #
Instance details Defined in Containers Methods delete :: MonadFail m => k -> Map k a -> m (Map k a) Source # unsafeDelete :: k -> Map k a -> Map k a Source # (\>) :: k -> Map k a -> Map k a Source # (<\) :: Map k a -> k -> Map k a Source # (<\~) :: ASetter s t (Map k a) (Map k a) -> k -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (Map k a) (Map k a) -> k -> m () Source #
(Ord a, Ord b) => Deletable (IsoMap a b) b Source #
Instance details Defined in Containers Methods delete :: MonadFail m => b -> IsoMap a b -> m (IsoMap a b) Source # unsafeDelete :: b -> IsoMap a b -> IsoMap a b Source # (\>) :: b -> IsoMap a b -> IsoMap a b Source # (<\) :: IsoMap a b -> b -> IsoMap a b Source # (<\~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> b -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> b -> m () Source #
(Ord a, Ord b) => Deletable (IsoMap a b) a Source #
Instance details Defined in Containers Methods delete :: MonadFail m => a -> IsoMap a b -> m (IsoMap a b) Source # unsafeDelete :: a -> IsoMap a b -> IsoMap a b Source # (\>) :: a -> IsoMap a b -> IsoMap a b Source # (<\) :: IsoMap a b -> a -> IsoMap a b Source # (<\~) :: ASetter s t (IsoMap a b) (IsoMap a b) -> a -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (IsoMap a b) (IsoMap a b) -> a -> m () Source #
(Ord k, Ord a) => Deletable (PrismMap k a) a Source #
Instance details Defined in Containers Methods delete :: MonadFail m => a -> PrismMap k a -> m (PrismMap k a) Source # unsafeDelete :: a -> PrismMap k a -> PrismMap k a Source # (\>) :: a -> PrismMap k a -> PrismMap k a Source # (<\) :: PrismMap k a -> a -> PrismMap k a Source # (<\~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> a -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> a -> m () Source #
(Ord k, Ord a) => Deletable (PrismMap k a) k Source #
Instance details Defined in Containers Methods delete :: MonadFail m => k -> PrismMap k a -> m (PrismMap k a) Source # unsafeDelete :: k -> PrismMap k a -> PrismMap k a Source # (\>) :: k -> PrismMap k a -> PrismMap k a Source # (<\) :: PrismMap k a -> k -> PrismMap k a Source # (<\~) :: ASetter s t (PrismMap k a) (PrismMap k a) -> k -> s -> t Source # (<\=) :: MonadState s m => ASetter s s (PrismMap k a) (PrismMap k a) -> k -> m () Source #