servant-db-0.2.0.1: Servant types for defining API with relational DBs
Servant.API.DB.Procedure
Description
Synopsis
data Procedure name a Source #
Endpoint for SQL procedure.
Example, stored function that returns current time in seconds:
>>> type SelectTime = Procedure "time" Integer
>>>
type SelectTime = Procedure "time" Integer
Example, stored function that squares given Int:
Int
>>> type SquareProcedure = Arg "a" Int :> Procedure "square" Int
type SquareProcedure = Arg "a" Int :> Procedure "square" Int
Instances
Associated Types
type Rep (Procedure name a) :: * -> * #
Methods
from :: Procedure name a -> Rep (Procedure name a) x #
to :: Rep (Procedure name a) x -> Procedure name a #