MXNet.Core.Base.HMap

Contents

• HMap type definition
• Type level constraints and operators
• Operations on HMap.

Description

> let a = add "a" (1 :: Int) nil
> a
[a = 1]
> let b = update "a" (+1) a
> b
[a = 2]
> let c = add "b" (Nothing :: Maybe Float) b
> c
[b = Nothing, a = 2]
> set "b" (Just 128) c
[b = Just 128.0, a = 2]

Synopsis

• data HMap (kvs :: [KV *])
• data KV v = Symbol := v
• class ShowKV (kvs :: [KV *]) where
• class MatchKVList (kvs1 :: [KV *]) (kvs2 :: [KV *]) where
• nil :: HMap '[]
• add :: forall k v kvs. No ~ FindKV k v kvs => v -> HMap kvs -> HMap ((k := v) ': kvs)
• add' :: forall k v kvs. Proxy k -> v -> HMap kvs -> HMap ((k := v) ': kvs)
• (.+.) :: forall k v kvs. No ~ FindKV k v kvs => v -> HMap kvs -> HMap ((k := v) ': kvs)
• get :: forall (k :: Symbol) v kvs. InDict k v kvs => HMap kvs -> v
• (.->.) :: forall (k :: Symbol) v kvs. InDict k v kvs => HMap kvs -> v
• update :: forall (k :: Symbol) v kvs. InDict k v kvs => (v -> v) -> HMap kvs -> HMap kvs
• set :: forall k v kvs. InDict k v kvs => v -> HMap kvs -> HMap kvs
• mergeTo :: forall (kvs1 :: [KV *]) (kvs2 :: [KV *]). MatchKVList kvs1 kvs2 => HMap kvs1 -> HMap kvs2 -> HMap kvs2
• dump :: forall kvs. ShowKV kvs => HMap kvs -> [(String, String)]

HMap type definition

Type level constraints and operators

Operations on HMap.