| 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 inputs 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 ::ViewFormView () formView = do -- create formfields for our form let f = formFieldsContactForm formContactForm Submit (gap 10 . pad 10) $ doelStyle.h1 "Add Contact" -- pass the form field into thefieldfunction 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.inputformFieldsWith :: 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 _ = idtype 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") }
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
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≡idto.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 | |