Control.Monad.Apiary.Filter.Capture

Documentation

data Equal

Constructors

Equal Text

Instances

CaptureElem Equal

data Fetch a

Constructors

Fetch

Instances

Param a => CaptureElem (Fetch a)

class CaptureElem a where

Associated Types

type Next a xs :: [*]

Methods

captureElem :: a -> Text -> SList xs -> Maybe (SList (Next a xs))

Instances

CaptureElem Equal

Param a => CaptureElem (Fetch a)

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 :: (Capture as, Monad m) => SList as -> ApiaryT (CaptureResult xs as) m b -> ApiaryT xs m b

low level (without Template Haskell) capture. since 0.4.2.0

 myCapture :: SList '[Equal, Fetch Int, Fetch String]
 myCapture = Equal path ::: (Fetch :: Fetch Int) ::: (Fetch :: Fetch String) ::: SNil

capture myCapture . stdMethod GET . action $ age name -> do
     yourAction