Module
Type.Row
- Package
- purescript-typelevel-prelude
- Repository
- purescript/purescript-typelevel-prelude
#RowLacking Source
class RowLacking (entry :: Type) (key :: Symbol) (typ :: Type) (row :: Row Type) | entry typ -> key row
If you get "No type class instance was found" for this class, then your
row
shouldn't contain the label key
.
Instances
RowLacking entry key entry row