From 45a625c72c791494e9f51f45c5feac5fb208cb77 Mon Sep 17 00:00:00 2001 From: Alp Mestanogullari Date: Tue, 21 Oct 2014 16:18:18 +0200 Subject: [PATCH] add a comment about the Server instance for Capture --- src/Servant.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Servant.hs b/src/Servant.hs index ffd31f83..f2bd5181 100644 --- a/src/Servant.hs +++ b/src/Servant.hs @@ -32,6 +32,9 @@ captured _ = capture instance (KnownSymbol capture, Captured a, HasServer sublayout) => HasServer (Capture capture a :> sublayout) where + -- this means that what follows the capture + -- must necessarily be a function that expects + -- the captured value. :-( type Server (Capture capture a :> sublayout) = Capture capture a :> (a -> Server sublayout)