Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type Middleware f s t a b = (a -> f b) -> s -> f t Source #
caseInsensitiveWith :: (FoldCase header, Functor f) => ASetter req req' header (CI header) -> ASetter res' res (CI header') header' -> Middleware f req res req' res' Source #
caseInsensitive :: (FoldCase header, Field1 a1 b3 (CI b4) b4, Field1 s2 res s3 b2, Field1 a b1 header (CI header), Field1 s req' s1 b, Field2 s3 b2 (f2 a1) (f2 b3), Field2 s1 b (f1 a) (f1 b1), Traversable f2, Traversable f1, Functor f) => Middleware f s res req' s2 Source #