Safe Haskell | None |
---|
- data Equal = Equal Text
- type Fetch = Proxy
- class CaptureElem a where
- type Capture as = All CaptureElem as
- type family CaptureResult bf as :: [*]
- capture' :: Capture as => SList as -> [Text] -> SList xs -> Maybe (SList (CaptureResult xs as))
- capture :: (Functor n, Monad n) => Capture as => SList as -> ApiaryT (CaptureResult xs as) n m b -> ApiaryT xs n m b
Documentation
class CaptureElem a whereSource
CaptureElem Equal | |
Path a => CaptureElem (Fetch a) |
type Capture as = All CaptureElem asSource
type family CaptureResult bf as :: [*]Source
capture' :: Capture as => SList as -> [Text] -> SList xs -> Maybe (SList (CaptureResult xs as))Source