Wakame.Lacks

Documentation

class Lacks (k :: Symbol) (r :: [FIELD])

Typeclass to constrain not to have a certain key

Instances

Lacks k ([] :: [FIELD])

Defined in Wakame.Lacks

(Lacks k r, KnownSymbol k', (k == k') ~ False) => Lacks k ((,) k' a ': r)

Defined in Wakame.Lacks