Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Data.UniqueSeqNE.Internal

Contents

Type
Operations
Utils

Description

Provides the UniqueSeqNE type.

Synopsis

data UniqueSeqNE a where
- UnsafeUniqueSeqNE {
  - seq :: NESeq a
  - set :: HashSet a
  }
- pattern MkUniqueSeqNE :: NESeq a -> HashSet a -> UniqueSeqNE a
union :: forall a. Hashable a => UniqueSeqNE a -> UniqueSeqNE a -> UniqueSeqNE a
notHSetMember :: Hashable a => a -> HashSet a -> Bool

Type

data UniqueSeqNE a Source #

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

Constructors

UnsafeUniqueSeqNE
Fields seq :: NESeq a set :: HashSet a

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 #

Operations

union :: forall a. Hashable a => UniqueSeqNE a -> UniqueSeqNE a -> UniqueSeqNE a Source #

Utils

notHSetMember :: Hashable a => a -> HashSet a -> Bool Source #