Control.Monad.Apiary.Filter.Capture

Documentation

data Equal

Constructors

Equal Text

Instances

CaptureElem Equal

type Next Equal xs = xs

data Fetch a

Constructors

Fetch

Instances

Param a => CaptureElem (Fetch a)

type Next (Fetch a) xs = Snoc xs 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 :: [*]

Instances

type CaptureResult bf ([] *) = bf

type CaptureResult bf ((:) * a as) = CaptureResult (Next a 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