@@ -20,17 +20,17 @@ import Soenke
21data Capture sym a
21data Capture sym a
23−class Captured a where
23+class FromText a where
24 capture :: Text -> Maybe a
24 capture :: Text -> Maybe a
26−instance Captured Text where
26+instance FromText Text where
27 capture = Just
27 capture = Just
29−captured :: Captured a => proxy (Capture sym a) -> Text -> Maybe a
29+captured :: FromText a => proxy (Capture sym a) -> Text -> Maybe a
30captured _ = capture
30captured _ = capture
32−instance (KnownSymbol capture, Captured a, HasServer sublayout)
32+instance (KnownSymbol capture, FromText a, HasServer sublayout)
33− => HasServer (Capture capture a :> sublayout) where
33+ => HasServer (Capture capture a :> sublayout) where
35 -- this means that what follows the capture
35 -- this means that what follows the capture
36 -- must necessarily be a function that expects
36 -- must necessarily be a function that expects