Data.Apiary.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 :: [KV *]) (prms :: [KV *]) :: Constraint

pretty print type errors

data GetResult

data AddResult