bookkeeper-0.2.5: Anonymous records and overloaded labels

Safe HaskellNone
LanguageHaskell2010

Bookkeeper.Internal.Errors

Documentation

type Contains book field exp = Contains' book field book exp Source #

type family Contains' book field orig exp :: Constraint where ... Source #

Equations

Contains' '[] field '[] exp = TypeError (Text "The provided Book is empty!") 
Contains' '[] field orig exp = TypeError (((Text "The provided Book does not contain the field " :<>: ShowType field) :$$: Text "Book type:") :$$: ShowType orig) 
Contains' ((k :-> v) ': m) k orig exp = v ~ exp 
Contains' (any ': m) k orig exp = Contains' m k orig exp