MXNet.Core.Base.HMap

Updatable heterogeneous map.

> 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]

HMap type definition

data HMap (kvs :: [KV *])

HMap definition.

Instances

ShowKV kvs => Show (HMap kvs)

Methods

showsPrec :: Int -> HMap kvs -> ShowS

show :: HMap kvs -> String

showList :: [HMap kvs] -> ShowS

Type level constraints and operators

data KV v

Constructors

Symbol := v infixr 6

Instances

ShowKV ([] (KV *))

Methods

show' :: KVList [KV *] -> [(String, String)]

MatchKVList ([] (KV *)) kvs2

Methods

mergeTo' :: HMap [KV *] -> HMap kvs2 -> HMap kvs2

(KnownSymbol k, Typeable * v, Show v, ShowKV kvs) => ShowKV ((:) (KV *) ((:=) * k v) kvs)

Methods

show' :: KVList ((KV * ': (* := k) v) kvs) -> [(String, String)]

(MatchKVList kvs1 kvs2, InDict k v kvs2) => MatchKVList ((:) (KV *) ((:=) * k v) kvs1) kvs2

Methods

mergeTo' :: HMap ((KV * ': (* := k) v) kvs1) -> HMap kvs2 -> HMap kvs2

class ShowKV (kvs :: [KV *]) where

Minimal complete definition

show'

Methods

show' :: forall k v. KVList kvs -> [(String, String)]

Instances

ShowKV ([] (KV *))

Methods

show' :: KVList [KV *] -> [(String, String)]

(KnownSymbol k, Typeable * v, Show v, ShowKV kvs) => ShowKV ((:) (KV *) ((:=) * k v) kvs)

Methods

show' :: KVList ((KV * ': (* := k) v) kvs) -> [(String, String)]

class MatchKVList (kvs1 :: [KV *]) (kvs2 :: [KV *]) where

Merge the first KVList into the second one.

Minimal complete definition

mergeTo'

Methods

mergeTo' :: HMap kvs1 -> HMap kvs2 -> HMap kvs2

Update all values in the first HMap into the second KVList.

Instances

MatchKVList ([] (KV *)) kvs2

Methods

mergeTo' :: HMap [KV *] -> HMap kvs2 -> HMap kvs2

(MatchKVList kvs1 kvs2, InDict k v kvs2) => MatchKVList ((:) (KV *) ((:=) * k v) kvs1) kvs2

Methods

mergeTo' :: HMap ((KV * ': (* := k) v) kvs1) -> HMap kvs2 -> HMap kvs2

Operations on HMap.

nil :: HMap '[]

Create an empty HMap.

add :: forall k v kvs. No ~ FindKV k v kvs => v -> HMap kvs -> HMap ((k := v) ': kvs)

Add a key-value pair into the HMap (via TypeApplications).

add' :: forall k v kvs. Proxy k -> v -> HMap kvs -> HMap ((k := v) ': kvs)

Add a key-value pair into the HMap (via TypeApplications).

FIXME should have a 'No ~ FindKV k v kvs constraint here.

(.+.) :: forall k v kvs. No ~ FindKV k v kvs => v -> HMap kvs -> HMap ((k := v) ': kvs) infix 8

Infix version of add.

get :: forall (k :: Symbol) v kvs. InDict k v kvs => HMap kvs -> v

Get the value of an existing key.

(.->.) :: forall (k :: Symbol) v kvs. InDict k v kvs => HMap kvs -> v infix 7

Infix version of get.

update :: forall (k :: Symbol) v kvs. InDict k v kvs => (v -> v) -> HMap kvs -> HMap kvs

Update the value of an existing key.

set :: forall k v kvs. InDict k v kvs => v -> HMap kvs -> HMap kvs

Set the value of an existing key.

mergeTo :: forall (kvs1 :: [KV *]) (kvs2 :: [KV *]). MatchKVList kvs1 kvs2 => HMap kvs1 -> HMap kvs2 -> HMap kvs2

Update all values in the first HMap into the second KVList.

dump :: forall kvs. ShowKV kvs => HMap kvs -> [(String, String)]

Dump key-value pair in HMap as [(k, v)].