Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

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

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 |