Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family CountMismatch desc a spec actual where ... Source #
CountMismatch desc a spec actual = ((((((("The " <> desc) <> " ") <> QuotedError a) <> " has ") <> actual) <> " fields, but the expression specifies ") <> spec) <> "." |
type family NoPrimType (a :: Type) :: k where ... Source #
NoPrimType a = TypeError ("Can't set type name on primitive column of type " <> a) |