Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Data.UniqueSeqNE

Contents

Creation
Elimination
Lookup
Operations
Display

Description

Provides the UniqueSeqNE type.

Synopsis

data UniqueSeqNE a where
- pattern MkUniqueSeqNE :: NESeq a -> HashSet a -> UniqueSeqNE a
singleton :: Hashable a => a -> UniqueSeqNE a
fromNonEmpty :: Hashable a => NonEmpty a -> UniqueSeqNE a
unsafefromUniqueSeq :: HasCallStack => UniqueSeq a -> UniqueSeqNE a
toNonEmpty :: UniqueSeqNE a -> NonEmpty a
toUniqueSeq :: UniqueSeqNE a -> UniqueSeq a
member :: Hashable a => a -> UniqueSeqNE a -> Bool
(∈) :: Hashable a => a -> UniqueSeqNE a -> Bool
(∉) :: Hashable a => a -> UniqueSeqNE a -> Bool
prepend :: Hashable a => a -> UniqueSeqNE a -> UniqueSeqNE a
append :: Hashable a => UniqueSeqNE a -> a -> UniqueSeqNE a
union :: forall a. Hashable a => UniqueSeqNE a -> UniqueSeqNE a -> UniqueSeqNE a
(∪) :: Hashable a => UniqueSeqNE a -> UniqueSeqNE a -> UniqueSeqNE a
(⋃) :: Hashable a => NonEmpty (UniqueSeqNE a) -> UniqueSeqNE a
map :: Hashable b => (a -> b) -> UniqueSeqNE a -> UniqueSeqNE b
(↤) :: Hashable b => (a -> b) -> UniqueSeqNE a -> UniqueSeqNE b
(↦) :: Hashable b => UniqueSeqNE a -> (a -> b) -> UniqueSeqNE b
displayShow :: Show a => UniqueSeqNE a -> Text
display :: (a -> Text) -> UniqueSeqNE a -> Text

Documentation

data UniqueSeqNE a where Source #

Like UniqueSeq except carries the invariant that it is non-empty.

Bundled Patterns

pattern MkUniqueSeqNE :: NESeq a -> HashSet a -> UniqueSeqNE a

Instances

Instances details

Foldable UniqueSeqNE Source #
Instance details Defined in Charon.Data.UniqueSeqNE.Internal Methods fold :: Monoid m => UniqueSeqNE m -> m # foldMap :: Monoid m => (a -> m) -> UniqueSeqNE a -> m # foldMap' :: Monoid m => (a -> m) -> UniqueSeqNE a -> m # foldr :: (a -> b -> b) -> b -> UniqueSeqNE a -> b # foldr' :: (a -> b -> b) -> b -> UniqueSeqNE a -> b # foldl :: (b -> a -> b) -> b -> UniqueSeqNE a -> b # foldl' :: (b -> a -> b) -> b -> UniqueSeqNE a -> b # foldr1 :: (a -> a -> a) -> UniqueSeqNE a -> a # foldl1 :: (a -> a -> a) -> UniqueSeqNE a -> a # toList :: UniqueSeqNE a -> [a] # null :: UniqueSeqNE a -> Bool # length :: UniqueSeqNE a -> Int # elem :: Eq a => a -> UniqueSeqNE a -> Bool # maximum :: Ord a => UniqueSeqNE a -> a # minimum :: Ord a => UniqueSeqNE a -> a # sum :: Num a => UniqueSeqNE a -> a # product :: Num a => UniqueSeqNE a -> a #
(k ~ A_Getter, b ~ NESeq a, c ~ NESeq a) => LabelOptic "seq" k (UniqueSeqNE a) (UniqueSeqNE a) b c Source #
Instance details Defined in Charon.Data.UniqueSeqNE.Internal Methods labelOptic :: Optic k NoIx (UniqueSeqNE a) (UniqueSeqNE a) b c Source #
(k ~ A_Getter, b ~ HashSet a, c ~ HashSet a) => LabelOptic "set" k (UniqueSeqNE a) (UniqueSeqNE a) b c Source #
Instance details Defined in Charon.Data.UniqueSeqNE.Internal Methods labelOptic :: Optic k NoIx (UniqueSeqNE a) (UniqueSeqNE a) b c Source #
Hashable a => Semigroup (UniqueSeqNE a) Source #
Instance details Defined in Charon.Data.UniqueSeqNE.Internal Methods (<>) :: UniqueSeqNE a -> UniqueSeqNE a -> UniqueSeqNE a # sconcat :: NonEmpty (UniqueSeqNE a) -> UniqueSeqNE a # stimes :: Integral b => b -> UniqueSeqNE a -> UniqueSeqNE a #
Show a => Show (UniqueSeqNE a) Source #
Instance details Defined in Charon.Data.UniqueSeqNE.Internal Methods showsPrec :: Int -> UniqueSeqNE a -> ShowS # show :: UniqueSeqNE a -> String # showList :: [UniqueSeqNE a] -> ShowS #
Eq a => Eq (UniqueSeqNE a) Source #
Instance details Defined in Charon.Data.UniqueSeqNE.Internal Methods (==) :: UniqueSeqNE a -> UniqueSeqNE a -> Bool # (/=) :: UniqueSeqNE a -> UniqueSeqNE a -> Bool #