Servant.API.DB.Argument

Documentation

data ArgPos a

Positional argument of DB stored function with attached type info.

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

Instances

Generic (ArgPos a)

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)

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

data ArgNamed name a

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)

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)

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