Data.TypeLevelKVList

Constructors

type NamedVal v key

namedVal

data a :. b

data Null

Operators

get

type family Lookup pkey list where ...

keys

keys'

Misc

class NamedList layout