servant-db-0.2.0.1: Servant types for defining API with relational DBs

PortabilityPortable
Safe HaskellSafe
LanguageHaskell2010

Servant.API.DB.Argument

Description

 

Synopsis

Documentation

data ArgPos a Source #

Positional argument of DB stored function with attached type info.

>>> type SquareProcedure = ArgPos Int :> Procedure "square" Int

Instances

Generic (ArgPos a) Source # 

Associated Types

type Rep (ArgPos a) :: * -> * #

Methods

from :: ArgPos a -> Rep (ArgPos a) x #

to :: Rep (ArgPos a) x -> ArgPos a #

type Rep (ArgPos a) Source # 
type Rep (ArgPos a) = D1 (MetaData "ArgPos" "Servant.API.DB.Argument" "servant-db-0.2.0.1-5vHaTFhbJ7HH1tjB5JUY2t" False) V1

data ArgNamed name a Source #

Named argument of DB stored function with attached name and type info.

>>> type SquareProcedure = ArgNamed "a" Int :> Procedure "square" Int

Instances

Generic (ArgNamed name a) Source # 

Associated Types

type Rep (ArgNamed name a) :: * -> * #

Methods

from :: ArgNamed name a -> Rep (ArgNamed name a) x #

to :: Rep (ArgNamed name a) x -> ArgNamed name a #

type Rep (ArgNamed name a) Source # 
type Rep (ArgNamed name a) = D1 (MetaData "ArgNamed" "Servant.API.DB.Argument" "servant-db-0.2.0.1-5vHaTFhbJ7HH1tjB5JUY2t" False) V1