| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Web.Hyperbole.HyperView.Forms
Contents
Synopsis
- class FromForm form where
- class FromFormF (f :: (Type -> Type) -> Type) where
- class GenFields (f :: Type -> Type) (form :: (Type -> Type) -> Type) where
- genFields :: form f
- fieldNames :: GenFields (FieldName :: Type -> Type) form => form (FieldName :: Type -> Type)
- newtype FieldName (a :: k) = FieldName Text
- data FormFields id = FormFields id
- type family Field (context :: Type -> Type) a
- data InputType
- data Input id a = Input {}
- field :: forall id a. FieldName a -> View (Input id a) () -> View (FormFields id) ()
- label :: View c () -> View c ()
- input :: InputType -> View (Input id a) ()
- checkbox :: Bool -> View (Input id a) ()
- data Radio id a b = Selection {
- inputCtx :: Input id a
- defaultOption :: b
- radioGroup :: b -> View (Radio id a b) () -> View (Input id a) ()
- radio :: (Eq b, ToParam b) => b -> View (Radio id a b) ()
- select :: Eq opt => opt -> View (Option opt id) () -> View (Input id a) ()
- form :: ViewAction (Action id) => Action id -> View (FormFields id) () -> View id ()
- textarea :: Maybe Text -> View (Input id a) ()
- submit :: View (FormFields id) () -> View (FormFields id) ()
- formData :: forall form (es :: [Effect]). (FromForm form, Hyperbole :> es) => Eff es form
- data FormOptions = FormOptions {
- fieldLabelModifier :: String -> String
- data Validated (a :: k)
- = Invalid Text
- | NotInvalid
- | Valid
- isInvalid :: forall {k} (a :: k). Validated a -> Bool
- invalidText :: Validated a -> View (Input id a) ()
- validate :: forall {k} (a :: k). Bool -> Text -> Validated a
- data Identity a
- class FromFormKey k
- class Generic a
- class GFieldsGen (f :: k -> Type) where
- gFieldsGen :: forall (p :: k). f p
- class GenField a where
- newtype Form = Form {}
Documentation
class FromForm form where Source #
Simple types that be decoded from form data
#EMBED ExamplePageFormSimple.hs data ContactForm
Minimal complete definition
Nothing
Methods
class FromFormF (f :: (Type -> Type) -> Type) where Source #
A Higher-Kinded type that can be parsed from a Form
#EMBED ExamplePageFormValidation.hs data UserForm
Minimal complete definition
Nothing
class GenFields (f :: Type -> Type) (form :: (Type -> Type) -> Type) where Source #
Generate a Higher Kinded record with all selectors filled with default values. See GenField
#EMBED ExamplePageFormValidation.hs data UserForm
#EMBED ExamplePageContacts.hs newContactForm
Minimal complete definition
Nothing
fieldNames :: GenFields (FieldName :: Type -> Type) form => form (FieldName :: Type -> Type) Source #
Generate FieldNames for a form
#EXAMPLE /forms
#EMBED Example/Page/Todos/Todo.hs data TodoForm #EMBED Example/Page/Todos/Todo.hs todoForm
newtype FieldName (a :: k) Source #
Form FieldName. This is embeded as the name attribute, and refers to the key need to parse the form when submitted. See fieldNames
type family Field (context :: Type -> Type) a Source #
Field allows a Higher Kinded Form to reuse the same selectors for form parsing, generating html forms, and validation
Field Identity Text ~ Text Field Maybe Text ~ Maybe Text
Choose one for inputs to give the browser autocomplete hints
form :: ViewAction (Action id) => Action id -> View (FormFields id) () -> View id () Source #
Type-safe <form>. Calls (Action id) on submit
#EMBED ExamplePageFormSimple.hs formView
submit :: View (FormFields id) () -> View (FormFields id) () Source #
Button that submits the form
formData :: forall form (es :: [Effect]). (FromForm form, Hyperbole :> es) => Eff es form Source #
Parse a full type from a submitted form body
data FormOptions #
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 ProjectRight (Project {projectName = "http-api-data", projectSize = 172})
Constructors
| FormOptions | |
Fields
| |
data Validated (a :: k) Source #
Validation results for a Form. See validate
#EMBED ExamplePageFormValidation.hs data UserForm #EMBED ExamplePageFormValidation.hs validateForm #EMBED ExamplePageFormValidation.hs validateAge
Constructors
| Invalid Text | |
| NotInvalid | |
| Valid |
validate :: forall {k} (a :: k). Bool -> Text -> Validated a Source #
specify a check for a Validation
#EMBED ExamplePageFormValidation.hs validateAge
Identity functor and monad. (a non-strict monad)
Since: base-4.8.0.0
Instances
Re-exports
class FromFormKey k #
Minimal complete definition
Instances
| FromFormKey All | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Any | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Void | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Int16 | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Int32 | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Int64 | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Int8 | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Word16 | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Word32 | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Word64 | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Word8 | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Ordering | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Text | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Text | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Day | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Month | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Quarter | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey QuarterOfYear | |
Defined in Web.Internal.FormUrlEncoded Methods parseFormKey :: Text -> Either Text QuarterOfYear # | |
| FromFormKey NominalDiffTime | |
Defined in Web.Internal.FormUrlEncoded Methods parseFormKey :: Text -> Either Text NominalDiffTime # | |
| FromFormKey UTCTime | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey LocalTime | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey ZonedTime | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey String | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Integer | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Natural | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey () | |
Defined in Web.Internal.FormUrlEncoded Methods parseFormKey :: Text -> Either Text () # | |
| FromFormKey Bool | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Char | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Double | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Float | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Int | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey Word | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (Identity a) | Since: http-api-data-0.4.2 |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (First a) | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (Last a) | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (Max a) | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (Min a) | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (Dual a) | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (Product a) | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (Sum a) | |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (Const a b) | Since: http-api-data-0.4.2 |
Defined in Web.Internal.FormUrlEncoded | |
| FromFormKey a => FromFormKey (Tagged b a) | |
Defined in Web.Internal.FormUrlEncoded | |
Representable types of kind *.
This class is derivable in GHC with the DeriveGeneric flag on.
A Generic instance must satisfy the following laws:
from.to≡idto.from≡id
Instances
| Generic Value | |||||
Defined in Data.Aeson.Types.Internal Associated Types
| |||||
| Generic All | |||||
Defined in Data.Semigroup.Internal Associated Types
| |||||
| Generic Any | |||||
Defined in Data.Semigroup.Internal Associated Types
| |||||
| Generic Version | |||||
Defined in Data.Version Associated Types
| |||||
| Generic Void | |||||
| Generic ByteOrder | |||||
Defined in GHC.ByteOrder | |||||
| Generic Fingerprint | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic Associativity | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic DecidedStrictness | |||||
Defined in GHC.Generics Associated Types
Methods from :: DecidedStrictness -> Rep DecidedStrictness x # to :: Rep DecidedStrictness x -> DecidedStrictness # | |||||
| Generic Fixity | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic SourceStrictness | |||||
Defined in GHC.Generics Associated Types
Methods from :: SourceStrictness -> Rep SourceStrictness x # to :: Rep SourceStrictness x -> SourceStrictness # | |||||
| Generic SourceUnpackedness | |||||
Defined in GHC.Generics Associated Types
Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x # to :: Rep SourceUnpackedness x -> SourceUnpackedness # | |||||
| Generic ExitCode | |||||
Defined in GHC.IO.Exception Associated Types
| |||||
| Generic CCFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic ConcFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic DebugFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic DoCostCentres | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic DoHeapProfile | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic DoTrace | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic GCFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic GiveGCStats | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic MiscFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic ParFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic ProfFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic RTSFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic TickyFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic TraceFlags | |||||
Defined in GHC.RTS.Flags Associated Types
| |||||
| Generic SrcLoc | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic GCDetails | |||||
Defined in GHC.Stats Associated Types
| |||||
| Generic RTSStats | |||||
Defined in GHC.Stats Associated Types
| |||||
| Generic GeneralCategory | |||||
Defined in GHC.Generics Associated Types
Methods from :: GeneralCategory -> Rep GeneralCategory x # to :: Rep GeneralCategory x -> GeneralCategory # | |||||
| Generic ShortByteString | |||||
Defined in Data.ByteString.Short.Internal Associated Types
Methods from :: ShortByteString -> Rep ShortByteString x # to :: Rep ShortByteString x -> ShortByteString # | |||||
| Generic Limit | |||||
Defined in Effectful.Internal.Unlift Associated Types
| |||||
| Generic Persistence | |||||
Defined in Effectful.Internal.Unlift Associated Types
| |||||
| Generic UnliftStrategy | |||||
Defined in Effectful.Internal.Unlift Associated Types
Methods from :: UnliftStrategy -> Rep UnliftStrategy x # to :: Rep UnliftStrategy x -> UnliftStrategy # | |||||
| Generic OnEmptyPolicy | |||||
Defined in Effectful.NonDet Associated Types
| |||||
| Generic OsChar | |||||
Defined in System.OsString.Internal.Types.Hidden Associated Types
| |||||
| Generic OsString | |||||
Defined in System.OsString.Internal.Types.Hidden Associated Types
| |||||
| Generic PosixChar | |||||
Defined in System.OsString.Internal.Types.Hidden Associated Types
| |||||
| Generic PosixString | |||||
Defined in System.OsString.Internal.Types.Hidden Associated Types
| |||||
| Generic WindowsChar | |||||
Defined in System.OsString.Internal.Types.Hidden Associated Types
| |||||
| Generic WindowsString | |||||
Defined in System.OsString.Internal.Types.Hidden Associated Types
| |||||
| Generic ForeignSrcLang | |||||
Defined in GHC.ForeignSrcLang.Type Associated Types
Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x # to :: Rep ForeignSrcLang x -> ForeignSrcLang # | |||||
| Generic Extension | |||||
Defined in GHC.LanguageExtensions.Type Associated Types
| |||||
| Generic Ordering | |||||
Defined in GHC.Generics | |||||
| Generic SrcLoc | |||||
Defined in Language.Haskell.Exts.SrcLoc Associated Types
| |||||
| Generic SrcSpan | |||||
Defined in Language.Haskell.Exts.SrcLoc Associated Types
| |||||
| Generic SrcSpanInfo | |||||
Defined in Language.Haskell.Exts.SrcLoc Associated Types
| |||||
| Generic Boxed | |||||
Defined in Language.Haskell.Exts.Syntax | |||||
| Generic Tool | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic Form | |||||
Defined in Web.Internal.FormUrlEncoded Associated Types
| |||||
| Generic ByteRange | |||||
Defined in Network.HTTP.Types.Header Associated Types
| |||||
| Generic StdMethod | |||||
Defined in Network.HTTP.Types.Method Associated Types
| |||||
| Generic Status | |||||
Defined in Network.HTTP.Types.Status Associated Types
| |||||
| Generic HttpVersion | |||||
Defined in Network.HTTP.Types.Version Associated Types
| |||||
| Generic AuthFlow Source # | |||||
Defined in Web.Hyperbole.Effect.OAuth2 Associated Types
| |||||
| Generic Authenticated Source # | |||||
Defined in Web.Hyperbole.Effect.OAuth2 Associated Types
| |||||
| Generic Scopes Source # | |||||
Defined in Web.Hyperbole.Effect.OAuth2 Associated Types
| |||||
| Generic TokenType Source # | |||||
Defined in Web.Hyperbole.Effect.OAuth2 | |||||
| Generic IP | |||||
Defined in Data.IP.Addr Associated Types
| |||||
| Generic IPv4 | |||||
Defined in Data.IP.Addr Associated Types
| |||||
| Generic IPv6 | |||||
Defined in Data.IP.Addr Associated Types
| |||||
| Generic IPRange | |||||
Defined in Data.IP.Range Associated Types
| |||||
| Generic URI | |||||
Defined in Network.URI Associated Types
| |||||
| Generic URIAuth | |||||
Defined in Network.URI Associated Types
| |||||
| Generic OsChar | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
| Generic OsString | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
| Generic PosixChar | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
| Generic PosixString | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
| Generic WindowsChar | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
| Generic WindowsString | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
| Generic Mode | |||||
Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types
| |||||
| Generic Style | |||||
Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types
| |||||
| Generic TextDetails | |||||
Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types
| |||||
| Generic Doc | |||||
Defined in Text.PrettyPrint.HughesPJ Associated Types
| |||||
| Generic AnnLookup | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic AnnTarget | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Bang | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic BndrVis | |||||
Defined in Language.Haskell.TH.Syntax | |||||
| Generic Body | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Bytes | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Callconv | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Clause | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Con | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Dec | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic DecidedStrictness | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: DecidedStrictness -> Rep DecidedStrictness x # to :: Rep DecidedStrictness x -> DecidedStrictness # | |||||
| Generic DerivClause | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic DerivStrategy | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic DocLoc | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Exp | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic FamilyResultSig | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: FamilyResultSig -> Rep FamilyResultSig x # to :: Rep FamilyResultSig x -> FamilyResultSig # | |||||
| Generic Fixity | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic FixityDirection | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: FixityDirection -> Rep FixityDirection x # to :: Rep FixityDirection x -> FixityDirection # | |||||
| Generic Foreign | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic FunDep | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Guard | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Info | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic InjectivityAnn | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: InjectivityAnn -> Rep InjectivityAnn x # to :: Rep InjectivityAnn x -> InjectivityAnn # | |||||
| Generic Inline | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Lit | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Loc | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Match | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic ModName | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Module | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic ModuleInfo | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Name | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic NameFlavour | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic NameSpace | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic OccName | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Overlap | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Pat | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic PatSynArgs | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic PatSynDir | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Phases | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic PkgName | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Pragma | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Range | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Role | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic RuleBndr | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic RuleMatch | |||||
Defined in Language.Haskell.TH.Syntax | |||||
| Generic Safety | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic SourceStrictness | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: SourceStrictness -> Rep SourceStrictness x # to :: Rep SourceStrictness x -> SourceStrictness # | |||||
| Generic SourceUnpackedness | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x # to :: Rep SourceUnpackedness x -> SourceUnpackedness # | |||||
| Generic Specificity | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Stmt | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic TyLit | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic TySynEqn | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic Type | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic TypeFamilyHead | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: TypeFamilyHead -> Rep TypeFamilyHead x # to :: Rep TypeFamilyHead x -> TypeFamilyHead # | |||||
| Generic ConstructorInfo | |||||
Defined in Language.Haskell.TH.Datatype Associated Types
Methods from :: ConstructorInfo -> Rep ConstructorInfo x # to :: Rep ConstructorInfo x -> ConstructorInfo # | |||||
| Generic ConstructorVariant | |||||
Defined in Language.Haskell.TH.Datatype Associated Types
Methods from :: ConstructorVariant -> Rep ConstructorVariant x # to :: Rep ConstructorVariant x -> ConstructorVariant # | |||||
| Generic DatatypeInfo | |||||
Defined in Language.Haskell.TH.Datatype Associated Types
| |||||
| Generic DatatypeVariant | |||||
Defined in Language.Haskell.TH.Datatype Associated Types
Methods from :: DatatypeVariant -> Rep DatatypeVariant x # to :: Rep DatatypeVariant x -> DatatypeVariant # | |||||
| Generic FieldStrictness | |||||
Defined in Language.Haskell.TH.Datatype Associated Types
Methods from :: FieldStrictness -> Rep FieldStrictness x # to :: Rep FieldStrictness x -> FieldStrictness # | |||||
| Generic Strictness | |||||
Defined in Language.Haskell.TH.Datatype Associated Types
| |||||
| Generic Unpackedness | |||||
Defined in Language.Haskell.TH.Datatype Associated Types
| |||||
| Generic UnixTime | |||||
Defined in Data.UnixTime.Types Associated Types
| |||||
| Generic ConcException | |||||
Defined in UnliftIO.Internals.Async Associated Types
| |||||
| Generic CompressParams | |||||
Defined in Codec.Compression.Zlib.Internal Associated Types
Methods from :: CompressParams -> Rep CompressParams x # to :: Rep CompressParams x -> CompressParams # | |||||
| Generic DecompressError | |||||
Defined in Codec.Compression.Zlib.Internal Associated Types
Methods from :: DecompressError -> Rep DecompressError x # to :: Rep DecompressError x -> DecompressError # | |||||
| Generic DecompressParams | |||||
Defined in Codec.Compression.Zlib.Internal Associated Types
Methods from :: DecompressParams -> Rep DecompressParams x # to :: Rep DecompressParams x -> DecompressParams # | |||||
| Generic CompressionLevel | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
Methods from :: CompressionLevel -> Rep CompressionLevel x # to :: Rep CompressionLevel x -> CompressionLevel # | |||||
| Generic CompressionStrategy | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
Methods from :: CompressionStrategy -> Rep CompressionStrategy x # to :: Rep CompressionStrategy x -> CompressionStrategy # | |||||
| Generic Format | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
| |||||
| Generic MemoryLevel | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
| |||||
| Generic Method | |||||
Defined in Codec.Compression.Zlib.Stream | |||||
| Generic WindowBits | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
| |||||
| Generic () | |||||
| Generic Bool | |||||
Defined in GHC.Generics | |||||
| Generic (ZipList a) | |||||
Defined in Control.Applicative Associated Types
| |||||
| Generic (Complex a) | |||||
Defined in Data.Complex Associated Types
| |||||
| Generic (Identity a) | |||||
Defined in Data.Functor.Identity Associated Types
| |||||
| Generic (First a) | |||||
Defined in Data.Monoid Associated Types
| |||||
| Generic (Last a) | |||||
Defined in Data.Monoid Associated Types
| |||||
| Generic (Down a) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (First a) | |||||
Defined in Data.Semigroup Associated Types
| |||||
| Generic (Last a) | |||||
Defined in Data.Semigroup Associated Types
| |||||
| Generic (Max a) | |||||
Defined in Data.Semigroup Associated Types
| |||||
| Generic (Min a) | |||||
Defined in Data.Semigroup Associated Types
| |||||
| Generic (WrappedMonoid m) | |||||
Defined in Data.Semigroup Associated Types
Methods from :: WrappedMonoid m -> Rep (WrappedMonoid m) x # to :: Rep (WrappedMonoid m) x -> WrappedMonoid m # | |||||
| Generic (Dual a) | |||||
Defined in Data.Semigroup.Internal Associated Types
| |||||
| Generic (Endo a) | |||||
Defined in Data.Semigroup.Internal Associated Types
| |||||
| Generic (Product a) | |||||
Defined in Data.Semigroup.Internal Associated Types
| |||||
| Generic (Sum a) | |||||
Defined in Data.Semigroup.Internal Associated Types
| |||||
| Generic (NonEmpty a) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (Par1 p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (SCC vertex) | |||||
Defined in Data.Graph Associated Types
| |||||
| Generic (Digit a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
| Generic (Elem a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
| Generic (FingerTree a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
| Generic (Node a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
| Generic (ViewL a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
| Generic (ViewR a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
| Generic (Tree a) | |||||
Defined in Data.Tree Associated Types
| |||||
| Generic (Fix f) | |||||
| Generic (Loc a) | |||||
Defined in Language.Haskell.Exts.SrcLoc Associated Types
| |||||
| Generic (Activation l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Alt l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Annotation l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Assoc l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Asst l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (BangType l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Binds l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (BooleanFormula l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: BooleanFormula l -> Rep (BooleanFormula l) x # to :: Rep (BooleanFormula l) x -> BooleanFormula l # | |||||
| Generic (Bracket l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (CName l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (CallConv l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ClassDecl l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ConDecl l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Context l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (DataOrNew l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Decl l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (DeclHead l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (DerivStrategy l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: DerivStrategy l -> Rep (DerivStrategy l) x # to :: Rep (DerivStrategy l) x -> DerivStrategy l # | |||||
| Generic (Deriving l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (EWildcard l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Exp l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ExportSpec l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ExportSpecList l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: ExportSpecList l -> Rep (ExportSpecList l) x # to :: Rep (ExportSpecList l) x -> ExportSpecList l # | |||||
| Generic (FieldDecl l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (FieldUpdate l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: FieldUpdate l -> Rep (FieldUpdate l) x # to :: Rep (FieldUpdate l) x -> FieldUpdate l # | |||||
| Generic (FunDep l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (GadtDecl l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (GuardedRhs l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (IPBind l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (IPName l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ImportDecl l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ImportSpec l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ImportSpecList l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: ImportSpecList l -> Rep (ImportSpecList l) x # to :: Rep (ImportSpecList l) x -> ImportSpecList l # | |||||
| Generic (InjectivityInfo l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: InjectivityInfo l -> Rep (InjectivityInfo l) x # to :: Rep (InjectivityInfo l) x -> InjectivityInfo l # | |||||
| Generic (InstDecl l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (InstHead l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (InstRule l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Literal l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Match l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (MaybePromotedName l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: MaybePromotedName l -> Rep (MaybePromotedName l) x # to :: Rep (MaybePromotedName l) x -> MaybePromotedName l # | |||||
| Generic (Module l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ModuleHead l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ModuleName l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ModulePragma l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: ModulePragma l -> Rep (ModulePragma l) x # to :: Rep (ModulePragma l) x -> ModulePragma l # | |||||
| Generic (Name l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Namespace l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Op l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Overlap l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (PXAttr l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Pat l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (PatField l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (PatternSynDirection l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: PatternSynDirection l -> Rep (PatternSynDirection l) x # to :: Rep (PatternSynDirection l) x -> PatternSynDirection l # | |||||
| Generic (Promoted l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (QName l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (QOp l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (QualConDecl l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: QualConDecl l -> Rep (QualConDecl l) x # to :: Rep (QualConDecl l) x -> QualConDecl l # | |||||
| Generic (QualStmt l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (RPat l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (RPatOp l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (ResultSig l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Rhs l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Role l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Rule l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (RuleVar l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Safety l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Sign l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (SpecialCon l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Splice l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Stmt l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (TyVarBind l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Type l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (TypeEqn l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (Unpackedness l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: Unpackedness l -> Rep (Unpackedness l) x # to :: Rep (Unpackedness l) x -> Unpackedness l # | |||||
| Generic (WarningText l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
Methods from :: WarningText l -> Rep (WarningText l) x # to :: Rep (WarningText l) x -> WarningText l # | |||||
| Generic (XAttr l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (XName l) | |||||
Defined in Language.Haskell.Exts.Syntax Associated Types
| |||||
| Generic (HistoriedResponse body) | |||||
Defined in Network.HTTP.Client Associated Types
Methods from :: HistoriedResponse body -> Rep (HistoriedResponse body) x # to :: Rep (HistoriedResponse body) x -> HistoriedResponse body # | |||||
| Generic (Action (Root views)) Source # | |||||
Defined in Web.Hyperbole.HyperView.Types | |||||
| Generic (Root views) Source # | |||||
Defined in Web.Hyperbole.HyperView.Types | |||||
| Generic (AddrRange a) | |||||
Defined in Data.IP.Range Associated Types
| |||||
| Generic (Doc a) | |||||
Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types
| |||||
| Generic (Maybe a) | |||||
Defined in Data.Strict.Maybe Associated Types
| |||||
| Generic (TyVarBndr flag) | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
| Generic (Maybe a) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (Solo a) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic [a] | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (WrappedMonad m a) | |||||
Defined in Control.Applicative Associated Types
Methods from :: WrappedMonad m a -> Rep (WrappedMonad m a) x # to :: Rep (WrappedMonad m a) x -> WrappedMonad m a # | |||||
| Generic (Either a b) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (Proxy t) | |||||
Defined in GHC.Generics | |||||
| Generic (Arg a b) | |||||
Defined in Data.Semigroup Associated Types
| |||||
| Generic (U1 p) | |||||
| Generic (V1 p) | |||||
| Generic (Either a b) | |||||
Defined in Data.Strict.Either Associated Types
| |||||
| Generic (These a b) | |||||
Defined in Data.Strict.These Associated Types
| |||||
| Generic (Pair a b) | |||||
Defined in Data.Strict.Tuple Associated Types
| |||||
| Generic (These a b) | |||||
Defined in Data.These Associated Types
| |||||
| Generic (MaybeT m a) | |||||
Defined in Control.Monad.Trans.Maybe Associated Types
| |||||
| Generic (a, b) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (WrappedArrow a b c) | |||||
Defined in Control.Applicative Associated Types
Methods from :: WrappedArrow a b c -> Rep (WrappedArrow a b c) x # to :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c # | |||||
| Generic (Kleisli m a b) | |||||
Defined in Control.Arrow Associated Types
| |||||
| Generic (Const a b) | |||||
Defined in Data.Functor.Const Associated Types
| |||||
| Generic (Ap f a) | |||||
Defined in Data.Monoid Associated Types
| |||||
| Generic (Alt f a) | |||||
Defined in Data.Semigroup.Internal Associated Types
| |||||
| Generic (Rec1 f p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (URec (Ptr ()) p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (URec Char p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (URec Double p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (URec Float p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (URec Int p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (URec Word p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (Tagged s b) | |||||
Defined in Data.Tagged Associated Types
| |||||
| Generic (These1 f g a) | |||||
Defined in Data.Functor.These Associated Types
| |||||
| Generic (Backwards f a) | |||||
Defined in Control.Applicative.Backwards Associated Types
| |||||
| Generic (AccumT w m a) | |||||
Defined in Control.Monad.Trans.Accum Associated Types
| |||||
| Generic (ExceptT e m a) | |||||
Defined in Control.Monad.Trans.Except Associated Types
| |||||
| Generic (IdentityT f a) | |||||
Defined in Control.Monad.Trans.Identity Associated Types
| |||||
| Generic (ReaderT r m a) | |||||
Defined in Control.Monad.Trans.Reader Associated Types
| |||||
| Generic (SelectT r m a) | |||||
Defined in Control.Monad.Trans.Select Associated Types
| |||||
| Generic (StateT s m a) | |||||
Defined in Control.Monad.Trans.State.Lazy Associated Types
| |||||
| Generic (StateT s m a) | |||||
Defined in Control.Monad.Trans.State.Strict Associated Types
| |||||
| Generic (WriterT w m a) | |||||
Defined in Control.Monad.Trans.Writer.CPS Associated Types
| |||||
| Generic (WriterT w m a) | |||||
Defined in Control.Monad.Trans.Writer.Lazy Associated Types
| |||||
| Generic (WriterT w m a) | |||||
Defined in Control.Monad.Trans.Writer.Strict Associated Types
| |||||
| Generic (Constant a b) | |||||
Defined in Data.Functor.Constant Associated Types
| |||||
| Generic (Reverse f a) | |||||
Defined in Data.Functor.Reverse Associated Types
| |||||
| Generic (a, b, c) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (Product f g a) | |||||
Defined in Data.Functor.Product Associated Types
| |||||
| Generic (Sum f g a) | |||||
Defined in Data.Functor.Sum Associated Types
| |||||
| Generic ((f :*: g) p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic ((f :+: g) p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (K1 i c p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (ContT r m a) | |||||
Defined in Control.Monad.Trans.Cont Associated Types
| |||||
| Generic (a, b, c, d) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (Compose f g a) | |||||
Defined in Data.Functor.Compose Associated Types
| |||||
| Generic ((f :.: g) p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (M1 i c f p) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (RWST r w s m a) | |||||
Defined in Control.Monad.Trans.RWS.CPS Associated Types
| |||||
| Generic (RWST r w s m a) | |||||
Defined in Control.Monad.Trans.RWS.Lazy Associated Types
| |||||
| Generic (RWST r w s m a) | |||||
Defined in Control.Monad.Trans.RWS.Strict Associated Types
| |||||
| Generic (a, b, c, d, e) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f, g) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f, g, h) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f, g, h, i) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f, g, h, i, j) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f, g, h, i, j, k) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f, g, h, i, j, k, l) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f, g, h, i, j, k, l, m) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | |||||
Defined in GHC.Generics Associated Types
| |||||
| Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | |||||
Defined in GHC.Generics Associated Types
| |||||
class GFieldsGen (f :: k -> Type) where Source #
Methods
gFieldsGen :: forall (p :: k). f p Source #
Instances
| GFieldsGen (U1 :: k -> Type) Source # | |
Defined in Web.Hyperbole.HyperView.Forms Methods gFieldsGen :: forall (p :: k). U1 p Source # | |
| (GFieldsGen f, GFieldsGen g) => GFieldsGen (f :*: g :: k -> Type) Source # | |
Defined in Web.Hyperbole.HyperView.Forms Methods gFieldsGen :: forall (p :: k). (f :*: g) p Source # | |
| GFieldsGen f => GFieldsGen (M1 C c f :: k -> Type) Source # | |
Defined in Web.Hyperbole.HyperView.Forms Methods gFieldsGen :: forall (p :: k). M1 C c f p Source # | |
| GFieldsGen f => GFieldsGen (M1 D d f :: k -> Type) Source # | |
Defined in Web.Hyperbole.HyperView.Forms Methods gFieldsGen :: forall (p :: k). M1 D d f p Source # | |
| (Selector s, GenField a) => GFieldsGen (M1 S s (K1 R a :: k -> Type) :: k -> Type) Source # | |
Defined in Web.Hyperbole.HyperView.Forms | |
The contents of a form, not yet URL-encoded.
Form can be URL-encoded with urlEncodeForm and URL-decoded with urlDecodeForm.
Instances
| Monoid Form | |||||
| Semigroup Form | |||||
| Generic Form | |||||
Defined in Web.Internal.FormUrlEncoded Associated Types
| |||||
| IsList Form | _NOTE:_ | ||||
| Read Form | |||||
| Show Form | |||||
| Eq Form | |||||
| FromForm Form | |||||
| ToForm Form | |||||
Defined in Web.Internal.FormUrlEncoded | |||||
| type Rep Form | |||||
Defined in Web.Internal.FormUrlEncoded | |||||
| type Item Form | |||||
Defined in Web.Internal.FormUrlEncoded | |||||