Moduleplutus-tx-1.70.0.0

PlutusTx.Data.AssocMap

Synopsis

valueall :: UnsafeFromData a => (a -> Bool) -> Map k a -> Bool

valueany :: UnsafeFromData a => (a -> Bool) -> Map k a -> Bool

valuedelete :: ToData k => k -> Map k a -> Map k a

valueelems :: Map k a -> List a

valueempty :: Map k a

valuefilter :: UnsafeFromData a => (a -> Bool) -> Map k a -> Map k a

valuefoldr :: UnsafeFromData a => (a -> b -> b) -> b -> Map k a -> b

valueinsert :: (ToData k, ToData a) => k -> a -> Map k a -> Map k a

valuekeys :: Map k a -> List k

valuelookup :: (ToData k, UnsafeFromData a) => k -> Map k a -> Maybe a

valuemap :: (UnsafeFromData a, ToData b) => (a -> b) -> Map k a -> Map k b

valuemapMaybe

valuemapMaybeWithKey

valuemapThese

valuemapWithKey

valuemember :: ToData k => k -> Map k a -> Bool

valuenoDuplicateKeys :: Map k a -> Bool

valuenull :: Map k a -> Bool

valuesafeFromSOPList :: (ToData k, ToData a) => [(k, a)] -> Map k a

valuesingleton :: (ToData k, ToData a) => k -> a -> Map k a

valuetoBuiltinList

valuetoSOPList :: (UnsafeFromData k, UnsafeFromData a) => Map k a -> [(k, a)]

valueunion

valueunionWith

valueunsafeFromBuiltinList

valueunsafeFromDataList :: List (a, k) -> Map k a

valueunsafeFromSOPList :: (ToData k, ToData a) => [(k, a)] -> Map k a

newtypenewtype Map k a

Instances7Lift, Show, Pretty, FromData, ToData, UnsafeFromData, …

Lift DefaultUni (Map k a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.AssocMap
Show (Map k a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.AssocMap
(Pretty k, Pretty a, UnsafeFromData k, UnsafeFromData a) => Pretty (Map k a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.AssocMap
FromData (Map k a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.AssocMap
ToData (Map k a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.AssocMap
UnsafeFromData (Map k a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.AssocMap
Typeable DefaultUni MapDefined in plutus-tx-1.70.0.0 · PlutusTx.Data.AssocMap