add a comment about the Server instance for Capture

This commit is contained in:
Alp Mestanogullari 2014-10-21 16:18:18 +02:00
parent a650b97378
commit 45a625c72c

View file

@ -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)