servant-0.20.1: A family of combinators for defining webservices APIs

Safe Haskell | Safe-Inferred
Language | Haskell2010

Servant.API.Generic

Contents

- AsApi
- Utility
- re-exports

Description

Define servant servers from record types. Generics for the win.

The usage is simple, if you only need a collection of routes. First you define a record with field types prefixed by a parameter `route`:

    data Routes route = Routes
        { _get :: route :- Capture "id" Int :> Get '[JSON] String
        , _put :: route :- ReqBody '[JSON] Int :> Put '[JSON] Bool
        }
      deriving (Generic)

You can get a `Proxy` of the server using

    api :: Proxy (ToServantApi Routes)
    api = genericApi (Proxy :: Proxy Routes)

Using `genericApi` is better as it checks that instances exists, i.e. you get better error messages than simply using `Proxy` value.

Note: in 0.14 series this module isn't re-exported from `API`.

Servant.API.Generic is based on `servant-generic` package by Patrick Chilton

Since: 0.14.1

Synopsis

- class GenericMode mode where
  - type mode :- api :: *
- type GenericServant routes mode = (GenericMode mode, Generic (routes mode), GServantProduct (Rep (routes mode)))
- type ToServant routes mode = GToServant (Rep (routes mode))
- toServant :: GenericServant routes mode => routes mode -> ToServant routes mode
- fromServant :: GenericServant routes mode => ToServant routes mode -> routes mode
- data AsApi
- type ToServantApi routes = ToServant routes AsApi
- genericApi :: GenericServant routes AsApi => Proxy routes -> Proxy (ToServantApi routes)
- class GServantProduct f
- class Generic a where
  - type Rep a :: Type -> Type

# Documentation

class GenericMode mode #

A class with a type family that applies an appropriate type family to the `api` parameter. For example, `AsApi` will leave `api` untouched, while ``AsServerT` m` will produce ``ServerT` api m`.

Associated Types

type mode :- api :: * infixl 0 #

#### Instances

Instances details

GenericMode AsApi # |
Instance details Defined in Servant.API.Generic Associated Types type AsApi :- api #
GenericMode (AsLink a) # |
Instance details Defined in Servant.Links Associated Types type (AsLink a) :- api #

type GenericServant routes mode = (GenericMode mode, Generic (routes mode), GServantProduct (Rep (routes mode))) #

A constraint alias, for work with `mode` and `routes`.

type ToServant routes mode = GToServant (Rep (routes mode)) #

Turns a generic product type into a tree of `:<|>` combinators.

toServant :: GenericServant routes mode => routes mode -> ToServant routes mode #

See `ToServant`, but at value-level.

fromServant :: GenericServant routes mode => ToServant routes mode -> routes mode #

Inverse of `toServant`.

This can be used to turn `generated` values such as client functions into records.

You may need to provide a type signature for the output type (your record type).

# AsApi

data AsApi #

A type that specifies that an API record contains an API definition. Only useful at type-level.

#### Instances

Instances details

GenericMode AsApi # |
Instance details Defined in Servant.API.Generic Associated Types type AsApi :- api #
type AsApi :- api # |
Instance details Defined in Servant.API.Generic type AsApi :- api = api

type ToServantApi routes = ToServant routes AsApi #

genericApi :: GenericServant routes AsApi => Proxy routes -> Proxy (ToServantApi routes) #

Get a `Proxy` of an API type.

# Utility

class GServantProduct f #

Minimal complete definition

gtoServant, gfromServant

#### Instances

Instances details

(GServantProduct l, GServantProduct r) => GServantProduct (l :*: r) # |
Instance details Defined in Servant.API.Generic Associated Types type GToServant (l :*: r) Methods gtoServant :: (l :*: r) p -> GToServant (l :*: r) gfromServant :: GToServant (l :*: r) -> (l :*: r) p
GServantProduct (K1 i c :: Type -> Type) # |
Instance details Defined in Servant.API.Generic Associated Types type GToServant (K1 i c) Methods gtoServant :: K1 i c p -> GToServant (K1 i c) gfromServant :: GToServant (K1 i c) -> K1 i c p
GServantProduct f => GServantProduct (M1 i c f) # |
Instance details Defined in Servant.API.Generic Associated Types type GToServant (M1 i c f) Methods gtoServant :: M1 i c f p -> GToServant (M1 i c f) gfromServant :: GToServant (M1 i c f) -> M1 i c f p

# re-exports

class Generic a #

Minimal complete definition

from, to

Associated Types

type Rep a :: Type -> Type #

#### Instances

Instances details

Generic Value |
Instance details Defined in Data.Aeson.Types.Internal Associated Types type Rep Value :: Type -> Type # Methods from :: Value -> Rep Value x to :: Rep Value x -> Value
Generic All |
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep All :: Type -> Type # Methods from :: All -> Rep All x to :: Rep All x -> All
Generic Any |
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep Any :: Type -> Type # Methods from :: Any -> Rep Any x to :: Rep Any x -> Any
Generic Version |
Instance details Defined in Data.Version Associated Types type Rep Version :: Type -> Type # Methods from :: Version -> Rep Version x to :: Rep Version x -> Version
Generic Void |
Instance details Defined in GHC.Generics Associated Types type Rep Void :: Type -> Type # Methods from :: Void -> Rep Void x to :: Rep Void x -> Void
Generic Fingerprint |
Instance details Defined in GHC.Generics Associated Types type Rep Fingerprint :: Type -> Type # Methods from :: Fingerprint -> Rep Fingerprint x to :: Rep Fingerprint x -> Fingerprint
Generic Associativity |
Instance details Defined in GHC.Generics Associated Types type Rep Associativity :: Type -> Type # Methods from :: Associativity -> Rep Associativity x to :: Rep Associativity x -> Associativity
Generic DecidedStrictness |
Instance details Defined in GHC.Generics Associated Types type Rep DecidedStrictness :: Type -> Type # Methods from :: DecidedStrictness -> Rep DecidedStrictness x to :: Rep DecidedStrictness x -> DecidedStrictness
Generic Fixity |
Instance details Defined in GHC.Generics Associated Types type Rep Fixity :: Type -> Type # Methods from :: Fixity -> Rep Fixity x to :: Rep Fixity x -> Fixity
Generic SourceStrictness |
Instance details Defined in GHC.Generics Associated Types type Rep SourceStrictness :: Type -> Type # Methods from :: SourceStrictness -> Rep SourceStrictness x to :: Rep SourceStrictness x -> SourceStrictness
Generic SourceUnpackedness |
Instance details Defined in GHC.Generics Associated Types type Rep SourceUnpackedness :: Type -> Type # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x to :: Rep SourceUnpackedness x -> SourceUnpackedness
Generic ExitCode |
Instance details Defined in GHC.IO.Exception Associated Types type Rep ExitCode :: Type -> Type # Methods from :: ExitCode -> Rep ExitCode x to :: Rep ExitCode x -> ExitCode
Generic CCFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep CCFlags :: Type -> Type # Methods from :: CCFlags -> Rep CCFlags x to :: Rep CCFlags x -> CCFlags
Generic ConcFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep ConcFlags :: Type -> Type # Methods from :: ConcFlags -> Rep ConcFlags x to :: Rep ConcFlags x -> ConcFlags
Generic DebugFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DebugFlags :: Type -> Type # Methods from :: DebugFlags -> Rep DebugFlags x to :: Rep DebugFlags x -> DebugFlags
Generic DoCostCentres |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DoCostCentres :: Type -> Type # Methods from :: DoCostCentres -> Rep DoCostCentres x to :: Rep DoCostCentres x -> DoCostCentres
Generic DoHeapProfile |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DoHeapProfile :: Type -> Type # Methods from :: DoHeapProfile -> Rep DoHeapProfile x to :: Rep DoHeapProfile x -> DoHeapProfile
Generic DoTrace |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DoTrace :: Type -> Type # Methods from :: DoTrace -> Rep DoTrace x to :: Rep DoTrace x -> DoTrace
Generic GCFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep GCFlags :: Type -> Type # Methods from :: GCFlags -> Rep GCFlags x to :: Rep GCFlags x -> GCFlags
Generic GiveGCStats |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep GiveGCStats :: Type -> Type # Methods from :: GiveGCStats -> Rep GiveGCStats x to :: Rep GiveGCStats x -> GiveGCStats
Generic MiscFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep MiscFlags :: Type -> Type # Methods from :: MiscFlags -> Rep MiscFlags x to :: Rep MiscFlags x -> MiscFlags
Generic ParFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep ParFlags :: Type -> Type # Methods from :: ParFlags -> Rep ParFlags x to :: Rep ParFlags x -> ParFlags
Generic ProfFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep ProfFlags :: Type -> Type # Methods from :: ProfFlags -> Rep ProfFlags x to :: Rep ProfFlags x -> ProfFlags
Generic RTSFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep RTSFlags :: Type -> Type # Methods from :: RTSFlags -> Rep RTSFlags x to :: Rep RTSFlags x -> RTSFlags
Generic TickyFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep TickyFlags :: Type -> Type # Methods from :: TickyFlags -> Rep TickyFlags x to :: Rep TickyFlags x -> TickyFlags
Generic TraceFlags |
Instance details Defined in GHC.RTS.Flags Associated Types type Rep TraceFlags :: Type -> Type # Methods from :: TraceFlags -> Rep TraceFlags x to :: Rep TraceFlags x -> TraceFlags
Generic SrcLoc |
Instance details Defined in GHC.Generics Associated Types type Rep SrcLoc :: Type -> Type # Methods from :: SrcLoc -> Rep SrcLoc x to :: Rep SrcLoc x -> SrcLoc
Generic GCDetails |
Instance details Defined in GHC.Stats Associated Types type Rep GCDetails :: Type -> Type # Methods from :: GCDetails -> Rep GCDetails x to :: Rep GCDetails x -> GCDetails
Generic RTSStats |
Instance details Defined in GHC.Stats Associated Types type Rep RTSStats :: Type -> Type # Methods from :: RTSStats -> Rep RTSStats x to :: Rep RTSStats x -> RTSStats
Generic GeneralCategory |
Instance details Defined in GHC.Generics Associated Types type Rep GeneralCategory :: Type -> Type # Methods from :: GeneralCategory -> Rep GeneralCategory x to :: Rep GeneralCategory x -> GeneralCategory
Generic OsChar |
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep OsChar :: Type -> Type # Methods from :: OsChar -> Rep OsChar x to :: Rep OsChar x -> OsChar
Generic OsString |
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep OsString :: Type -> Type # Methods from :: OsString -> Rep OsString x to :: Rep OsString x -> OsString
Generic PosixChar |
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep PosixChar :: Type -> Type # Methods from :: PosixChar -> Rep PosixChar x to :: Rep PosixChar x -> PosixChar
Generic PosixString |
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep PosixString :: Type -> Type # Methods from :: PosixString -> Rep PosixString x to :: Rep PosixString x -> PosixString
Generic WindowsChar |
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep WindowsChar :: Type -> Type # Methods from :: WindowsChar -> Rep WindowsChar x to :: Rep WindowsChar x -> WindowsChar
Generic WindowsString |
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep WindowsString :: Type -> Type # Methods from :: WindowsString -> Rep WindowsString x to :: Rep WindowsString x -> WindowsString
Generic ForeignSrcLang |
Instance details Defined in GHC.ForeignSrcLang.Type Associated Types type Rep ForeignSrcLang :: Type -> Type # Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x to :: Rep ForeignSrcLang x -> ForeignSrcLang
Generic Extension |
Instance details Defined in GHC.LanguageExtensions.Type Associated Types type Rep Extension :: Type -> Type # Methods from :: Extension -> Rep Extension x to :: Rep Extension x -> Extension
Generic Ordering |
Instance details Defined in GHC.Generics Associated Types type Rep Ordering :: Type -> Type # Methods from :: Ordering -> Rep Ordering x to :: Rep Ordering x -> Ordering
Generic Form |
Instance details Defined in Web.Internal.FormUrlEncoded Associated Types type Rep Form :: Type -> Type # Methods from :: Form -> Rep Form x to :: Rep Form x -> Form
Generic URI |
Instance details Defined in Network.URI Associated Types type Rep URI :: Type -> Type # Methods from :: URI -> Rep URI x to :: Rep URI x -> URI
Generic URIAuth |
Instance details Defined in Network.URI Associated Types type Rep URIAuth :: Type -> Type # Methods from :: URIAuth -> Rep URIAuth x to :: Rep URIAuth x -> URIAuth
Generic Mode |
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Mode :: Type -> Type # Methods from :: Mode -> Rep Mode x to :: Rep Mode x -> Mode
Generic Style |
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Style :: Type -> Type # Methods from :: Style -> Rep Style x to :: Rep Style x -> Style
Generic TextDetails |
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep TextDetails :: Type -> Type # Methods from :: TextDetails -> Rep TextDetails x to :: Rep TextDetails x -> TextDetails
Generic Doc |
Instance details Defined in Text.PrettyPrint.HughesPJ Associated Types type Rep Doc :: Type -> Type # Methods from :: Doc -> Rep Doc x to :: Rep Doc x -> Doc
Generic AcceptHeader # |
Instance details Defined in Servant.API.ContentTypes Associated Types type Rep AcceptHeader :: Type -> Type # Methods from :: AcceptHeader -> Rep AcceptHeader x to :: Rep AcceptHeader x -> AcceptHeader
Generic NoContent # |
Instance details Defined in Servant.API.ContentTypes Associated Types type Rep NoContent :: Type -> Type # Methods from :: NoContent -> Rep NoContent x to :: Rep NoContent x -> NoContent
Generic IsSecure # |
Instance details Defined in Servant.API.IsSecure Associated Types type Rep IsSecure :: Type -> Type # Methods from :: IsSecure -> Rep IsSecure x to :: Rep IsSecure x -> IsSecure
Generic AnnLookup |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnLookup :: Type -> Type # Methods from :: AnnLookup -> Rep AnnLookup x to :: Rep AnnLookup x -> AnnLookup
Generic AnnTarget |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnTarget :: Type -> Type # Methods from :: AnnTarget -> Rep AnnTarget x to :: Rep AnnTarget x -> AnnTarget
Generic Bang |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bang :: Type -> Type # Methods from :: Bang -> Rep Bang x to :: Rep Bang x -> Bang
Generic Body |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Body :: Type -> Type # Methods from :: Body -> Rep Body x to :: Rep Body x -> Body
Generic Bytes |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bytes :: Type -> Type # Methods from :: Bytes -> Rep Bytes x to :: Rep Bytes x -> Bytes
Generic Callconv |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Callconv :: Type -> Type # Methods from :: Callconv -> Rep Callconv x to :: Rep Callconv x -> Callconv
Generic Clause |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Clause :: Type -> Type # Methods from :: Clause -> Rep Clause x to :: Rep Clause x -> Clause
Generic Con |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Con :: Type -> Type # Methods from :: Con -> Rep Con x to :: Rep Con x -> Con
Generic Dec |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Dec :: Type -> Type # Methods from :: Dec -> Rep Dec x to :: Rep Dec x -> Dec
Generic DecidedStrictness |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DecidedStrictness :: Type -> Type # Methods from :: DecidedStrictness -> Rep DecidedStrictness x to :: Rep DecidedStrictness x -> DecidedStrictness
Generic DerivClause |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivClause :: Type -> Type # Methods from :: DerivClause -> Rep DerivClause x to :: Rep DerivClause x -> DerivClause
Generic DerivStrategy |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivStrategy :: Type -> Type # Methods from :: DerivStrategy -> Rep DerivStrategy x to :: Rep DerivStrategy x -> DerivStrategy
Generic DocLoc |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DocLoc :: Type -> Type # Methods from :: DocLoc -> Rep DocLoc x to :: Rep DocLoc x -> DocLoc
Generic Exp |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Exp :: Type -> Type # Methods from :: Exp -> Rep Exp x to :: Rep Exp x -> Exp
Generic FamilyResultSig |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FamilyResultSig :: Type -> Type # Methods from :: FamilyResultSig -> Rep FamilyResultSig x to :: Rep FamilyResultSig x -> FamilyResultSig
Generic Fixity |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Fixity :: Type -> Type # Methods from :: Fixity -> Rep Fixity x to :: Rep Fixity x -> Fixity
Generic FixityDirection |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FixityDirection :: Type -> Type # Methods from :: FixityDirection -> Rep FixityDirection x to :: Rep FixityDirection x -> FixityDirection
Generic Foreign |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Foreign :: Type -> Type # Methods from :: Foreign -> Rep Foreign x to :: Rep Foreign x -> Foreign
Generic FunDep |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FunDep :: Type -> Type # Methods from :: FunDep -> Rep FunDep x to :: Rep FunDep x -> FunDep
Generic Guard |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Guard :: Type -> Type # Methods from :: Guard -> Rep Guard x to :: Rep Guard x -> Guard
Generic Info |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Info :: Type -> Type # Methods from :: Info -> Rep Info x to :: Rep Info x -> Info
Generic InjectivityAnn |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep InjectivityAnn :: Type -> Type # Methods from :: InjectivityAnn -> Rep InjectivityAnn x to :: Rep InjectivityAnn x -> InjectivityAnn
Generic Inline |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Inline :: Type -> Type # Methods from :: Inline -> Rep Inline x to :: Rep Inline x -> Inline
Generic Lit |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Lit :: Type -> Type # Methods from :: Lit -> Rep Lit x to :: Rep Lit x -> Lit
Generic Loc |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Loc :: Type -> Type # Methods from :: Loc -> Rep Loc x to :: Rep Loc x -> Loc
Generic Match |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Match :: Type -> Type # Methods from :: Match -> Rep Match x to :: Rep Match x -> Match
Generic ModName |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModName :: Type -> Type # Methods from :: ModName -> Rep ModName x to :: Rep ModName x -> ModName
Generic Module |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Module :: Type -> Type # Methods from :: Module -> Rep Module x to :: Rep Module x -> Module
Generic ModuleInfo |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModuleInfo :: Type -> Type # Methods from :: ModuleInfo -> Rep ModuleInfo x to :: Rep ModuleInfo x -> ModuleInfo
Generic Name |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Name :: Type -> Type # Methods from :: Name -> Rep Name x to :: Rep Name x -> Name
Generic NameFlavour |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameFlavour :: Type -> Type # Methods from :: NameFlavour -> Rep NameFlavour x to :: Rep NameFlavour x -> NameFlavour
Generic NameSpace |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameSpace :: Type -> Type # Methods from :: NameSpace -> Rep NameSpace x to :: Rep NameSpace x -> NameSpace
Generic OccName |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep OccName :: Type -> Type # Methods from :: OccName -> Rep OccName x to :: Rep OccName x -> OccName
Generic Overlap |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Overlap :: Type -> Type # Methods from :: Overlap -> Rep Overlap x to :: Rep Overlap x -> Overlap
Generic Pat |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pat :: Type -> Type # Methods from :: Pat -> Rep Pat x to :: Rep Pat x -> Pat
Generic PatSynArgs |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynArgs :: Type -> Type # Methods from :: PatSynArgs -> Rep PatSynArgs x to :: Rep PatSynArgs x -> PatSynArgs
Generic PatSynDir |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynDir :: Type -> Type # Methods from :: PatSynDir -> Rep PatSynDir x to :: Rep PatSynDir x -> PatSynDir
Generic Phases |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Phases :: Type -> Type # Methods from :: Phases -> Rep Phases x to :: Rep Phases x -> Phases
Generic PkgName |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PkgName :: Type -> Type # Methods from :: PkgName -> Rep PkgName x to :: Rep PkgName x -> PkgName
Generic Pragma |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pragma :: Type -> Type # Methods from :: Pragma -> Rep Pragma x to :: Rep Pragma x -> Pragma
Generic Range |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Range :: Type -> Type # Methods from :: Range -> Rep Range x to :: Rep Range x -> Range
Generic Role |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Role :: Type -> Type # Methods from :: Role -> Rep Role x to :: Rep Role x -> Role
Generic RuleBndr |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleBndr :: Type -> Type # Methods from :: RuleBndr -> Rep RuleBndr x to :: Rep RuleBndr x -> RuleBndr
Generic RuleMatch |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleMatch :: Type -> Type # Methods from :: RuleMatch -> Rep RuleMatch x to :: Rep RuleMatch x -> RuleMatch
Generic Safety |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Safety :: Type -> Type # Methods from :: Safety -> Rep Safety x to :: Rep Safety x -> Safety
Generic SourceStrictness |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceStrictness :: Type -> Type # Methods from :: SourceStrictness -> Rep SourceStrictness x to :: Rep SourceStrictness x -> SourceStrictness
Generic SourceUnpackedness |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceUnpackedness :: Type -> Type # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x to :: Rep SourceUnpackedness x -> SourceUnpackedness
Generic Specificity |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Specificity :: Type -> Type # Methods from :: Specificity -> Rep Specificity x to :: Rep Specificity x -> Specificity
Generic Stmt |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Stmt :: Type -> Type # Methods from :: Stmt -> Rep Stmt x to :: Rep Stmt x -> Stmt
Generic TyLit |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TyLit :: Type -> Type # Methods from :: TyLit -> Rep TyLit x to :: Rep TyLit x -> TyLit
Generic TySynEqn |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TySynEqn :: Type -> Type # Methods from :: TySynEqn -> Rep TySynEqn x to :: Rep TySynEqn x -> TySynEqn
Generic Type |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Type :: Type -> Type # Methods from :: Type -> Rep Type x to :: Rep Type x -> Type
Generic TypeFamilyHead |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TypeFamilyHead :: Type -> Type # Methods from :: TypeFamilyHead -> Rep TypeFamilyHead x to :: Rep TypeFamilyHead x -> TypeFamilyHead
Generic () |
Instance details Defined in GHC.Generics Associated Types type Rep () :: Type -> Type # Methods from :: () -> Rep () x to :: Rep () x -> ()
Generic Bool |
Instance details Defined in GHC.Generics Associated Types type Rep Bool :: Type -> Type # Methods from :: Bool -> Rep Bool x to :: Rep Bool x -> Bool
Generic (ZipList a) |
Instance details Defined in Control.Applicative Associated Types type Rep (ZipList a) :: Type -> Type # Methods from :: ZipList a -> Rep (ZipList a) x to :: Rep (ZipList a) x -> ZipList a
Generic (Complex a) |
Instance details Defined in Data.Complex Associated Types type Rep (Complex a) :: Type -> Type # Methods from :: Complex a -> Rep (Complex a) x to :: Rep (Complex a) x -> Complex a
Generic (Identity a) |
Instance details Defined in Data.Functor.Identity Associated Types type Rep (Identity a) :: Type -> Type # Methods from :: Identity a -> Rep (Identity a) x to :: Rep (Identity a) x -> Identity a
Generic (First a) |
Instance details Defined in Data.Monoid Associated Types type Rep (First a) :: Type -> Type # Methods from :: First a -> Rep (First a) x to :: Rep (First a) x -> First a
Generic (Last a) |
Instance details Defined in Data.Monoid Associated Types type Rep (Last a) :: Type -> Type # Methods from :: Last a -> Rep (Last a) x to :: Rep (Last a) x -> Last a
Generic (Down a) |
Instance details Defined in GHC.Generics Associated Types type Rep (Down a) :: Type -> Type # Methods from :: Down a -> Rep (Down a) x to :: Rep (Down a) x -> Down a
Generic (First a) |
Instance details Defined in Data.Semigroup Associated Types type Rep (First a) :: Type -> Type # Methods from :: First a -> Rep (First a) x to :: Rep (First a) x -> First a
Generic (Last a) |
Instance details Defined in Data.Semigroup Associated Types type Rep (Last a) :: Type -> Type # Methods from :: Last a -> Rep (Last a) x to :: Rep (Last a) x -> Last a
Generic (Max a) |
Instance details Defined in Data.Semigroup Associated Types type Rep (Max a) :: Type -> Type # Methods from :: Max a -> Rep (Max a) x to :: Rep (Max a) x -> Max a
Generic (Min a) |
Instance details Defined in Data.Semigroup Associated Types type Rep (Min a) :: Type -> Type # Methods from :: Min a -> Rep (Min a) x to :: Rep (Min a) x -> Min a
Generic (WrappedMonoid m) |
Instance details Defined in Data.Semigroup Associated Types type Rep (WrappedMonoid m) :: Type -> Type # Methods from :: WrappedMonoid m -> Rep (WrappedMonoid m) x to :: Rep (WrappedMonoid m) x -> WrappedMonoid m
Generic (Dual a) |
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Dual a) :: Type -> Type # Methods from :: Dual a -> Rep (Dual a) x to :: Rep (Dual a) x -> Dual a
Generic (Endo a) |
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Endo a) :: Type -> Type # Methods from :: Endo a -> Rep (Endo a) x to :: Rep (Endo a) x -> Endo a
Generic (Product a) |
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Product a) :: Type -> Type # Methods from :: Product a -> Rep (Product a) x to :: Rep (Product a) x -> Product a
Generic (Sum a) |
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Sum a) :: Type -> Type # Methods from :: Sum a -> Rep (Sum a) x to :: Rep (Sum a) x -> Sum a
Generic (NonEmpty a) |
Instance details Defined in GHC.Generics Associated Types type Rep (NonEmpty a) :: Type -> Type # Methods from :: NonEmpty a -> Rep (NonEmpty a) x to :: Rep (NonEmpty a) x -> NonEmpty a
Generic (Par1 p) |
Instance details Defined in GHC.Generics Associated Types type Rep (Par1 p) :: Type -> Type # Methods from :: Par1 p -> Rep (Par1 p) x to :: Rep (Par1 p) x -> Par1 p
Generic (Digit a) |
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Digit a) :: Type -> Type # Methods from :: Digit a -> Rep (Digit a) x to :: Rep (Digit a) x -> Digit a
Generic (Elem a) |
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Elem a) :: Type -> Type # Methods from :: Elem a -> Rep (Elem a) x to :: Rep (Elem a) x -> Elem a
Generic (FingerTree a) |
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (FingerTree a) :: Type -> Type # Methods from :: FingerTree a -> Rep (FingerTree a) x to :: Rep (FingerTree a) x -> FingerTree a
Generic (Node a) |
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Node a) :: Type -> Type # Methods from :: Node a -> Rep (Node a) x to :: Rep (Node a) x -> Node a
Generic (ViewL a) |
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (ViewL a) :: Type -> Type # Methods from :: ViewL a -> Rep (ViewL a) x to :: Rep (ViewL a) x -> ViewL a
Generic (ViewR a) |
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (ViewR a) :: Type -> Type # Methods from :: ViewR a -> Rep (ViewR a) x to :: Rep (ViewR a) x -> ViewR a
Generic (Tree a) |
Instance details Defined in Data.Tree Associated Types type Rep (Tree a) :: Type -> Type # Methods from :: Tree a -> Rep (Tree a) x to :: Rep (Tree a) x -> Tree a
Generic (Fix f) |
Instance details Defined in Data.Fix Associated Types type Rep (Fix f) :: Type -> Type # Methods from :: Fix f -> Rep (Fix f) x to :: Rep (Fix f) x -> Fix f
Generic (Doc a) |
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep (Doc a) :: Type -> Type # Methods from :: Doc a -> Rep (Doc a) x to :: Rep (Doc a) x -> Doc a
Generic (I a) |
Instance details Defined in Data.SOP.BasicFunctors Associated Types type Rep (I a) :: Type -> Type # Methods from :: I a -> Rep (I a) x to :: Rep (I a) x -> I a
Generic (Maybe a) |
Instance details Defined in Data.Strict.Maybe Associated Types type Rep (Maybe a) :: Type -> Type # Methods from :: Maybe a -> Rep (Maybe a) x to :: Rep (Maybe a) x -> Maybe a
Generic (TyVarBndr flag) |
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep (TyVarBndr flag) :: Type -> Type # Methods from :: TyVarBndr flag -> Rep (TyVarBndr flag) x to :: Rep (TyVarBndr flag) x -> TyVarBndr flag
Generic (Maybe a) |
Instance details Defined in GHC.Generics Associated Types type Rep (Maybe a) :: Type -> Type # Methods from :: Maybe a -> Rep (Maybe a) x to :: Rep (Maybe a) x -> Maybe a
Generic (a) |
Instance details Defined in GHC.Generics Associated Types type Rep (a) :: Type -> Type # Methods from :: (a) -> Rep (a) x to :: Rep (a) x -> (a)
Generic [a] |
Instance details Defined in GHC.Generics Associated Types type Rep [a] :: Type -> Type # Methods from :: [a] -> Rep [a] x to :: Rep [a] x -> [a]
Generic (WrappedMonad m a) |
Instance details Defined in Control.Applicative Associated Types type Rep (WrappedMonad m a) :: Type -> Type # Methods from :: WrappedMonad m a -> Rep (WrappedMonad m a) x to :: Rep (WrappedMonad m a) x -> WrappedMonad m a
Generic (Either a b) |
Instance details Defined in GHC.Generics Associated Types type Rep (Either a b) :: Type -> Type # Methods from :: Either a b -> Rep (Either a b) x to :: Rep (Either a b) x -> Either a b
Generic (Proxy t) |
Instance details Defined in GHC.Generics Associated Types type Rep (Proxy t) :: Type -> Type # Methods from :: Proxy t -> Rep (Proxy t) x to :: Rep (Proxy t) x -> Proxy t
Generic (Arg a b) |
Instance details Defined in Data.Semigroup Associated Types type Rep (Arg a b) :: Type -> Type # Methods from :: Arg a b -> Rep (Arg a b) x to :: Rep (Arg a b) x -> Arg a b
Generic (U1 p) |
Instance details Defined in GHC.Generics Associated Types type Rep (U1 p) :: Type -> Type # Methods from :: U1 p -> Rep (U1 p) x to :: Rep (U1 p) x -> U1 p
Generic (V1 p) |
Instance details Defined in GHC.Generics Associated Types type Rep (V1 p) :: Type -> Type # Methods from :: V1 p -> Rep (V1 p) x to :: Rep (V1 p) x -> V1 p
Generic (NoContentVerb method) # |
Instance details Defined in Servant.API.Verbs Associated Types type Rep (NoContentVerb method) :: Type -> Type # Methods from :: NoContentVerb method -> Rep (NoContentVerb method) x to :: Rep (NoContentVerb method) x -> NoContentVerb method
Generic (Either a b) |
Instance details Defined in Data.Strict.Either Associated Types type Rep (Either a b) :: Type -> Type # Methods from :: Either a b -> Rep (Either a b) x to :: Rep (Either a b) x -> Either a b
Generic (These a b) |
Instance details Defined in Data.Strict.These Associated Types type Rep (These a b) :: Type -> Type # Methods from :: These a b -> Rep (These a b) x to :: Rep (These a b) x -> These a b
Generic (Pair a b) |
Instance details Defined in Data.Strict.Tuple Associated Types type Rep (Pair a b) :: Type -> Type # Methods from :: Pair a b -> Rep (Pair a b) x to :: Rep (Pair a b) x -> Pair a b
Generic (These a b) |
Instance details Defined in Data.These Associated Types type Rep (These a b) :: Type -> Type # Methods from :: These a b -> Rep (These a b) x to :: Rep (These a b) x -> These a b
Generic (Lift f a) |
Instance details Defined in Control.Applicative.Lift Associated Types type Rep (Lift f a) :: Type -> Type # Methods from :: Lift f a -> Rep (Lift f a) x to :: Rep (Lift f a) x -> Lift f a
Generic (MaybeT m a) |
Instance details Defined in Control.Monad.Trans.Maybe Associated Types type Rep (MaybeT m a) :: Type -> Type # Methods from :: MaybeT m a -> Rep (MaybeT m a) x to :: Rep (MaybeT m a) x -> MaybeT m a
Generic (a, b) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b) :: Type -> Type # Methods from :: (a, b) -> Rep (a, b) x to :: Rep (a, b) x -> (a, b)
Generic (WrappedArrow a b c) |
Instance details Defined in Control.Applicative Associated Types type Rep (WrappedArrow a b c) :: Type -> Type # 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) |
Instance details Defined in Control.Arrow Associated Types type Rep (Kleisli m a b) :: Type -> Type # Methods from :: Kleisli m a b -> Rep (Kleisli m a b) x to :: Rep (Kleisli m a b) x -> Kleisli m a b
Generic (Const a b) |
Instance details Defined in Data.Functor.Const Associated Types type Rep (Const a b) :: Type -> Type # Methods from :: Const a b -> Rep (Const a b) x to :: Rep (Const a b) x -> Const a b
Generic (Ap f a) |
Instance details Defined in Data.Monoid Associated Types type Rep (Ap f a) :: Type -> Type # Methods from :: Ap f a -> Rep (Ap f a) x to :: Rep (Ap f a) x -> Ap f a
Generic (Alt f a) |
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Alt f a) :: Type -> Type # Methods from :: Alt f a -> Rep (Alt f a) x to :: Rep (Alt f a) x -> Alt f a
Generic (Rec1 f p) |
Instance details Defined in GHC.Generics Associated Types type Rep (Rec1 f p) :: Type -> Type # Methods from :: Rec1 f p -> Rep (Rec1 f p) x to :: Rep (Rec1 f p) x -> Rec1 f p
Generic (URec (Ptr ()) p) |
Instance details Defined in GHC.Generics Associated Types type Rep (URec (Ptr ()) p) :: Type -> Type # Methods from :: URec (Ptr ()) p -> Rep (URec (Ptr ()) p) x to :: Rep (URec (Ptr ()) p) x -> URec (Ptr ()) p
Generic (URec Char p) |
Instance details Defined in GHC.Generics Associated Types type Rep (URec Char p) :: Type -> Type # Methods from :: URec Char p -> Rep (URec Char p) x to :: Rep (URec Char p) x -> URec Char p
Generic (URec Double p) |
Instance details Defined in GHC.Generics Associated Types type Rep (URec Double p) :: Type -> Type # Methods from :: URec Double p -> Rep (URec Double p) x to :: Rep (URec Double p) x -> URec Double p
Generic (URec Float p) |
Instance details Defined in GHC.Generics Associated Types type Rep (URec Float p) :: Type -> Type # Methods from :: URec Float p -> Rep (URec Float p) x to :: Rep (URec Float p) x -> URec Float p
Generic (URec Int p) |
Instance details Defined in GHC.Generics Associated Types type Rep (URec Int p) :: Type -> Type # Methods from :: URec Int p -> Rep (URec Int p) x to :: Rep (URec Int p) x -> URec Int p
Generic (URec Word p) |
Instance details Defined in GHC.Generics Associated Types type Rep (URec Word p) :: Type -> Type # Methods from :: URec Word p -> Rep (URec Word p) x to :: Rep (URec Word p) x -> URec Word p
Generic (K a b) |
Instance details Defined in Data.SOP.BasicFunctors Associated Types type Rep (K a b) :: Type -> Type # Methods from :: K a b -> Rep (K a b) x to :: Rep (K a b) x -> K a b
Generic (Tagged s b) |
Instance details Defined in Data.Tagged Associated Types type Rep (Tagged s b) :: Type -> Type # Methods from :: Tagged s b -> Rep (Tagged s b) x to :: Rep (Tagged s b) x -> Tagged s b
Generic (These1 f g a) |
Instance details Defined in Data.Functor.These Associated Types type Rep (These1 f g a) :: Type -> Type # Methods from :: These1 f g a -> Rep (These1 f g a) x to :: Rep (These1 f g a) x -> These1 f g a
Generic (Backwards f a) |
Instance details Defined in Control.Applicative.Backwards Associated Types type Rep (Backwards f a) :: Type -> Type # Methods from :: Backwards f a -> Rep (Backwards f a) x to :: Rep (Backwards f a) x -> Backwards f a
Generic (AccumT w m a) |
Instance details Defined in Control.Monad.Trans.Accum Associated Types type Rep (AccumT w m a) :: Type -> Type # Methods from :: AccumT w m a -> Rep (AccumT w m a) x to :: Rep (AccumT w m a) x -> AccumT w m a
Generic (ExceptT e m a) |
Instance details Defined in Control.Monad.Trans.Except Associated Types type Rep (ExceptT e m a) :: Type -> Type # Methods from :: ExceptT e m a -> Rep (ExceptT e m a) x to :: Rep (ExceptT e m a) x -> ExceptT e m a
Generic (IdentityT f a) |
Instance details Defined in Control.Monad.Trans.Identity Associated Types type Rep (IdentityT f a) :: Type -> Type # Methods from :: IdentityT f a -> Rep (IdentityT f a) x to :: Rep (IdentityT f a) x -> IdentityT f a
Generic (ReaderT r m a) |
Instance details Defined in Control.Monad.Trans.Reader Associated Types type Rep (ReaderT r m a) :: Type -> Type # Methods from :: ReaderT r m a -> Rep (ReaderT r m a) x to :: Rep (ReaderT r m a) x -> ReaderT r m a
Generic (SelectT r m a) |
Instance details Defined in Control.Monad.Trans.Select Associated Types type Rep (SelectT r m a) :: Type -> Type # Methods from :: SelectT r m a -> Rep (SelectT r m a) x to :: Rep (SelectT r m a) x -> SelectT r m a
Generic (StateT s m a) |
Instance details Defined in Control.Monad.Trans.State.Lazy Associated Types type Rep (StateT s m a) :: Type -> Type # Methods from :: StateT s m a -> Rep (StateT s m a) x to :: Rep (StateT s m a) x -> StateT s m a
Generic (StateT s m a) |
Instance details Defined in Control.Monad.Trans.State.Strict Associated Types type Rep (StateT s m a) :: Type -> Type # Methods from :: StateT s m a -> Rep (StateT s m a) x to :: Rep (StateT s m a) x -> StateT s m a
Generic (WriterT w m a) |
Instance details Defined in Control.Monad.Trans.Writer.CPS Associated Types type Rep (WriterT w m a) :: Type -> Type # Methods from :: WriterT w m a -> Rep (WriterT w m a) x to :: Rep (WriterT w m a) x -> WriterT w m a
Generic (WriterT w m a) |
Instance details Defined in Control.Monad.Trans.Writer.Lazy Associated Types type Rep (WriterT w m a) :: Type -> Type # Methods from :: WriterT w m a -> Rep (WriterT w m a) x to :: Rep (WriterT w m a) x -> WriterT w m a
Generic (WriterT w m a) |
Instance details Defined in Control.Monad.Trans.Writer.Strict Associated Types type Rep (WriterT w m a) :: Type -> Type # Methods from :: WriterT w m a -> Rep (WriterT w m a) x to :: Rep (WriterT w m a) x -> WriterT w m a
Generic (Constant a b) |
Instance details Defined in Data.Functor.Constant Associated Types type Rep (Constant a b) :: Type -> Type # Methods from :: Constant a b -> Rep (Constant a b) x to :: Rep (Constant a b) x -> Constant a b
Generic (Reverse f a) |
Instance details Defined in Data.Functor.Reverse Associated Types type Rep (Reverse f a) :: Type -> Type # Methods from :: Reverse f a -> Rep (Reverse f a) x to :: Rep (Reverse f a) x -> Reverse f a
Generic (a, b, c) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c) :: Type -> Type # Methods from :: (a, b, c) -> Rep (a, b, c) x to :: Rep (a, b, c) x -> (a, b, c)
Generic (Product f g a) |
Instance details Defined in Data.Functor.Product Associated Types type Rep (Product f g a) :: Type -> Type # Methods from :: Product f g a -> Rep (Product f g a) x to :: Rep (Product f g a) x -> Product f g a
Generic (Sum f g a) |
Instance details Defined in Data.Functor.Sum Associated Types type Rep (Sum f g a) :: Type -> Type # Methods from :: Sum f g a -> Rep (Sum f g a) x to :: Rep (Sum f g a) x -> Sum f g a
Generic ((f :*: g) p) |
Instance details Defined in GHC.Generics Associated Types type Rep ((f :*: g) p) :: Type -> Type # Methods from :: (f :*: g) p -> Rep ((f :*: g) p) x to :: Rep ((f :*: g) p) x -> (f :*: g) p
Generic ((f :+: g) p) |
Instance details Defined in GHC.Generics Associated Types type Rep ((f :+: g) p) :: Type -> Type # Methods from :: (f :+: g) p -> Rep ((f :+: g) p) x to :: Rep ((f :+: g) p) x -> (f :+: g) p
Generic (K1 i c p) |
Instance details Defined in GHC.Generics Associated Types type Rep (K1 i c p) :: Type -> Type # Methods from :: K1 i c p -> Rep (K1 i c p) x to :: Rep (K1 i c p) x -> K1 i c p
Generic (StreamBody' mods framing contentType a) # |
Instance details Defined in Servant.API.Stream Associated Types type Rep (StreamBody' mods framing contentType a) :: Type -> Type # Methods from :: StreamBody' mods framing contentType a -> Rep (StreamBody' mods framing contentType a) x to :: Rep (StreamBody' mods framing contentType a) x -> StreamBody' mods framing contentType a
Generic (ContT r m a) |
Instance details Defined in Control.Monad.Trans.Cont Associated Types type Rep (ContT r m a) :: Type -> Type # Methods from :: ContT r m a -> Rep (ContT r m a) x to :: Rep (ContT r m a) x -> ContT r m a
Generic (a, b, c, d) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d) :: Type -> Type # Methods from :: (a, b, c, d) -> Rep (a, b, c, d) x to :: Rep (a, b, c, d) x -> (a, b, c, d)
Generic (Compose f g a) |
Instance details Defined in Data.Functor.Compose Associated Types type Rep (Compose f g a) :: Type -> Type # Methods from :: Compose f g a -> Rep (Compose f g a) x to :: Rep (Compose f g a) x -> Compose f g a
Generic ((f :.: g) p) |
Instance details Defined in GHC.Generics Associated Types type Rep ((f :.: g) p) :: Type -> Type # Methods from :: (f :.: g) p -> Rep ((f :.: g) p) x to :: Rep ((f :.: g) p) x -> (f :.: g) p
Generic (M1 i c f p) |
Instance details Defined in GHC.Generics Associated Types type Rep (M1 i c f p) :: Type -> Type # Methods from :: M1 i c f p -> Rep (M1 i c f p) x to :: Rep (M1 i c f p) x -> M1 i c f p
Generic (Verb method statusCode contentTypes a) # |
Instance details Defined in Servant.API.Verbs Associated Types type Rep (Verb method statusCode contentTypes a) :: Type -> Type # Methods from :: Verb method statusCode contentTypes a -> Rep (Verb method statusCode contentTypes a) x to :: Rep (Verb method statusCode contentTypes a) x -> Verb method statusCode contentTypes a
Generic ((f :.: g) p) |
Instance details Defined in Data.SOP.BasicFunctors Associated Types type Rep ((f :.: g) p) :: Type -> Type # Methods from :: (f :.: g) p -> Rep ((f :.: g) p) x to :: Rep ((f :.: g) p) x -> (f :.: g) p
Generic (RWST r w s m a) |
Instance details Defined in Control.Monad.Trans.RWS.CPS Associated Types type Rep (RWST r w s m a) :: Type -> Type # Methods from :: RWST r w s m a -> Rep (RWST r w s m a) x to :: Rep (RWST r w s m a) x -> RWST r w s m a
Generic (RWST r w s m a) |
Instance details Defined in Control.Monad.Trans.RWS.Lazy Associated Types type Rep (RWST r w s m a) :: Type -> Type # Methods from :: RWST r w s m a -> Rep (RWST r w s m a) x to :: Rep (RWST r w s m a) x -> RWST r w s m a
Generic (RWST r w s m a) |
Instance details Defined in Control.Monad.Trans.RWS.Strict Associated Types type Rep (RWST r w s m a) :: Type -> Type # Methods from :: RWST r w s m a -> Rep (RWST r w s m a) x to :: Rep (RWST r w s m a) x -> RWST r w s m a
Generic (a, b, c, d, e) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e) :: Type -> Type # Methods from :: (a, b, c, d, e) -> Rep (a, b, c, d, e) x to :: Rep (a, b, c, d, e) x -> (a, b, c, d, e)
Generic (Stream method status framing contentType a) # |
Instance details Defined in Servant.API.Stream Associated Types type Rep (Stream method status framing contentType a) :: Type -> Type # Methods from :: Stream method status framing contentType a -> Rep (Stream method status framing contentType a) x to :: Rep (Stream method status framing contentType a) x -> Stream method status framing contentType a
Generic (a, b, c, d, e, f) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f) :: Type -> Type # Methods from :: (a, b, c, d, e, f) -> Rep (a, b, c, d, e, f) x to :: Rep (a, b, c, d, e, f) x -> (a, b, c, d, e, f)
Generic (a, b, c, d, e, f, g) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g) -> Rep (a, b, c, d, e, f, g) x to :: Rep (a, b, c, d, e, f, g) x -> (a, b, c, d, e, f, g)
Generic (a, b, c, d, e, f, g, h) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h) -> Rep (a, b, c, d, e, f, g, h) x to :: Rep (a, b, c, d, e, f, g, h) x -> (a, b, c, d, e, f, g, h)
Generic (a, b, c, d, e, f, g, h, i) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i) -> Rep (a, b, c, d, e, f, g, h, i) x to :: Rep (a, b, c, d, e, f, g, h, i) x -> (a, b, c, d, e, f, g, h, i)
Generic (a, b, c, d, e, f, g, h, i, j) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j) -> Rep (a, b, c, d, e, f, g, h, i, j) x to :: Rep (a, b, c, d, e, f, g, h, i, j) x -> (a, b, c, d, e, f, g, h, i, j)
Generic (a, b, c, d, e, f, g, h, i, j, k) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k) -> Rep (a, b, c, d, e, f, g, h, i, j, k) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k) x -> (a, b, c, d, e, f, g, h, i, j, k)
Generic (a, b, c, d, e, f, g, h, i, j, k, l) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l) x -> (a, b, c, d, e, f, g, h, i, j, k, l)
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m)
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) |
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)