Network.Routing.Dict

store

data Store kvs

emptyStore

type k </ v

add

mkDict

dictionary

data Dict kvs

emptyDict

class Member k v kvs

get

types

class ShowDict kvs

data KV v

convenient

type family Members kvs prms :: Constraint

pretty print type errors

data GetResult

data AddResult