Hoogle Search
Within LTS Haskell 24.50 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
FormParser (names :: [Symbol]) e (m :: Type -> Type) aforma Web.Forma The type represents the parser that you can run on a Value with help of runForm. The only way for the user of the library to create a parser is via the field function and its friends, see below. Users can combine existing parsers using applicative notation. FormParser is parametrized by four type variables:
- names—collection of field names we can use in a form to be parsed with this parser.
- e—type of validation errors.
- m—underlying monad, FormParser is not a monad itself, so it's not a monad transformer, but validation can make use of the m monad.
- a—result of parsing.
data
FormResult (names :: [Symbol]) e aforma Web.Forma Result of parsing. names is the collection of allowed field names, e is the type of validation errors, and a is the type of parsing result.
data
ForAll (x :: k) (p :: k1)gdp Logic.Propositional Universal quantification.
-
gi-cairo-render GI.Cairo.Render No documentation available.
-
gi-cairo-render GI.Cairo.Render No documentation available.
-
gi-cairo-render GI.Cairo.Render No documentation available.
-
gi-cairo-render GI.Cairo.Render No documentation available.
-
gi-cairo-render GI.Cairo.Render No documentation available.
pattern
FORM_MIME_TYPE_MULTIPART :: Textgi-soup3 GI.Soup.Constants A macro containing the value multipart/form-data; the MIME type used for posting form data that contains files to be uploaded.
pattern
FORM_MIME_TYPE_URLENCODED :: Textgi-soup3 GI.Soup.Constants A macro containing the value application/x-www-form-urlencoded; the default MIME type for POSTing HTML form data.