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 Source #

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 Source #

Instances

Instances details

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

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

A constraint alias, for work with mode and routes .

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

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

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

See ToServant , but at value-level.

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

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 Source #

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

Instances

Instances details

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

type ToServantApi routes = ToServant routes AsApi Source #

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

Get a Proxy of an API type.

Utility

class GServantProduct f Source #

Minimal complete definition

gtoServant, gfromServant

Instances

Instances details

GServantProduct ( K1 i c :: Type -> Type ) Source #
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 l, GServantProduct r) => GServantProduct (l :*: r) Source #
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 f => GServantProduct ( M1 i c f) Source #
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 Source #

Representable types of kind * . This class is derivable in GHC with the DeriveGeneric flag on.

A Generic instance must satisfy the following laws:

from . to ≡ id
to . from ≡ id

Minimal complete definition

from , to

Associated Types

type Rep a :: Type -> Type Source #

Generic representation type

Instances

Instances details

Generic Bool	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Bool :: Type -> Type Source # Methods from :: Bool -> Rep Bool x Source # to :: Rep Bool x -> Bool Source #
Generic Ordering	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Ordering :: Type -> Type Source # Methods from :: Ordering -> Rep Ordering x Source # to :: Rep Ordering x -> Ordering Source #
Generic Exp
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Exp :: Type -> Type Source # Methods from :: Exp -> Rep Exp x Source # to :: Rep Exp x -> Exp Source #
Generic Match
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Match :: Type -> Type Source # Methods from :: Match -> Rep Match x Source # to :: Rep Match x -> Match Source #
Generic Clause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Clause :: Type -> Type Source # Methods from :: Clause -> Rep Clause x Source # to :: Rep Clause x -> Clause Source #
Generic Pat
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pat :: Type -> Type Source # Methods from :: Pat -> Rep Pat x Source # to :: Rep Pat x -> Pat Source #
Generic Type
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Type :: Type -> Type Source # Methods from :: Type -> Rep Type x Source # to :: Rep Type x -> Type Source #
Generic Dec
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Dec :: Type -> Type Source # Methods from :: Dec -> Rep Dec x Source # to :: Rep Dec x -> Dec Source #
Generic Name
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Name :: Type -> Type Source # Methods from :: Name -> Rep Name x Source # to :: Rep Name x -> Name Source #
Generic FunDep
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FunDep :: Type -> Type Source # Methods from :: FunDep -> Rep FunDep x Source # to :: Rep FunDep x -> FunDep Source #
Generic InjectivityAnn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep InjectivityAnn :: Type -> Type Source # Methods from :: InjectivityAnn -> Rep InjectivityAnn x Source # to :: Rep InjectivityAnn x -> InjectivityAnn Source #
Generic Overlap
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Overlap :: Type -> Type Source # Methods from :: Overlap -> Rep Overlap x Source # to :: Rep Overlap x -> Overlap Source #
Generic ()	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep () :: Type -> Type Source # Methods from :: () -> Rep () x Source # to :: Rep () x -> () Source #
Generic Version	Since: base-4.9.0.0
Instance details Defined in Data.Version Associated Types type Rep Version :: Type -> Type Source # Methods from :: Version -> Rep Version x Source # to :: Rep Version x -> Version Source #
Generic Value
Instance details Defined in Data.Aeson.Types.Internal Associated Types type Rep Value :: Type -> Type Source # Methods from :: Value -> Rep Value x Source # to :: Rep Value x -> Value Source #
Generic Void	Since: base-4.8.0.0
Instance details Defined in Data.Void Associated Types type Rep Void :: Type -> Type Source # Methods from :: Void -> Rep Void x Source # to :: Rep Void x -> Void Source #
Generic ExitCode
Instance details Defined in GHC.IO.Exception Associated Types type Rep ExitCode :: Type -> Type Source # Methods from :: ExitCode -> Rep ExitCode x Source # to :: Rep ExitCode x -> ExitCode Source #
Generic All	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep All :: Type -> Type Source # Methods from :: All -> Rep All x Source # to :: Rep All x -> All Source #
Generic Any	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep Any :: Type -> Type Source # Methods from :: Any -> Rep Any x Source # to :: Rep Any x -> Any Source #
Generic Fixity	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Fixity :: Type -> Type Source # Methods from :: Fixity -> Rep Fixity x Source # to :: Rep Fixity x -> Fixity Source #
Generic Associativity	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Associativity :: Type -> Type Source # Methods from :: Associativity -> Rep Associativity x Source # to :: Rep Associativity x -> Associativity Source #
Generic SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep SourceUnpackedness :: Type -> Type Source # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x Source # to :: Rep SourceUnpackedness x -> SourceUnpackedness Source #
Generic SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep SourceStrictness :: Type -> Type Source # Methods from :: SourceStrictness -> Rep SourceStrictness x Source # to :: Rep SourceStrictness x -> SourceStrictness Source #
Generic DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep DecidedStrictness :: Type -> Type Source # Methods from :: DecidedStrictness -> Rep DecidedStrictness x Source # to :: Rep DecidedStrictness x -> DecidedStrictness Source #
Generic Extension
Instance details Defined in GHC.LanguageExtensions.Type Associated Types type Rep Extension :: Type -> Type Source # Methods from :: Extension -> Rep Extension x Source # to :: Rep Extension x -> Extension Source #
Generic ForeignSrcLang
Instance details Defined in GHC.ForeignSrcLang.Type Associated Types type Rep ForeignSrcLang :: Type -> Type Source # Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x Source # to :: Rep ForeignSrcLang x -> ForeignSrcLang Source #
Generic Form
Instance details Defined in Web.Internal.FormUrlEncoded Associated Types type Rep Form :: Type -> Type Source # Methods from :: Form -> Rep Form x Source # to :: Rep Form x -> Form Source #
Generic URI
Instance details Defined in Network.URI Associated Types type Rep URI :: Type -> Type Source # Methods from :: URI -> Rep URI x Source # to :: Rep URI x -> URI Source #
Generic URIAuth
Instance details Defined in Network.URI Associated Types type Rep URIAuth :: Type -> Type Source # Methods from :: URIAuth -> Rep URIAuth x Source # to :: Rep URIAuth x -> URIAuth Source #
Generic Doc
Instance details Defined in Text.PrettyPrint.HughesPJ Associated Types type Rep Doc :: Type -> Type Source # Methods from :: Doc -> Rep Doc x Source # to :: Rep Doc x -> Doc Source #
Generic TextDetails
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep TextDetails :: Type -> Type Source # Methods from :: TextDetails -> Rep TextDetails x Source # to :: Rep TextDetails x -> TextDetails Source #
Generic Style
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Style :: Type -> Type Source # Methods from :: Style -> Rep Style x Source # to :: Rep Style x -> Style Source #
Generic Mode
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Mode :: Type -> Type Source # Methods from :: Mode -> Rep Mode x Source # to :: Rep Mode x -> Mode Source #
Generic ModName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModName :: Type -> Type Source # Methods from :: ModName -> Rep ModName x Source # to :: Rep ModName x -> ModName Source #
Generic PkgName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PkgName :: Type -> Type Source # Methods from :: PkgName -> Rep PkgName x Source # to :: Rep PkgName x -> PkgName Source #
Generic Module
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Module :: Type -> Type Source # Methods from :: Module -> Rep Module x Source # to :: Rep Module x -> Module Source #
Generic OccName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep OccName :: Type -> Type Source # Methods from :: OccName -> Rep OccName x Source # to :: Rep OccName x -> OccName Source #
Generic NameFlavour
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameFlavour :: Type -> Type Source # Methods from :: NameFlavour -> Rep NameFlavour x Source # to :: Rep NameFlavour x -> NameFlavour Source #
Generic NameSpace
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameSpace :: Type -> Type Source # Methods from :: NameSpace -> Rep NameSpace x Source # to :: Rep NameSpace x -> NameSpace Source #
Generic Loc
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Loc :: Type -> Type Source # Methods from :: Loc -> Rep Loc x Source # to :: Rep Loc x -> Loc Source #
Generic Info
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Info :: Type -> Type Source # Methods from :: Info -> Rep Info x Source # to :: Rep Info x -> Info Source #
Generic ModuleInfo
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModuleInfo :: Type -> Type Source # Methods from :: ModuleInfo -> Rep ModuleInfo x Source # to :: Rep ModuleInfo x -> ModuleInfo Source #
Generic Fixity
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Fixity :: Type -> Type Source # Methods from :: Fixity -> Rep Fixity x Source # to :: Rep Fixity x -> Fixity Source #
Generic FixityDirection
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FixityDirection :: Type -> Type Source # Methods from :: FixityDirection -> Rep FixityDirection x Source # to :: Rep FixityDirection x -> FixityDirection Source #
Generic Lit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Lit :: Type -> Type Source # Methods from :: Lit -> Rep Lit x Source # to :: Rep Lit x -> Lit Source #
Generic Bytes
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bytes :: Type -> Type Source # Methods from :: Bytes -> Rep Bytes x Source # to :: Rep Bytes x -> Bytes Source #
Generic Body
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Body :: Type -> Type Source # Methods from :: Body -> Rep Body x Source # to :: Rep Body x -> Body Source #
Generic Guard
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Guard :: Type -> Type Source # Methods from :: Guard -> Rep Guard x Source # to :: Rep Guard x -> Guard Source #
Generic Stmt
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Stmt :: Type -> Type Source # Methods from :: Stmt -> Rep Stmt x Source # to :: Rep Stmt x -> Stmt Source #
Generic Range
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Range :: Type -> Type Source # Methods from :: Range -> Rep Range x Source # to :: Rep Range x -> Range Source #
Generic DerivClause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivClause :: Type -> Type Source # Methods from :: DerivClause -> Rep DerivClause x Source # to :: Rep DerivClause x -> DerivClause Source #
Generic DerivStrategy
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivStrategy :: Type -> Type Source # Methods from :: DerivStrategy -> Rep DerivStrategy x Source # to :: Rep DerivStrategy x -> DerivStrategy Source #
Generic TypeFamilyHead
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TypeFamilyHead :: Type -> Type Source # Methods from :: TypeFamilyHead -> Rep TypeFamilyHead x Source # to :: Rep TypeFamilyHead x -> TypeFamilyHead Source #
Generic TySynEqn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TySynEqn :: Type -> Type Source # Methods from :: TySynEqn -> Rep TySynEqn x Source # to :: Rep TySynEqn x -> TySynEqn Source #
Generic Foreign
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Foreign :: Type -> Type Source # Methods from :: Foreign -> Rep Foreign x Source # to :: Rep Foreign x -> Foreign Source #
Generic Callconv
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Callconv :: Type -> Type Source # Methods from :: Callconv -> Rep Callconv x Source # to :: Rep Callconv x -> Callconv Source #
Generic Safety
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Safety :: Type -> Type Source # Methods from :: Safety -> Rep Safety x Source # to :: Rep Safety x -> Safety Source #
Generic Pragma
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pragma :: Type -> Type Source # Methods from :: Pragma -> Rep Pragma x Source # to :: Rep Pragma x -> Pragma Source #
Generic Inline
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Inline :: Type -> Type Source # Methods from :: Inline -> Rep Inline x Source # to :: Rep Inline x -> Inline Source #
Generic RuleMatch
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleMatch :: Type -> Type Source # Methods from :: RuleMatch -> Rep RuleMatch x Source # to :: Rep RuleMatch x -> RuleMatch Source #
Generic Phases
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Phases :: Type -> Type Source # Methods from :: Phases -> Rep Phases x Source # to :: Rep Phases x -> Phases Source #
Generic RuleBndr
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleBndr :: Type -> Type Source # Methods from :: RuleBndr -> Rep RuleBndr x Source # to :: Rep RuleBndr x -> RuleBndr Source #
Generic AnnTarget
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnTarget :: Type -> Type Source # Methods from :: AnnTarget -> Rep AnnTarget x Source # to :: Rep AnnTarget x -> AnnTarget Source #
Generic SourceUnpackedness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceUnpackedness :: Type -> Type Source # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x Source # to :: Rep SourceUnpackedness x -> SourceUnpackedness Source #
Generic SourceStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceStrictness :: Type -> Type Source # Methods from :: SourceStrictness -> Rep SourceStrictness x Source # to :: Rep SourceStrictness x -> SourceStrictness Source #
Generic DecidedStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DecidedStrictness :: Type -> Type Source # Methods from :: DecidedStrictness -> Rep DecidedStrictness x Source # to :: Rep DecidedStrictness x -> DecidedStrictness Source #
Generic Con
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Con :: Type -> Type Source # Methods from :: Con -> Rep Con x Source # to :: Rep Con x -> Con Source #
Generic Bang
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bang :: Type -> Type Source # Methods from :: Bang -> Rep Bang x Source # to :: Rep Bang x -> Bang Source #
Generic PatSynDir
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynDir :: Type -> Type Source # Methods from :: PatSynDir -> Rep PatSynDir x Source # to :: Rep PatSynDir x -> PatSynDir Source #
Generic PatSynArgs
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynArgs :: Type -> Type Source # Methods from :: PatSynArgs -> Rep PatSynArgs x Source # to :: Rep PatSynArgs x -> PatSynArgs Source #
Generic TyVarBndr
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TyVarBndr :: Type -> Type Source # Methods from :: TyVarBndr -> Rep TyVarBndr x Source # to :: Rep TyVarBndr x -> TyVarBndr Source #
Generic FamilyResultSig
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FamilyResultSig :: Type -> Type Source # Methods from :: FamilyResultSig -> Rep FamilyResultSig x Source # to :: Rep FamilyResultSig x -> FamilyResultSig Source #
Generic TyLit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TyLit :: Type -> Type Source # Methods from :: TyLit -> Rep TyLit x Source # to :: Rep TyLit x -> TyLit Source #
Generic Role
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Role :: Type -> Type Source # Methods from :: Role -> Rep Role x Source # to :: Rep Role x -> Role Source #
Generic AnnLookup
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnLookup :: Type -> Type Source # Methods from :: AnnLookup -> Rep AnnLookup x Source # to :: Rep AnnLookup x -> AnnLookup Source #
Generic NoContent Source #
Instance details Defined in Servant.API.ContentTypes Associated Types type Rep NoContent :: Type -> Type Source # Methods from :: NoContent -> Rep NoContent x Source # to :: Rep NoContent x -> NoContent Source #
Generic AcceptHeader Source #
Instance details Defined in Servant.API.ContentTypes Associated Types type Rep AcceptHeader :: Type -> Type Source # Methods from :: AcceptHeader -> Rep AcceptHeader x Source # to :: Rep AcceptHeader x -> AcceptHeader Source #
Generic IsSecure Source #
Instance details Defined in Servant.API.IsSecure Associated Types type Rep IsSecure :: Type -> Type Source # Methods from :: IsSecure -> Rep IsSecure x Source # to :: Rep IsSecure x -> IsSecure Source #
Generic [a]	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep [a] :: Type -> Type Source # Methods from :: [a] -> Rep [a] x Source # to :: Rep [a] x -> [a] Source #
Generic ( Maybe a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Maybe a) :: Type -> Type Source # Methods from :: Maybe a -> Rep ( Maybe a) x Source # to :: Rep ( Maybe a) x -> Maybe a Source #
Generic ( Par1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Par1 p) :: Type -> Type Source # Methods from :: Par1 p -> Rep ( Par1 p) x Source # to :: Rep ( Par1 p) x -> Par1 p Source #
Generic ( Solo a)
Instance details Defined in Data.Tuple.Solo Associated Types type Rep ( Solo a) :: Type -> Type Source # Methods from :: Solo a -> Rep ( Solo a) x Source # to :: Rep ( Solo a) x -> Solo a Source #
Generic ( Complex a)	Since: base-4.9.0.0
Instance details Defined in Data.Complex Associated Types type Rep ( Complex a) :: Type -> Type Source # Methods from :: Complex a -> Rep ( Complex a) x Source # to :: Rep ( Complex a) x -> Complex a Source #
Generic ( Min a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Min a) :: Type -> Type Source # Methods from :: Min a -> Rep ( Min a) x Source # to :: Rep ( Min a) x -> Min a Source #
Generic ( Max a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Max a) :: Type -> Type Source # Methods from :: Max a -> Rep ( Max a) x Source # to :: Rep ( Max a) x -> Max a Source #
Generic ( First a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( First a) :: Type -> Type Source # Methods from :: First a -> Rep ( First a) x Source # to :: Rep ( First a) x -> First a Source #
Generic ( Last a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Last a) :: Type -> Type Source # Methods from :: Last a -> Rep ( Last a) x Source # to :: Rep ( Last a) x -> Last a Source #
Generic ( WrappedMonoid m)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( WrappedMonoid m) :: Type -> Type Source # Methods from :: WrappedMonoid m -> Rep ( WrappedMonoid m) x Source # to :: Rep ( WrappedMonoid m) x -> WrappedMonoid m Source #
Generic ( Option a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Option a) :: Type -> Type Source # Methods from :: Option a -> Rep ( Option a) x Source # to :: Rep ( Option a) x -> Option a Source #
Generic ( ZipList a)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Associated Types type Rep ( ZipList a) :: Type -> Type Source # Methods from :: ZipList a -> Rep ( ZipList a) x Source # to :: Rep ( ZipList a) x -> ZipList a Source #
Generic ( Identity a)	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Associated Types type Rep ( Identity a) :: Type -> Type Source # Methods from :: Identity a -> Rep ( Identity a) x Source # to :: Rep ( Identity a) x -> Identity a Source #
Generic ( First a)	Since: base-4.7.0.0
Instance details Defined in Data.Monoid Associated Types type Rep ( First a) :: Type -> Type Source # Methods from :: First a -> Rep ( First a) x Source # to :: Rep ( First a) x -> First a Source #
Generic ( Last a)	Since: base-4.7.0.0
Instance details Defined in Data.Monoid Associated Types type Rep ( Last a) :: Type -> Type Source # Methods from :: Last a -> Rep ( Last a) x Source # to :: Rep ( Last a) x -> Last a Source #
Generic ( Dual a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Dual a) :: Type -> Type Source # Methods from :: Dual a -> Rep ( Dual a) x Source # to :: Rep ( Dual a) x -> Dual a Source #
Generic ( Endo a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Endo a) :: Type -> Type Source # Methods from :: Endo a -> Rep ( Endo a) x Source # to :: Rep ( Endo a) x -> Endo a Source #
Generic ( Sum a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Sum a) :: Type -> Type Source # Methods from :: Sum a -> Rep ( Sum a) x Source # to :: Rep ( Sum a) x -> Sum a Source #
Generic ( Product a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Product a) :: Type -> Type Source # Methods from :: Product a -> Rep ( Product a) x Source # to :: Rep ( Product a) x -> Product a Source #
Generic ( Down a)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Down a) :: Type -> Type Source # Methods from :: Down a -> Rep ( Down a) x Source # to :: Rep ( Down a) x -> Down a Source #
Generic ( NonEmpty a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( NonEmpty a) :: Type -> Type Source # Methods from :: NonEmpty a -> Rep ( NonEmpty a) x Source # to :: Rep ( NonEmpty a) x -> NonEmpty a Source #
Generic ( Tree a)	Since: containers-0.5.8
Instance details Defined in Data.Tree Associated Types type Rep ( Tree a) :: Type -> Type Source # Methods from :: Tree a -> Rep ( Tree a) x Source # to :: Rep ( Tree a) x -> Tree a Source #
Generic ( FingerTree a)	Since: containers-0.6.1
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( FingerTree a) :: Type -> Type Source # Methods from :: FingerTree a -> Rep ( FingerTree a) x Source # to :: Rep ( FingerTree a) x -> FingerTree a Source #
Generic ( Digit a)	Since: containers-0.6.1
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( Digit a) :: Type -> Type Source # Methods from :: Digit a -> Rep ( Digit a) x Source # to :: Rep ( Digit a) x -> Digit a Source #
Generic ( Node a)	Since: containers-0.6.1
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( Node a) :: Type -> Type Source # Methods from :: Node a -> Rep ( Node a) x Source # to :: Rep ( Node a) x -> Node a Source #
Generic ( Elem a)	Since: containers-0.6.1
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( Elem a) :: Type -> Type Source # Methods from :: Elem a -> Rep ( Elem a) x Source # to :: Rep ( Elem a) x -> Elem a Source #
Generic ( ViewL a)	Since: containers-0.5.8
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( ViewL a) :: Type -> Type Source # Methods from :: ViewL a -> Rep ( ViewL a) x Source # to :: Rep ( ViewL a) x -> ViewL a Source #
Generic ( ViewR a)	Since: containers-0.5.8
Instance details Defined in Data.Sequence.Internal Associated Types type Rep ( ViewR a) :: Type -> Type Source # Methods from :: ViewR a -> Rep ( ViewR a) x Source # to :: Rep ( ViewR a) x -> ViewR a Source #
Generic ( Fix f)
Instance details Defined in Data.Fix Associated Types type Rep ( Fix f) :: Type -> Type Source # Methods from :: Fix f -> Rep ( Fix f) x Source # to :: Rep ( Fix f) x -> Fix f Source #
Generic ( Doc a)
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep ( Doc a) :: Type -> Type Source # Methods from :: Doc a -> Rep ( Doc a) x Source # to :: Rep ( Doc a) x -> Doc a Source #
Generic ( I a)
Instance details Defined in Data.SOP.BasicFunctors Associated Types type Rep ( I a) :: Type -> Type Source # Methods from :: I a -> Rep ( I a) x Source # to :: Rep ( I a) x -> I a Source #
Generic ( Maybe a)
Instance details Defined in Data.Strict.Maybe Associated Types type Rep ( Maybe a) :: Type -> Type Source # Methods from :: Maybe a -> Rep ( Maybe a) x Source # to :: Rep ( Maybe a) x -> Maybe a Source #
Generic ( Either a b)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Either a b) :: Type -> Type Source # Methods from :: Either a b -> Rep ( Either a b) x Source # to :: Rep ( Either a b) x -> Either a b Source #
Generic ( V1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( V1 p) :: Type -> Type Source # Methods from :: V1 p -> Rep ( V1 p) x Source # to :: Rep ( V1 p) x -> V1 p Source #
Generic ( U1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( U1 p) :: Type -> Type Source # Methods from :: U1 p -> Rep ( U1 p) x Source # to :: Rep ( U1 p) x -> U1 p Source #
Generic (a, b)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b) :: Type -> Type Source # Methods from :: (a, b) -> Rep (a, b) x Source # to :: Rep (a, b) x -> (a, b) Source #
Generic ( Arg a b)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep ( Arg a b) :: Type -> Type Source # Methods from :: Arg a b -> Rep ( Arg a b) x Source # to :: Rep ( Arg a b) x -> Arg a b Source #
Generic ( WrappedMonad m a)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Associated Types type Rep ( WrappedMonad m a) :: Type -> Type Source # Methods from :: WrappedMonad m a -> Rep ( WrappedMonad m a) x Source # to :: Rep ( WrappedMonad m a) x -> WrappedMonad m a Source #
Generic ( Proxy t)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Proxy t) :: Type -> Type Source # Methods from :: Proxy t -> Rep ( Proxy t) x Source # to :: Rep ( Proxy t) x -> Proxy t Source #
Generic ( These a b)
Instance details Defined in Data.These Associated Types type Rep ( These a b) :: Type -> Type Source # Methods from :: These a b -> Rep ( These a b) x Source # to :: Rep ( These a b) x -> These a b Source #
Generic ( Pair a b)
Instance details Defined in Data.Strict.Tuple Associated Types type Rep ( Pair a b) :: Type -> Type Source # Methods from :: Pair a b -> Rep ( Pair a b) x Source # to :: Rep ( Pair a b) x -> Pair a b Source #
Generic ( These a b)
Instance details Defined in Data.Strict.These Associated Types type Rep ( These a b) :: Type -> Type Source # Methods from :: These a b -> Rep ( These a b) x Source # to :: Rep ( These a b) x -> These a b Source #
Generic ( Either a b)
Instance details Defined in Data.Strict.Either Associated Types type Rep ( Either a b) :: Type -> Type Source # Methods from :: Either a b -> Rep ( Either a b) x Source # to :: Rep ( Either a b) x -> Either a b Source #
Generic ( NoContentVerb method) Source #
Instance details Defined in Servant.API.Verbs Associated Types type Rep ( NoContentVerb method) :: Type -> Type Source # Methods from :: NoContentVerb method -> Rep ( NoContentVerb method) x Source # to :: Rep ( NoContentVerb method) x -> NoContentVerb method Source #
Generic ( Rec1 f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( Rec1 f p) :: Type -> Type Source # Methods from :: Rec1 f p -> Rep ( Rec1 f p) x Source # to :: Rep ( Rec1 f p) x -> Rec1 f p Source #
Generic ( URec ( Ptr ()) p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec ( Ptr ()) p) :: Type -> Type Source # Methods from :: URec ( Ptr ()) p -> Rep ( URec ( Ptr ()) p) x Source # to :: Rep ( URec ( Ptr ()) p) x -> URec ( Ptr ()) p Source #
Generic ( URec Char p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Char p) :: Type -> Type Source # Methods from :: URec Char p -> Rep ( URec Char p) x Source # to :: Rep ( URec Char p) x -> URec Char p Source #
Generic ( URec Double p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Double p) :: Type -> Type Source # Methods from :: URec Double p -> Rep ( URec Double p) x Source # to :: Rep ( URec Double p) x -> URec Double p Source #
Generic ( URec Float p)
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Float p) :: Type -> Type Source # Methods from :: URec Float p -> Rep ( URec Float p) x Source # to :: Rep ( URec Float p) x -> URec Float p Source #
Generic ( URec Int p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Int p) :: Type -> Type Source # Methods from :: URec Int p -> Rep ( URec Int p) x Source # to :: Rep ( URec Int p) x -> URec Int p Source #
Generic ( URec Word p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( URec Word p) :: Type -> Type Source # Methods from :: URec Word p -> Rep ( URec Word p) x Source # to :: Rep ( URec Word p) x -> URec Word p Source #
Generic (a, b, c)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c) :: Type -> Type Source # Methods from :: (a, b, c) -> Rep (a, b, c) x Source # to :: Rep (a, b, c) x -> (a, b, c) Source #
Generic ( WrappedArrow a b c)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Associated Types type Rep ( WrappedArrow a b c) :: Type -> Type Source # Methods from :: WrappedArrow a b c -> Rep ( WrappedArrow a b c) x Source # to :: Rep ( WrappedArrow a b c) x -> WrappedArrow a b c Source #
Generic ( Kleisli m a b)	Since: base-4.14.0.0
Instance details Defined in Control.Arrow Associated Types type Rep ( Kleisli m a b) :: Type -> Type Source # Methods from :: Kleisli m a b -> Rep ( Kleisli m a b) x Source # to :: Rep ( Kleisli m a b) x -> Kleisli m a b Source #
Generic ( Const a b)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Const Associated Types type Rep ( Const a b) :: Type -> Type Source # Methods from :: Const a b -> Rep ( Const a b) x Source # to :: Rep ( Const a b) x -> Const a b Source #
Generic ( Ap f a)	Since: base-4.12.0.0
Instance details Defined in Data.Monoid Associated Types type Rep ( Ap f a) :: Type -> Type Source # Methods from :: Ap f a -> Rep ( Ap f a) x Source # to :: Rep ( Ap f a) x -> Ap f a Source #
Generic ( Alt f a)	Since: base-4.8.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep ( Alt f a) :: Type -> Type Source # Methods from :: Alt f a -> Rep ( Alt f a) x Source # to :: Rep ( Alt f a) x -> Alt f a Source #
Generic ( K a b)
Instance details Defined in Data.SOP.BasicFunctors Associated Types type Rep ( K a b) :: Type -> Type Source # Methods from :: K a b -> Rep ( K a b) x Source # to :: Rep ( K a b) x -> K a b Source #
Generic ( Tagged s b)
Instance details Defined in Data.Tagged Associated Types type Rep ( Tagged s b) :: Type -> Type Source # Methods from :: Tagged s b -> Rep ( Tagged s b) x Source # to :: Rep ( Tagged s b) x -> Tagged s b Source #
Generic ( These1 f g a)
Instance details Defined in Data.Functor.These Associated Types type Rep ( These1 f g a) :: Type -> Type Source # Methods from :: These1 f g a -> Rep ( These1 f g a) x Source # to :: Rep ( These1 f g a) x -> These1 f g a Source #
Generic ( K1 i c p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( K1 i c p) :: Type -> Type Source # Methods from :: K1 i c p -> Rep ( K1 i c p) x Source # to :: Rep ( K1 i c p) x -> K1 i c p Source #
Generic ((f :+: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ((f :+: g) p) :: Type -> Type Source # Methods from :: (f :+: g) p -> Rep ((f :+: g) p) x Source # to :: Rep ((f :+: g) p) x -> (f :+: g) p Source #
Generic ((f :*: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ((f :: g) p) :: Type -> Type Source # Methods from :: (f :: g) p -> Rep ((f :: g) p) x Source # to :: Rep ((f :: g) p) x -> (f :*: g) p Source #
Generic (a, b, c, d)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d) :: Type -> Type Source # Methods from :: (a, b, c, d) -> Rep (a, b, c, d) x Source # to :: Rep (a, b, c, d) x -> (a, b, c, d) Source #
Generic ( Product f g a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Product Associated Types type Rep ( Product f g a) :: Type -> Type Source # Methods from :: Product f g a -> Rep ( Product f g a) x Source # to :: Rep ( Product f g a) x -> Product f g a Source #
Generic ( Sum f g a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Sum Associated Types type Rep ( Sum f g a) :: Type -> Type Source # Methods from :: Sum f g a -> Rep ( Sum f g a) x Source # to :: Rep ( Sum f g a) x -> Sum f g a Source #
Generic ( StreamBody' mods framing contentType a) Source #
Instance details Defined in Servant.API.Stream Associated Types type Rep ( StreamBody' mods framing contentType a) :: Type -> Type Source # Methods from :: StreamBody' mods framing contentType a -> Rep ( StreamBody' mods framing contentType a) x Source # to :: Rep ( StreamBody' mods framing contentType a) x -> StreamBody' mods framing contentType a Source #
Generic ( M1 i c f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ( M1 i c f p) :: Type -> Type Source # Methods from :: M1 i c f p -> Rep ( M1 i c f p) x Source # to :: Rep ( M1 i c f p) x -> M1 i c f p Source #
Generic ((f :.: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ((f :.: g) p) :: Type -> Type Source # Methods from :: (f :.: g) p -> Rep ((f :.: g) p) x Source # to :: Rep ((f :.: g) p) x -> (f :.: g) p Source #
Generic (a, b, c, d, e)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e) :: Type -> Type Source # Methods from :: (a, b, c, d, e) -> Rep (a, b, c, d, e) x Source # to :: Rep (a, b, c, d, e) x -> (a, b, c, d, e) Source #
Generic ( Compose f g a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Compose Associated Types type Rep ( Compose f g a) :: Type -> Type Source # Methods from :: Compose f g a -> Rep ( Compose f g a) x Source # to :: Rep ( Compose f g a) x -> Compose f g a Source #
Generic ( Flip p a b)
Instance details Defined in Data.Bifunctor.Flip Associated Types type Rep ( Flip p a b) :: Type -> Type Source # Methods from :: Flip p a b -> Rep ( Flip p a b) x Source # to :: Rep ( Flip p a b) x -> Flip p a b Source #
Generic ((f :.: g) p)
Instance details Defined in Data.SOP.BasicFunctors Associated Types type Rep ((f :.: g) p) :: Type -> Type Source # Methods from :: (f :.: g) p -> Rep ((f :.: g) p) x Source # to :: Rep ((f :.: g) p) x -> (f :.: g) p Source #
Generic ( Verb method statusCode contentTypes a) Source #
Instance details Defined in Servant.API.Verbs Associated Types type Rep ( Verb method statusCode contentTypes a) :: Type -> Type Source # Methods from :: Verb method statusCode contentTypes a -> Rep ( Verb method statusCode contentTypes a) x Source # to :: Rep ( Verb method statusCode contentTypes a) x -> Verb method statusCode contentTypes a Source #
Generic (a, b, c, d, e, f)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f) :: Type -> Type Source # Methods from :: (a, b, c, d, e, f) -> Rep (a, b, c, d, e, f) x Source # to :: Rep (a, b, c, d, e, f) x -> (a, b, c, d, e, f) Source #
Generic ( Sum p q a b)
Instance details Defined in Data.Bifunctor.Sum Associated Types type Rep ( Sum p q a b) :: Type -> Type Source # Methods from :: Sum p q a b -> Rep ( Sum p q a b) x Source # to :: Rep ( Sum p q a b) x -> Sum p q a b Source #
Generic ( Product f g a b)
Instance details Defined in Data.Bifunctor.Product Associated Types type Rep ( Product f g a b) :: Type -> Type Source # Methods from :: Product f g a b -> Rep ( Product f g a b) x Source # to :: Rep ( Product f g a b) x -> Product f g a b Source #
Generic ( Stream method status framing contentType a) Source #
Instance details Defined in Servant.API.Stream Associated Types type Rep ( Stream method status framing contentType a) :: Type -> Type Source # Methods from :: Stream method status framing contentType a -> Rep ( Stream method status framing contentType a) x Source # to :: Rep ( Stream method status framing contentType a) x -> Stream method status framing contentType a Source #
Generic (a, b, c, d, e, f, g)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g) :: Type -> Type Source # Methods from :: (a, b, c, d, e, f, g) -> Rep (a, b, c, d, e, f, g) x Source # to :: Rep (a, b, c, d, e, f, g) x -> (a, b, c, d, e, f, g) Source #
Generic ( Tannen f p a b)
Instance details Defined in Data.Bifunctor.Tannen Associated Types type Rep ( Tannen f p a b) :: Type -> Type Source # Methods from :: Tannen f p a b -> Rep ( Tannen f p a b) x Source # to :: Rep ( Tannen f p a b) x -> Tannen f p a b Source #
Generic ( Biff p f g a b)
Instance details Defined in Data.Bifunctor.Biff Associated Types type Rep ( Biff p f g a b) :: Type -> Type Source # Methods from :: Biff p f g a b -> Rep ( Biff p f g a b) x Source # to :: Rep ( Biff p f g a b) x -> Biff p f g a b Source #