Safe Haskell	None
Language	Haskell2010

TuringMachine

Description

Module TuringMachine include type of Turing machine and useful objects for working with it. This module also export other useful modules.

Synopsis

type LabeledStates = PrismMap String State
type Alphabet = IsoMap ShowedSymbol Symbol
data TuringMachine
turingMachine :: Quadruples -> LabeledStates -> Alphabet -> TuringMachine
quadruples :: Lens' TuringMachine Quadruples
labeledStates :: Lens' TuringMachine LabeledStates
alphabet :: Lens' TuringMachine Alphabet
type TMGetter a = Getter TuringMachine a
type TMSetter a b = Setter TuringMachine TuringMachine a b
states :: TMSetter State (Maybe State)
symbols :: TMSetter Symbol (Maybe Symbol)
allStates :: TMGetter (Set State)
allSymbols :: TMGetter (Set Symbol)
strQuadruples :: TMGetter (Set StrQuadruple)
strLabeledStates :: TMGetter (Set String)
strSymbols :: TMGetter (Set String)
strNumStates :: TMGetter (Set String)
strNumSymbols :: TMGetter (Set String)
maxNumState :: TMGetter Int
maxNumSymbol :: TMGetter Int
module TuringMachine.Quadruple
data Map k a
data Set a
newtype Pair a = Pair {
- unPair :: (a, a)
}
unQuadruple :: Quadruple a -> (a, a, a, a)
data IsoMap a b
data PrismMap k a
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 ()
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 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 Gunctor c1 c2 v1 v2 | c1 c2 -> v1 v2 where
- gmap :: (v1 -> v2) -> c1 -> c2
- (<@>) :: (v1 -> v2) -> c1 -> c2
class Containable c v where
- member :: v -> c -> Bool
- notMember :: v -> c -> Bool
class FastUnsafeListable c v | c -> v where
- fromAscList :: [v] -> c
- fromDistinctAscList :: [v] -> c
- fromDescList :: [v] -> c
- fromDistinctDescList :: [v] -> c
class UnsafeListable c v | c -> v where
- fromList :: [v] -> c
class Listable c v | c -> v where
- toList :: c -> [v]
- fromList_ :: MonadFail m => [v] -> m 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 Slicable c k where
- takeC :: k -> c -> c
- dropC :: k -> c -> c
- splitAtC :: k -> c -> (c, c)
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 Keyable c k | c -> k where
- keys :: c -> [k]
- keysSet :: Ord k => c -> Set k
class Valuable c v where
- values :: c -> [v]
- valuesSet :: Ord v => c -> Set v
class Singletonable c v | c -> v where
- singleton :: v -> c
class Nullable c where
- nullC :: c -> Bool
- emptyC :: c
class Sizable c where
- size :: c -> Int
data Index
index :: Int -> Index
module Lens

Documentation

type LabeledStates = PrismMap String State Source #

type Alphabet = IsoMap ShowedSymbol Symbol Source #

data TuringMachine Source #

Instances

Instances details

Eq TuringMachine Source #
Instance details Defined in TuringMachine Methods (==) :: TuringMachine -> TuringMachine -> Bool # (/=) :: TuringMachine -> TuringMachine -> Bool #
Show TuringMachine Source #
Instance details Defined in TuringMachine Methods showsPrec :: Int -> TuringMachine -> ShowS # show :: TuringMachine -> String # showList :: [TuringMachine] -> ShowS #
ShowInfo TuringMachine Source #
Instance details Defined in ShowInfo Methods showTitle :: TuringMachine -> Title Source # showInfo :: TuringMachine -> String Source # showTitleAndInfo :: TuringMachine -> String Source # showListTitle :: [TuringMachine] -> Title Source # showListInfo :: [TuringMachine] -> String Source #

turingMachine :: Quadruples -> LabeledStates -> Alphabet -> TuringMachine Source #

quadruples :: Lens' TuringMachine Quadruples Source #

labeledStates :: Lens' TuringMachine LabeledStates Source #

alphabet :: Lens' TuringMachine Alphabet Source #

type TMGetter a = Getter TuringMachine a Source #

type TMSetter a b = Setter TuringMachine TuringMachine a b Source #

states :: TMSetter State (Maybe State) Source #

symbols :: TMSetter Symbol (Maybe Symbol) Source #

allStates :: TMGetter (Set State) Source #

allSymbols :: TMGetter (Set Symbol) Source #

strQuadruples :: TMGetter (Set StrQuadruple) Source #

strLabeledStates :: TMGetter (Set String) Source #

strSymbols :: TMGetter (Set String) Source #

strNumStates :: TMGetter (Set String) Source #

strNumSymbols :: TMGetter (Set String) Source #

maxNumState :: TMGetter Int Source #

maxNumSymbol :: TMGetter Int Source #

module TuringMachine.Quadruple

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 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]

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 #

unQuadruple :: Quadruple a -> (a, a, a, a) Source #

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 #

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 #

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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 #

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 #

module Lens