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.

  1. module Reflex.Dom.Xhr.FormData

    No documentation available.

  2. data FormValue blob

    reflex-dom-core Reflex.Dom.Xhr.FormData

    A FormData value may be a blob/file or a string. The file can optionally be provided with filename.

  3. FormValue_File :: blob -> Maybe Text -> FormValue blob

    reflex-dom-core Reflex.Dom.Xhr.FormData

    No documentation available.

  4. FormValue_Text :: Text -> FormValue blob

    reflex-dom-core Reflex.Dom.Xhr.FormData

    No documentation available.

  5. class Forall (r :: Row k) (c :: k -> Constraint)

    row-types Data.Row

    Any structure over a row in which every element is similarly constrained can be metamorphized into another structure over the same row.

  6. class Forall (r :: Row k) (c :: k -> Constraint)

    row-types Data.Row.Internal

    Any structure over a row in which every element is similarly constrained can be metamorphized into another structure over the same row.

  7. class Forall (r :: Row k) (c :: k -> Constraint)

    row-types Data.Row.Records

    Any structure over a row in which every element is similarly constrained can be metamorphized into another structure over the same row.

  8. class Forall (r :: Row k) (c :: k -> Constraint)

    row-types Data.Row.Variants

    Any structure over a row in which every element is similarly constrained can be metamorphized into another structure over the same row.

  9. newtype Forall (nm :: Symbol) a

    sbv Data.SBV

    A universal symbolic variable, used in building quantified constraints. The name attached via the symbol is used during skolemization. It names the corresponding argument to the skolem-functions within the scope of this quantifier.

  10. Forall :: SBV a -> Forall (nm :: Symbol) a

    sbv Data.SBV

    No documentation available.

Page 316 of many | Previous | Next