Commit c0a0ee36 authored by Ben Gamari's avatar Ben Gamari 🐢
Browse files

Fix haddocks for TypeError

parent 0a2bd9cc
......@@ -221,24 +221,24 @@ infixl 6 :<>:
-- For instance, it can be used as a constraint, e.g. to provide a better error
-- message for a non-existant instance,
--
-- @@
-- @
-- -- in a context
-- instance TypeError (Text "Cannot 'Show' functions." :$$:
-- Text "Perhaps there is a missing argument?")
-- => Show (a -> b) where
-- showsPrec = error "unreachable"
-- @@
-- @
--
-- It can also be placed on the right-hand side of a type-level function
-- to provide an error for an invalid case,
--
-- @@
-- @
-- type family ByteSize x where
-- ByteSize Word16 = 2
-- ByteSize Word8 = 1
-- ByteSize a = TypeError (Text "The type " :<>: ShowType a :<>:
-- Text " is not exportable.")
-- @@
-- @
--
-- @since 4.9.0.0
type family TypeError (a :: ErrorMessage) :: b where
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment