| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Monad.Apiary.Filter.Internal.Strategy
- class Strategy w where
- type SNext w as a :: [*]
- readStrategy :: (v -> Maybe a) -> ((k, v) -> Bool) -> w a -> [(k, v)] -> SList as -> Maybe (SList (SNext w as a))
- strategyRep :: forall a. w a -> StrategyRep
- getQuery :: (v -> Maybe a) -> w a -> ((k, v) -> Bool) -> [(k, v)] -> [Maybe a]
- data Option a = Option
- data Optional a = Optional Text a
- data First a = First
- data One a = One
- data Many a = Many
- data Some a = Some
- data LimitSome a = LimitSome !Int
- data Check a = Check
- pOption :: proxy a -> Option a
- pOptional :: Show a => a -> Optional a
- pFirst :: proxy a -> First a
- pOne :: proxy a -> One a
- pMany :: proxy a -> Many a
- pSome :: proxy a -> Some a
- pLimitSome :: Int -> proxy a -> LimitSome a
- pCheck :: proxy a -> Check a
Documentation
Methods
readStrategy :: (v -> Maybe a) -> ((k, v) -> Bool) -> w a -> [(k, v)] -> SList as -> Maybe (SList (SNext w as a)) Source
strategyRep :: forall a. w a -> StrategyRep Source
get first matched key( [0,) params to Type.). since 0.5.0.0.
Constructors
| Option |
get first matched key ( [1,) params to Maybe Type.) since 0.5.0.0.
Constructors
| First |
get key ( [1,1] param to Type.) since 0.5.0.0.
Constructors
| One |
get parameters ( [0,) params to [Type] ) since 0.5.0.0.
Constructors
| Many |
get parameters ( [1,) params to [Type] ) since 0.5.0.0.
Constructors
| Some |
get parameters with upper limit ( [1,n] to [Type]) since 0.6.0.0.
type check ( [0,) params to No argument ) since 0.5.0.0.
Constructors
| Check |
pLimitSome :: Int -> proxy a -> LimitSome a Source
construct LimitSome proxy. since 0.16.0.