Safe Haskell	None

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

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]Source

data Option a Source

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

Instances

Strategy Option

data First a Source

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

Instances

Strategy First

data One a Source

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

Instances

Strategy One

data Many a Source

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

Instances

Strategy Many

data Some a Source

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

Instances

Strategy Some

data LimitSome u a Source

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 Source

data Check a Source

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

Instances

Strategy Check

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.