Modulecardano-data-1.3.1.0

Data.OSet.Strict

Synopsis

value !?
value <|
value ><|
value decodeOSet
value empty
value filter
value fromFoldable
value fromFoldableDuplicates
value fromList
value fromSet
value fromStrictSeq
value fromStrictSeqDuplicates
value invariantHolds
value invariantHolds'
value lookup
value mapL
value mapMaybeL
value mapMaybeR
value mapR
value member
value null
value singleton
value size
value toSet
value toStrictSeq
value |>
value |><
data OSet
pattern :<|:
pattern :|>:
pattern Empty

Packagecardano-data-1.3.1.0
Exports31
LicenceApache-2.0

value(!?) :: OSet a -> Int -> Maybe a

value(<|) :: Ord a => a -> OSet a -> OSet a

value(><|) :: Ord a => OSet a -> OSet a -> OSet a

valuedecodeOSet :: Ord a => Decoder s a -> Decoder s (OSet a)

valueempty :: OSet a

valuefilter :: Ord a => (a -> Bool) -> OSet a -> OSet a

valuefromFoldable :: (Foldable f, Ord a) => f a -> OSet a

valuefromFoldableDuplicates :: (Foldable f, Ord a) => f a -> (Set a, OSet a)

valuefromList :: Ord a => [a] -> OSet a

valuefromSet :: Set a -> OSet a

valuefromStrictSeq :: Ord a => StrictSeq a -> OSet a

valuefromStrictSeqDuplicates :: Ord a => StrictSeq a -> (Set a, OSet a)

valueinvariantHolds :: OSet a -> Bool

valueinvariantHolds' :: Ord a => OSet a -> Bool

valuelookup :: Int -> OSet a -> Maybe a

valuemapL :: Ord b => (a -> b) -> OSet a -> OSet b

valuemapMaybeL :: Ord b => (a -> Maybe b) -> OSet a -> OSet b

valuemapMaybeR :: Ord b => (a -> Maybe b) -> OSet a -> OSet b

valuemapR :: Ord b => (a -> b) -> OSet a -> OSet b

valuemember :: Ord a => a -> OSet a -> Bool

valuenull :: OSet a -> Bool

valuesingleton :: a -> OSet a

valuesize :: OSet a -> Int

valuetoSet :: OSet a -> Set a

valuetoStrictSeq :: OSet a -> StrictSeq a

value(|>) :: Ord a => OSet a -> a -> OSet a

value(|><) :: Ord a => OSet a -> OSet a -> OSet a

datadata OSet a

Instances15Foldable, IsList, Eq, Ord, Show, Generic, …

Foldable OSetDefined in cardano-data-1.3.1.0 · Data.OSet.Strict
Ord a => IsList (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
Eq a => Eq (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
Ord a => Ord (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
Show a => Show (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
Generic (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
Ord a => Semigroup (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
Ord a => Monoid (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
NFData a => NFData (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
ToJSON a => ToJSON (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
NoThunks a => NoThunks (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
(Show a, Ord a, DecCBOR a) => DecCBOR (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
EncCBOR a => EncCBOR (OSet a)Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
type Rep (OSet a) = D1 ('MetaData "OSet" "Data.OSet.Strict" "cardano-data-1.3.1.0-AfUfQOBIzrv1fFXpg1E2pQ" 'False) (C1 ('MetaCons "OSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "osSSeq") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq a)) :*: S1 ('MetaSel ('Just "osSet") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set a))))Defined in cardano-data-1.3.1.0 · Data.OSet.Strict
type Item (OSet a) = aDefined in cardano-data-1.3.1.0 · Data.OSet.Strict

patternpattern (:<|:) :: Ord a => a -> OSet a -> OSet a

patternpattern (:|>:) :: Ord a => OSet a -> a -> OSet a

patternpattern Empty :: OSet a