Safe Haskell | None |
---|
- class Strategy w where
- type SNext w as a :: [*]
- readStrategy :: (v -> Maybe a) -> ((k, v) -> Bool) -> proxy (w a) -> [(k, v)] -> SList as -> Maybe (SList (SNext w as a))
- strategyRep :: proxy w -> StrategyRep
- getQuery :: (v -> Maybe a) -> proxy (w a) -> ((k, v) -> Bool) -> [(k, v)] -> [Maybe a]
- data Option a
- data First a
- data One a
- data Many a
- data Some a
- data LimitSome u a
- reflectLimit :: Reifies n Int => proxy (LimitSome n a) -> Int
- data Check a
- pOption :: proxy a -> Proxy (Option a)
- pFirst :: proxy a -> Proxy (First a)
- pOne :: proxy a -> Proxy (One a)
- pMany :: proxy a -> Proxy (Many a)
- pSome :: proxy a -> Proxy (Some a)
- pCheck :: proxy a -> Proxy (Check a)
Documentation
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
get first matched key( [1,) params to Type.). since 0.5.0.0.
get first matched key ( [0,) params to Maybe Type.) since 0.5.0.0.
get parameters ( [0,) params to [Type] ) since 0.5.0.0.
get parameters ( [1,) params to [Type] ) since 0.5.0.0.
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.