Data.Set.Ordered.LR

Documentation

data OSetL a

A left-biased OSet.

Instances

Foldable OSetL

Defined in Data.Set.Ordered.LR

Methods

fold :: Monoid m => OSetL m -> m

foldMap :: Monoid m => (a -> m) -> OSetL a -> m

foldr :: (a -> b -> b) -> b -> OSetL a -> b

foldr' :: (a -> b -> b) -> b -> OSetL a -> b

foldl :: (b -> a -> b) -> b -> OSetL a -> b

foldl' :: (b -> a -> b) -> b -> OSetL a -> b

foldr1 :: (a -> a -> a) -> OSetL a -> a

foldl1 :: (a -> a -> a) -> OSetL a -> a

toList :: OSetL a -> [a]

null :: OSetL a -> Bool

length :: OSetL a -> Int

elem :: Eq a => a -> OSetL a -> Bool

maximum :: Ord a => OSetL a -> a

minimum :: Ord a => OSetL a -> a

sum :: Num a => OSetL a -> a

product :: Num a => OSetL a -> a

Ord a => PreserveL a OSetL

Defined in Data.Set.Ordered.LR

Methods

(|<) :: a -> OSetL a -> OSetL a

(|>) :: OSetL a -> a -> OSetL a

(|<>) :: OSetL a -> OSetL a -> OSetL a

OrderedSet a OSetL

Defined in Data.Set.Ordered.LR

Methods

empty :: OSetL a

singleton :: a -> OSetL a

fromListL :: [a] -> OSetL a

fromListR :: [a] -> OSetL a

member :: a -> OSetL a -> Bool

notMember :: a -> OSetL a -> Bool

map :: Ord b => (a -> b) -> OSetL a -> OSetL b

filter :: (a -> Bool) -> OSetL a -> OSetL a

size :: OSetL a -> Int

toSeq :: OSetL a -> Seq a

toAscList :: OSetL a -> [a]

findIndex :: a -> OSetL a -> Maybe Index

elemAt :: OSetL a -> Index -> Maybe a

delete :: a -> OSetL a -> OSetL a

(\\) :: OSetL a -> OSetL a -> OSetL a

Eq a => Eq (OSetL a)

Defined in Data.Set.Ordered.LR

Methods

(==) :: OSetL a -> OSetL a -> Bool

(/=) :: OSetL a -> OSetL a -> Bool

(Data a, Ord a) => Data (OSetL a)

Defined in Data.Set.Ordered.LR

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OSetL a -> c (OSetL a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (OSetL a)

toConstr :: OSetL a -> Constr

dataTypeOf :: OSetL a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (OSetL a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (OSetL a))

gmapT :: (forall b. Data b => b -> b) -> OSetL a -> OSetL a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OSetL a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OSetL a -> r

gmapQ :: (forall d. Data d => d -> u) -> OSetL a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> OSetL a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OSetL a -> m (OSetL a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OSetL a -> m (OSetL a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OSetL a -> m (OSetL a)

Ord a => Ord (OSetL a)

Defined in Data.Set.Ordered.LR

Methods

compare :: OSetL a -> OSetL a -> Ordering

(<) :: OSetL a -> OSetL a -> Bool

(<=) :: OSetL a -> OSetL a -> Bool

(>) :: OSetL a -> OSetL a -> Bool

(>=) :: OSetL a -> OSetL a -> Bool

max :: OSetL a -> OSetL a -> OSetL a

min :: OSetL a -> OSetL a -> OSetL a

Show a => Show (OSetL a)

Defined in Data.Set.Ordered.LR

Methods

showsPrec :: Int -> OSetL a -> ShowS

show :: OSetL a -> String

showList :: [OSetL a] -> ShowS

Ord a => Semigroup (OSetL a)

Defined in Data.Set.Ordered.LR

Methods

(<>) :: OSetL a -> OSetL a -> OSetL a

sconcat :: NonEmpty (OSetL a) -> OSetL a

stimes :: Integral b => b -> OSetL a -> OSetL a

Ord a => Monoid (OSetL a)

Defined in Data.Set.Ordered.LR

Methods

mempty :: OSetL a

mappend :: OSetL a -> OSetL a -> OSetL a

mconcat :: [OSetL a] -> OSetL a

data OSetR a

A right-biased OSet.

Instances

Foldable OSetR

Defined in Data.Set.Ordered.LR

Methods

fold :: Monoid m => OSetR m -> m

foldMap :: Monoid m => (a -> m) -> OSetR a -> m

foldr :: (a -> b -> b) -> b -> OSetR a -> b

foldr' :: (a -> b -> b) -> b -> OSetR a -> b

foldl :: (b -> a -> b) -> b -> OSetR a -> b

foldl' :: (b -> a -> b) -> b -> OSetR a -> b

foldr1 :: (a -> a -> a) -> OSetR a -> a

foldl1 :: (a -> a -> a) -> OSetR a -> a

toList :: OSetR a -> [a]

null :: OSetR a -> Bool

length :: OSetR a -> Int

elem :: Eq a => a -> OSetR a -> Bool

maximum :: Ord a => OSetR a -> a

minimum :: Ord a => OSetR a -> a

sum :: Num a => OSetR a -> a

product :: Num a => OSetR a -> a

Ord a => PreserveR a OSetR

Defined in Data.Set.Ordered.LR

Methods

(<|) :: a -> OSetR a -> OSetR a

(>|) :: OSetR a -> a -> OSetR a

(<>|) :: OSetR a -> OSetR a -> OSetR a

OrderedSet a OSetR

Defined in Data.Set.Ordered.LR

Methods

empty :: OSetR a

singleton :: a -> OSetR a

fromListL :: [a] -> OSetR a

fromListR :: [a] -> OSetR a

member :: a -> OSetR a -> Bool

notMember :: a -> OSetR a -> Bool

map :: Ord b => (a -> b) -> OSetR a -> OSetR b

filter :: (a -> Bool) -> OSetR a -> OSetR a

size :: OSetR a -> Int

toSeq :: OSetR a -> Seq a

toAscList :: OSetR a -> [a]

findIndex :: a -> OSetR a -> Maybe Index

elemAt :: OSetR a -> Index -> Maybe a

delete :: a -> OSetR a -> OSetR a

(\\) :: OSetR a -> OSetR a -> OSetR a

Eq a => Eq (OSetR a)

Defined in Data.Set.Ordered.LR

Methods

(==) :: OSetR a -> OSetR a -> Bool

(/=) :: OSetR a -> OSetR a -> Bool

(Data a, Ord a) => Data (OSetR a)

Defined in Data.Set.Ordered.LR

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OSetR a -> c (OSetR a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (OSetR a)

toConstr :: OSetR a -> Constr

dataTypeOf :: OSetR a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (OSetR a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (OSetR a))

gmapT :: (forall b. Data b => b -> b) -> OSetR a -> OSetR a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OSetR a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OSetR a -> r

gmapQ :: (forall d. Data d => d -> u) -> OSetR a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> OSetR a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OSetR a -> m (OSetR a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OSetR a -> m (OSetR a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OSetR a -> m (OSetR a)

Ord a => Ord (OSetR a)

Defined in Data.Set.Ordered.LR

Methods

compare :: OSetR a -> OSetR a -> Ordering

(<) :: OSetR a -> OSetR a -> Bool

(<=) :: OSetR a -> OSetR a -> Bool

(>) :: OSetR a -> OSetR a -> Bool

(>=) :: OSetR a -> OSetR a -> Bool

max :: OSetR a -> OSetR a -> OSetR a

min :: OSetR a -> OSetR a -> OSetR a

Show a => Show (OSetR a)

Defined in Data.Set.Ordered.LR

Methods

showsPrec :: Int -> OSetR a -> ShowS

show :: OSetR a -> String

showList :: [OSetR a] -> ShowS

Ord a => Semigroup (OSetR a)

Defined in Data.Set.Ordered.LR

Methods

(<>) :: OSetR a -> OSetR a -> OSetR a

sconcat :: NonEmpty (OSetR a) -> OSetR a

stimes :: Integral b => b -> OSetR a -> OSetR a

Ord a => Monoid (OSetR a)

Defined in Data.Set.Ordered.LR

Methods

mempty :: OSetR a

mappend :: OSetR a -> OSetR a -> OSetR a

mconcat :: [OSetR a] -> OSetR a