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