Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Name.UniqueSet

Description

A type for sets of things identified by Uniques, usually names. This approach is preferred when it is more efficient to compare the associated Uniques instead of the underlying type.

Synopsis

newtype UniqueSet unique = UniqueSet {
- unUniqueSet :: IntSet
}
insertByUnique :: Coercible unique Unique => unique -> UniqueSet unique -> UniqueSet unique
insertByName :: HasUnique name unique => name -> UniqueSet unique -> UniqueSet unique
singletonName :: HasUnique name unique => name -> UniqueSet unique
fromFoldable :: Foldable f => (i -> UniqueSet unique -> UniqueSet unique) -> f i -> UniqueSet unique
fromUniques :: Foldable f => Coercible Unique unique => f unique -> UniqueSet unique
fromNames :: Foldable f => HasUnique name unique => f name -> UniqueSet unique
memberByUnique :: Coercible unique Unique => unique -> UniqueSet unique -> Bool
memberByName :: HasUnique name unique => name -> UniqueSet unique -> Bool
notMemberByName :: HasUnique name unique => name -> UniqueSet unique -> Bool
(\\) :: UniqueSet unique -> UniqueSet unique -> UniqueSet unique
union :: UniqueSet unique -> UniqueSet unique -> UniqueSet unique
setOfByUnique :: Coercible unique Unique => Getting (UniqueSet unique) s unique -> s -> UniqueSet unique
setOfByName :: HasUnique name unique => Getting (UniqueSet unique) s name -> s -> UniqueSet unique

Documentation

newtype UniqueSet unique #

A set containing Uniques. Since Unique is equivalent to Int (see PlutusCore.Name.Unique), we can use an IntSet representation for this type.

Constructors

UniqueSet
Fields unUniqueSet :: IntSet

Instances

Instances details

Monoid (UniqueSet unique) #
Instance details Defined in PlutusCore.Name.UniqueSet Methods mempty :: UniqueSet unique # mappend :: UniqueSet unique -> UniqueSet unique -> UniqueSet unique # mconcat :: [UniqueSet unique] -> UniqueSet unique #
Semigroup (UniqueSet unique) #
Instance details Defined in PlutusCore.Name.UniqueSet Methods (<>) :: UniqueSet unique -> UniqueSet unique -> UniqueSet unique # sconcat :: NonEmpty (UniqueSet unique) -> UniqueSet unique # stimes :: Integral b => b -> UniqueSet unique -> UniqueSet unique #
Show (UniqueSet unique) #
Instance details Defined in PlutusCore.Name.UniqueSet Methods showsPrec :: Int -> UniqueSet unique -> ShowS # show :: UniqueSet unique -> String # showList :: [UniqueSet unique] -> ShowS #
Eq (UniqueSet unique) #
Instance details Defined in PlutusCore.Name.UniqueSet Methods (==) :: UniqueSet unique -> UniqueSet unique -> Bool # (/=) :: UniqueSet unique -> UniqueSet unique -> Bool #

insertByUnique :: Coercible unique Unique => unique -> UniqueSet unique -> UniqueSet unique #

Insert a unique.

insertByName :: HasUnique name unique => name -> UniqueSet unique -> UniqueSet unique #

Insert the unique associated to the name.

singletonName :: HasUnique name unique => name -> UniqueSet unique #

Create the singleton set of the unique associated to the name.

fromFoldable :: Foldable f => (i -> UniqueSet unique -> UniqueSet unique) -> f i -> UniqueSet unique #

Convert a Foldable into a UniqueSet using the given insertion function.

fromUniques :: Foldable f => Coercible Unique unique => f unique -> UniqueSet unique #

Convert a Foldable with uniques into a UniqueSet.

fromNames :: Foldable f => HasUnique name unique => f name -> UniqueSet unique #

Convert a Foldable with names into a UniqueSet.

memberByUnique :: Coercible unique Unique => unique -> UniqueSet unique -> Bool #

Is the unique a member of the set?

memberByName :: HasUnique name unique => name -> UniqueSet unique -> Bool #

Is the name associated to the unique a member of the set?

notMemberByName :: HasUnique name unique => name -> UniqueSet unique -> Bool #

The negation of memberByName, useful for converting to operator form, e.g. name notMemberByName set.

(\\) :: UniqueSet unique -> UniqueSet unique -> UniqueSet unique #

The difference of two UniqueSets.

union :: UniqueSet unique -> UniqueSet unique -> UniqueSet unique #

The union of two UniqueSets.

setOfByUnique :: Coercible unique Unique => Getting (UniqueSet unique) s unique -> s -> UniqueSet unique #

Build a set of uniques from the Getting.

setOfByName :: HasUnique name unique => Getting (UniqueSet unique) s name -> s -> UniqueSet unique #

Build a set of uniques associated to the names in the Getting.