@@ -273,8 +273,8 @@ makeLenses ''Action
274-- | Generate the docs for a given API that implements 'HasDocs'. This is the
274-- | Generate the docs for a given API that implements 'HasDocs'. This is the
275-- default way to create documentation.
275-- default way to create documentation.
276−docs :: HasDocs layout => Proxy layout -> API
276+docs :: HasDocs (Canonicalize layout) => Proxy layout -> API
277−docs p = docsFor p (defEndpoint, defAction)
277+docs p = docsFor (canonicalize p) (defEndpoint, defAction)
279-- | Closed type family, check if endpoint is exactly within API.
279-- | Closed type family, check if endpoint is exactly within API.
@@ -318,7 +318,7 @@ extraInfo p action =
318-- 'extraInfo'.
318-- 'extraInfo'.
320-- If you only want to add an introduction, use 'docsWithIntros'.
320-- If you only want to add an introduction, use 'docsWithIntros'.
321−docsWith :: HasDocs layout
321+docsWith :: HasDocs (Canonicalize layout)
322 => [DocIntro]
322 => [DocIntro]
323 -> ExtraInfo layout
323 -> ExtraInfo layout
324 -> Proxy layout
324 -> Proxy layout
@@ -330,7 +330,7 @@ docsWith intros (ExtraInfo endpoints) p =
331-- | Generate the docs for a given API that implements 'HasDocs' with with any
331-- | Generate the docs for a given API that implements 'HasDocs' with with any
332-- number of introduction(s)
332-- number of introduction(s)
333−docsWithIntros :: HasDocs layout => [DocIntro] -> Proxy layout -> API
333+docsWithIntros :: HasDocs (Canonicalize layout) => [DocIntro] -> Proxy layout -> API
334docsWithIntros intros = docsWith intros mempty
334docsWithIntros intros = docsWith intros mempty
336-- | The class that abstracts away the impact of API combinators
336-- | The class that abstracts away the impact of API combinators