Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. module HaskellWorks.Foreign

   No documentation available.

2. class Form (form :: Type -> Type -> Type) (val :: Type -> Type) | form -> val

   hyperbole	Web.Hyperbole

   A Form is a Higher Kinded record listing each Field. ContactForm Identity behaves like a normal record, while ContactForm Maybe would be maybe values for each field From Example.Page.FormSimple

   #EMBED ExamplePageFormSimple.hs data ContactForm
   #EMBED ExamplePageFormSimple.hs instance Form ContactForm
   

3. data FormField (v :: k -> Type) (a :: k)

   hyperbole	Web.Hyperbole

   No documentation available.

4. module Web.Hyperbole.View.Forms

   No documentation available.

5. class Form (form :: Type -> Type -> Type) (val :: Type -> Type) | form -> val

   hyperbole	Web.Hyperbole.View.Forms

   A Form is a Higher Kinded record listing each Field. ContactForm Identity behaves like a normal record, while ContactForm Maybe would be maybe values for each field From Example.Page.FormSimple

   #EMBED ExamplePageFormSimple.hs data ContactForm
   #EMBED ExamplePageFormSimple.hs instance Form ContactForm
   

6. data FormField (v :: k -> Type) (a :: k)

   hyperbole	Web.Hyperbole.View.Forms

   No documentation available.

7. FormField :: FieldName a -> v a -> FormField (v :: k -> Type) (a :: k)

   hyperbole	Web.Hyperbole.View.Forms

   No documentation available.

8. data FormFields id

   hyperbole	Web.Hyperbole.View.Forms

   The only time we can use Fields is inside a form

9. FormFields :: id -> FormFields id

   hyperbole	Web.Hyperbole.View.Forms

   No documentation available.

10. data FormOptions

    hyperbole	Web.Hyperbole.View.Forms

    Generic-based deriving options for ToForm and FromForm. A common use case for non-default FormOptions is to strip a prefix off of field labels:

    data Project = Project
    { projectName :: String
    , projectSize :: Int
    } deriving (Generic, Show)
    
    myOptions :: FormOptions
    myOptions = FormOptions
    { fieldLabelModifier = map toLower . drop (length "project") }
    
    instance ToForm Project where
    toForm = genericToForm myOptions
    
    instance FromForm Project where
    fromForm = genericFromForm myOptions
    

    >>> urlEncodeAsFormStable Project { projectName = "http-api-data", projectSize = 172 }
    "name=http-api-data&size=172"
    
    >>> urlDecodeAsForm "name=http-api-data&size=172" :: Either Text Project
    Right (Project {projectName = "http-api-data", projectSize = 172})
    

Page 334 of many | Previous | Next