From eb9b413204f5f18732f116ded13c1377103d0ca5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ondr=CC=8Cej=20S=CC=8Cebek?= Date: Sat, 16 Sep 2023 19:00:40 +0200 Subject: [PATCH] [servant-docs] Export renderCurlBasePath lens --- servant-docs/src/Servant/Docs.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/servant-docs/src/Servant/Docs.hs b/servant-docs/src/Servant/Docs.hs index cc0010e3b..398b8f3dc 100644 --- a/servant-docs/src/Servant/Docs.hs +++ b/servant-docs/src/Servant/Docs.hs @@ -26,7 +26,8 @@ module Servant.Docs HasDocs(..), docs, pretty, markdown -- ** Customising generated documentation , markdownWith, RenderingOptions(..), defRenderingOptions - , requestExamples, responseExamples, ShowContentTypes(..), notesHeading + , requestExamples, responseExamples, ShowContentTypes(..) + , notesHeading, renderCurlBasePath -- * Generating docs with extra information , docsWith, docsWithIntros, docsWithOptions , ExtraInfo(..), extraInfo