apiary-0.12.1: Simple and type safe web framework that can be automatically generate API document.

Safe HaskellNone

Control.Monad.Apiary.Filter.Internal.Strategy

Synopsis

Documentation

class Strategy w whereSource

Associated Types

type SNext w as a :: [*]Source

Methods

readStrategy :: (v -> Maybe a) -> ((k, v) -> Bool) -> proxy (w a) -> [(k, v)] -> SList as -> Maybe (SList (SNext w as a))Source

strategyRep :: proxy w -> StrategyRepSource

getQuery :: (v -> Maybe a) -> proxy (w a) -> ((k, v) -> Bool) -> [(k, v)] -> [Maybe a]Source

data Option a Source

get first matched key( [1,) params to Type.). since 0.5.0.0.

data First a Source

get first matched key ( [0,) params to Maybe Type.) since 0.5.0.0.

data One a Source

get key ( [1] param to Type.) since 0.5.0.0.

data Many a Source

get parameters ( [0,) params to [Type] ) since 0.5.0.0.

data Some a Source

get parameters ( [1,) params to [Type] ) since 0.5.0.0.

data LimitSome u a Source

get parameters with upper limit ( [1,n] to [Type]) since 0.6.0.0.

reflectLimit :: Reifies n Int => proxy (LimitSome n a) -> IntSource

data Check a Source

type check ( [0,) params to No argument ) since 0.5.0.0.

pOption :: proxy a -> Proxy (Option a)Source

construct Option proxy. since 0.5.1.0.

pFirst :: proxy a -> Proxy (First a)Source

construct First proxy. since 0.5.1.0.

pOne :: proxy a -> Proxy (One a)Source

construct One proxy. since 0.5.1.0.

pMany :: proxy a -> Proxy (Many a)Source

construct Many proxy. since 0.5.1.0.

pSome :: proxy a -> Proxy (Some a)Source

construct Some proxy. since 0.5.1.0.

pCheck :: proxy a -> Proxy (Check a)Source

construct Check proxy. since 0.5.1.0.