plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

Documentation

newtype UniqueSet unique Source #

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

Instances

Instances details
Monoid (UniqueSet unique) Source # 
Instance details

Defined in PlutusCore.Name.UniqueSet

Methods

memptyUniqueSet unique Source #

mappendUniqueSet unique → UniqueSet unique → UniqueSet unique Source #

mconcat ∷ [UniqueSet unique] → UniqueSet unique Source #

Semigroup (UniqueSet unique) Source # 
Instance details

Defined in PlutusCore.Name.UniqueSet

Methods

(<>)UniqueSet unique → UniqueSet unique → UniqueSet unique Source #

sconcatNonEmpty (UniqueSet unique) → UniqueSet unique Source #

stimesIntegral b ⇒ b → UniqueSet unique → UniqueSet unique Source #

Show (UniqueSet unique) Source # 
Instance details

Defined in PlutusCore.Name.UniqueSet

Methods

showsPrecIntUniqueSet unique → ShowS Source #

showUniqueSet unique → String Source #

showList ∷ [UniqueSet unique] → ShowS Source #

Eq (UniqueSet unique) Source # 
Instance details

Defined in PlutusCore.Name.UniqueSet

Methods

(==)UniqueSet unique → UniqueSet unique → Bool Source #

(/=)UniqueSet unique → UniqueSet unique → Bool Source #

insertByUniqueCoercible unique Unique ⇒ unique → UniqueSet unique → UniqueSet unique Source #

Insert a unique.

insertByNameHasUnique name unique ⇒ name → UniqueSet unique → UniqueSet unique Source #

Insert the unique associated to the name.

singletonNameHasUnique name unique ⇒ name → UniqueSet unique Source #

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

fromFoldableFoldable f ⇒ (i → UniqueSet unique → UniqueSet unique) → f i → UniqueSet unique Source #

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

fromUniquesFoldable f ⇒ Coercible Unique unique ⇒ f unique → UniqueSet unique Source #

Convert a Foldable with uniques into a UniqueSet.

fromNamesFoldable f ⇒ HasUnique name unique ⇒ f name → UniqueSet unique Source #

Convert a Foldable with names into a UniqueSet.

memberByUniqueCoercible unique Unique ⇒ unique → UniqueSet unique → Bool Source #

Is the unique a member of the set?

memberByNameHasUnique name unique ⇒ name → UniqueSet unique → Bool Source #

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

notMemberByNameHasUnique name unique ⇒ name → UniqueSet unique → Bool Source #

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

(\\)UniqueSet unique → UniqueSet unique → UniqueSet unique Source #

The difference of two UniqueSets.

unionUniqueSet unique → UniqueSet unique → UniqueSet unique Source #

The union of two UniqueSets.

setOfByUniqueCoercible unique Unique ⇒ Getting (UniqueSet unique) s unique → s → UniqueSet unique Source #

Build a set of uniques from the Getting.

setOfByNameHasUnique name unique ⇒ Getting (UniqueSet unique) s name → s → UniqueSet unique Source #

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