Control.Monad.Apiary.Filter.Internal.Strategy

Documentation

class Strategy w where

Associated Types

type SNext w as a :: [*]

Methods

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

Instances

Strategy Check

Strategy Some

Strategy Many

Strategy One

Strategy First

Strategy Option

Reifies * u Int => Strategy (LimitSome u)

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

data Option a

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

Instances

Strategy Option

data First a

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

Instances

Strategy First

data One a

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

Instances

Strategy One

data Many a

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

Instances

Strategy Many

data Some a

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

Instances

Strategy Some

data LimitSome u a

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

Instances

Reifies * u Int => Strategy (LimitSome u)

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

data Check a

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

Instances

Strategy Check

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

construct Option proxy. since 0.5.1.0.

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

construct First proxy. since 0.5.1.0.

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

construct One proxy. since 0.5.1.0.

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

construct Many proxy. since 0.5.1.0.

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

construct Some proxy. since 0.5.1.0.

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

construct Check proxy. since 0.5.1.0.