Safe Haskell | None |
---|---|
Language | GHC2021 |
Web.Hyperbole.View.Forms
Contents
Synopsis
- data FormFields id = FormFields id
- data InputType
- data FieldName (a :: k)
- data Invalid (a :: k)
- data Input id (valid :: Type -> Type) a = Input {}
- field :: forall id v a. FormField v a -> (v a -> Mod (FormFields id)) -> View (Input id v a) () -> View (FormFields id) ()
- label :: forall id (v :: Type -> Type) a. Text -> View (Input id v a) ()
- input :: forall id (v :: Type -> Type) a. InputType -> Mod (Input id v a) -> View (Input id v a) ()
- form :: forall (form :: (Type -> Type) -> Type) (v :: Type -> Type) id. (Form form v, ViewAction (Action id)) => Action id -> Mod id -> View (FormFields id) () -> View id ()
- textarea :: forall id (v :: Type -> Type) a. Mod (Input id v a) -> Maybe Text -> View (Input id v a) ()
- placeholder :: Text -> Mod id
- submit :: Mod (FormFields id) -> View (FormFields id) () -> View (FormFields id) ()
- formData :: forall form (val :: Type -> Type) (es :: [Effect]). (Form form val, Hyperbole :> es) => Eff es (form Identity)
- class Form (form :: (Type -> Type) -> Type) (val :: Type -> Type) | form -> val where
- formParse :: Form -> Either Text (form Identity)
- collectValids :: form val -> [val ()]
- genForm :: form val
- genFieldsWith :: form val -> form (FormField val)
- formParseParam :: FromParam a => Param -> Form -> Either Text a
- formLookupParam :: FromParam a => Param -> Form -> Either Text (Maybe a)
- formFields :: forall form (val :: Type -> Type). Form form val => form (FormField val)
- formFieldsWith :: forall form (val :: Type -> Type). Form form val => form val -> form (FormField val)
- type family Field (context :: Type -> Type) a
- defaultFormOptions :: FormOptions
- data FormOptions = FormOptions {
- fieldLabelModifier :: String -> String
- data Validated (a :: k)
- = Invalid Text
- | NotInvalid
- | Valid
- data FormField (v :: k -> Type) (a :: k) = FormField {}
- fieldValid :: View (Input id v a) (v a)
- anyInvalid :: forall form (val :: Type -> Type). (Form form val, ValidationState val) => form val -> Bool
- invalidText :: forall a id. View (Input id (Validated :: Type -> Type) a) ()
- validate :: forall {k} (a :: k). Bool -> Text -> Validated a
- data Identity a
- class FromParam a
- class Generic a
- class GenFields (f :: k -> Type) where
- gGenFields :: forall (p :: k). f p
- class GenField (f :: Type -> Type) a where
Documentation
data FormFields id Source #
The only time we can use Fields is inside a form
Constructors
FormFields id |
Choose one for input
s to give the browser autocomplete hints
field :: forall id v a. FormField v a -> (v a -> Mod (FormFields id)) -> View (Input id v a) () -> View (FormFields id) () Source #
input :: forall id (v :: Type -> Type) a. InputType -> Mod (Input id v a) -> View (Input id v a) () Source #
input for a field
form :: forall (form :: (Type -> Type) -> Type) (v :: Type -> Type) id. (Form form v, ViewAction (Action id)) => Action id -> Mod id -> View (FormFields id) () -> View id () Source #
Type-safe <form>. Calls (Action id) on submit
formView ::View
FormView () formView = do -- create formfields for our form let f = formFieldsContactForm form
ContactForm Submit (gap 10 . pad 10) $ doel
Style.h1 "Add Contact" -- pass the form field into thefield
function field f.name (const id) $ do label "Contact Name" input Username (inp . placeholder "contact name") field f.age (const id) $ do label "Age" input Number (inp . placeholder "age" . value "0") submit Style.btn "Submit" where inp = Style.input
textarea :: forall id (v :: Type -> Type) a. Mod (Input id v a) -> Maybe Text -> View (Input id v a) () Source #
textarea for a field
placeholder :: Text -> Mod id Source #
submit :: Mod (FormFields id) -> View (FormFields id) () -> View (FormFields id) () Source #
formData :: forall form (val :: Type -> Type) (es :: [Effect]). (Form form val, Hyperbole :> es) => Eff es (form Identity) Source #
class Form (form :: (Type -> Type) -> Type) (val :: Type -> Type) | form -> val where Source #
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
data ContactForm f = ExampleForm { name :: Field f Text , age :: Field f Int } deriving (Generic) instance Form ContactForm Maybe
Minimal complete definition
Nothing
Methods
formParse :: Form -> Either Text (form Identity) Source #
default formParse :: (Generic (form Identity), GFormParse (Rep (form Identity))) => Form -> Either Text (form Identity) Source #
collectValids :: form val -> [val ()] Source #
default collectValids :: (Generic (form val), GCollect (Rep (form val)) val) => form val -> [val ()] Source #
genFieldsWith :: form val -> form (FormField val) Source #
formFields :: forall form (val :: Type -> Type). Form form val => form (FormField val) Source #
Generate FormFields for the given instance of Form
, with no validation information. See Example.Page.FormSimple
data ContactForm f = ExampleForm { name :: Field f Text , age :: Field f Int } deriving (Generic) formView :: View FormView () formView = do -- create formfields for our form let f = formFields @ContactForm form @ContactForm Submit (gap 10 . pad 10) $ do el Style.h1 "Add Contact" -- pass the form field into the 'field' function field f.name (const id) $ do label "Contact Name" input Username (inp . placeholder "contact name") field f.age (const id) $ do label "Age" input Number (inp . placeholder "age" . value "0") submit Style.btn "Submit" where inp = Style.input
formFieldsWith :: forall form (val :: Type -> Type). Form form val => form val -> form (FormField val) Source #
Generate FormFields for the given instance of Form
from validation data. See Example.Page.FormValidation
data UserForm f = UserForm { user :: Field f User , age :: Field f Int , pass1 :: Field f Text , pass2 :: Field f Text } deriving (Generic) instance Form UserForm Validated formView :: UserForm Validated -> View FormView () formView v = do let f = formFieldsWith v form @UserForm Submit (gap 10 . pad 10) $ do el Style.h1 "Sign Up" field f.user valStyle $ do label "Username" input Username (inp . placeholder "username") fv <- fieldValid case fv of Invalid t -> el_ (text t) Valid -> el_ "Username is available" _ -> none field f.age valStyle $ do label "Age" input Number (inp . placeholder "age" . value "0") el_ invalidText field f.pass1 valStyle $ do label "Password" input NewPassword (inp . placeholder "password") el_ invalidText field f.pass2 (const id) $ do label "Repeat Password" input NewPassword (inp . placeholder "repeat password") submit Style.btn "Submit" where inp = Style.input valStyle (Invalid _) = Style.invalid valStyle Valid = Style.success valStyle _ = id
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
Instances
type Field Identity a Source # | |
Defined in Web.Hyperbole.View.Forms | |
type Field Maybe a Source # | |
Defined in Web.Hyperbole.View.Forms | |
type Field (Either String) a Source # | |
type Field (FieldName :: Type -> Type) a Source # | |
type Field (Validated :: Type -> Type) a Source # | |
type Field (FormField v) a Source # | |
Defined in Web.Hyperbole.View.Forms |
defaultFormOptions :: FormOptions #
Default encoding FormOptions
.
FormOptions
{fieldLabelModifier
= id }
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") } instanceToForm
Project wheretoForm
=genericToForm
myOptions instanceFromForm
Project wherefromForm
=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})
Constructors
FormOptions | |
Fields
|
data Validated (a :: k) Source #
Validation results for a Form
. See validate
data UserForm f = UserForm { user :: Field f User , age :: Field f Int , pass1 :: Field f Text , pass2 :: Field f Text } deriving (Generic) instance Form UserForm Validated validateForm :: UserForm Identity -> UserForm Validated validateForm u = UserForm { user = validateUser u.user , age = validateAge u.age , pass1 = validatePass u.pass1 u.pass2 , pass2 = NotInvalid } validateAge :: Int -> Validated Int validateAge a = validate (a < 20) "User must be at least 20 years old"
Constructors
Invalid Text | |
NotInvalid | |
Valid |
fieldValid :: View (Input id v a) (v a) Source #
Returns the Validated
for the field
. See formFieldsWith
anyInvalid :: forall form (val :: Type -> Type). (Form form val, ValidationState val) => form val -> Bool Source #
validate :: forall {k} (a :: k). Bool -> Text -> Validated a Source #
specify a check for a Validation
validateAge :: Int -> Validated Int validateAge a = validate (a < 20) "User must be at least 20 years old"
Identity functor and monad. (a non-strict monad)
Since: base-4.8.0.0
Instances
Re-exports
Decode data from a query
, session
, or form
parameter value
data Todo = Todo { id :: TodoId , task :: Text , completed :: Bool } deriving (Show, Read,ToParam
,FromParam
)
data Tags = Tags [Text]
instance FromParam
Tags where
parseParam (ParamValue t) =
pure $ Tags $ Text.splitOn "," t
Instances
FromParam Word16 Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Word16 Source # | |
FromParam Word32 Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Word32 Source # | |
FromParam Word64 Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Word64 Source # | |
FromParam Word8 Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Word8 Source # | |
FromParam Text Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Text Source # | |
FromParam UTCTime Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text UTCTime Source # | |
FromParam Integer Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Integer Source # | |
FromParam Bool Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Bool Source # | |
FromParam Char Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Char Source # | |
FromParam Double Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Double Source # | |
FromParam Float Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Float Source # | |
FromParam Int Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Int Source # | |
FromParam Word Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text Word Source # | |
FromParam a => FromParam (Maybe a) Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text (Maybe a) Source # | |
Read a => FromParam [a] Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text [a] Source # | |
(FromParam a, FromParam b) => FromParam (Either a b) Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text (Either a b) Source # | |
(Read k, Read v, Ord k) => FromParam (Map k v) Source # | |
Defined in Web.Hyperbole.Data.QueryData Methods parseParam :: ParamValue -> Either Text (Map k v) Source # |
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
≡id
to
.from
≡id
Instances
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 ConcException | |||||
Defined in UnliftIO.Internals.Async Associated Types
| |||||
Generic UnixTime | |||||
Defined in Data.UnixTime.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 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 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 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 FlatAttributes | |||||
Defined in Web.View.Types Associated Types
Methods from :: FlatAttributes -> Rep FlatAttributes x # to :: Rep FlatAttributes x -> FlatAttributes # | |||||
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 (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 (Doc a) | |||||
Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types
| |||||
Generic (AddrRange a) | |||||
Defined in Data.IP.Range 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 (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 (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 (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 GenFields (f :: k -> Type) where Source #
Methods
gGenFields :: forall (p :: k). f p Source #
Instances
GenFields (U1 :: k -> Type) Source # | |
Defined in Web.Hyperbole.View.Forms Methods gGenFields :: forall (p :: k). U1 p Source # | |
(GenFields f, GenFields g) => GenFields (f :*: g :: k -> Type) Source # | |
Defined in Web.Hyperbole.View.Forms Methods gGenFields :: forall (p :: k). (f :*: g) p Source # | |
GenFields f => GenFields (M1 C c f :: k -> Type) Source # | |
Defined in Web.Hyperbole.View.Forms Methods gGenFields :: forall (p :: k). M1 C c f p Source # | |
GenFields f => GenFields (M1 D d f :: k -> Type) Source # | |
Defined in Web.Hyperbole.View.Forms Methods gGenFields :: forall (p :: k). M1 D d f p Source # | |
(Selector s, GenField f a, Field f a ~ f a) => GenFields (M1 S s (K1 R (f a) :: k -> Type) :: k -> Type) Source # | |
Defined in Web.Hyperbole.View.Forms |