Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleplutus-core-1.70.0.0

PlutusCore.Name.UniqueMap

Synopsis

value fromFoldable
value fromNames
value fromUniques
value insertByName
value insertByNameIndex
value insertByUnique
value insertNamed
value lookupName
value lookupNameIndex
value lookupUnique
value restrictKeys
value singletonByName
newtype UniqueMap

Packageplutus-core-1.70.0.0
Exports13
LicenceApache-2.0

valuefromFoldable

:: Foldable f
=> i -> a -> UniqueMap unique a -> UniqueMap unique a
-> f (i, a)
-> UniqueMap unique a

valuefromNames

:: (Foldable f, HasUnique name unique)
=> f (name, a)
-> UniqueMap unique a

valuefromUniques

:: (Foldable f, Coercible Unique unique)
=> f (unique, a)
-> UniqueMap unique a

valueinsertByName

:: HasUnique name unique
=> name
-> a
-> UniqueMap unique a
-> UniqueMap unique a

valueinsertByNameIndex

:: (HasUnique name unique1, Coercible unique2 Unique)
=> name
-> a
-> UniqueMap unique2 a
-> UniqueMap unique2 a

valueinsertByUnique

:: Coercible unique Unique
=> unique
-> a
-> UniqueMap unique a
-> UniqueMap unique a

valueinsertNamed

:: (HasText name, HasUnique name unique)
=> name
-> a
-> UniqueMap unique (Named a)
-> UniqueMap unique (Named a)

valuelookupName :: HasUnique name unique => name -> UniqueMap unique a -> Maybe a

valuelookupNameIndex

:: (HasUnique name unique1, Coercible unique2 Unique)
=> name
-> UniqueMap unique2 a
-> Maybe a

valuelookupUnique

:: Coercible unique Unique
=> unique
-> UniqueMap unique a
-> Maybe a

valuerestrictKeys :: UniqueMap unique v -> UniqueSet unique -> UniqueMap unique v

valuesingletonByName :: HasUnique name unique => name -> a -> UniqueMap unique a

newtypenewtype UniqueMap unique a

Constructors

UniqueMap
- unUniqueMap :: IntMap a

Instances6Functor, Foldable, Eq, Show, Semigroup, Monoid

Functor (UniqueMap unique)Defined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueMap
Foldable (UniqueMap unique)Defined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueMap
Eq a => Eq (UniqueMap unique a)Defined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueMap
Show a => Show (UniqueMap unique a)Defined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueMap
Semigroup (UniqueMap unique a)Defined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueMap
Monoid (UniqueMap unique a)Defined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueMap