servant-gdp-0.0.1.2: Use Servant and GDP together to create expressive web API types

Safe Haskell	None
Language	Haskell2010

Servant.GDP

Contents

Orphan instances

Synopsis

data ApiName0
data ApiName1
data ApiName2
data ApiName3
data ApiName4
data ApiName6
data ApiName7
data ApiName8
data ApiName9
data ApiName10
data ApiName11
data ApiName12
data ApiName13
data ApiName14
data ApiName15
data ApiName16
data ApiName17
data ApiName18
data ApiName19
data ApiName20
type CaptureNamed a = Capture "named input" a
class ProvableInIsolation a p
proveInIsolation :: ProvableInIsolation a p => a -> Either Text (Proof p)

Documentation

data ApiName0 Source #

data ApiName1 Source #

data ApiName2 Source #

data ApiName3 Source #

data ApiName4 Source #

data ApiName6 Source #

data ApiName7 Source #

data ApiName8 Source #

data ApiName9 Source #

data ApiName10 Source #

data ApiName11 Source #

data ApiName12 Source #

data ApiName13 Source #

data ApiName14 Source #

data ApiName15 Source #

data ApiName16 Source #

data ApiName17 Source #

data ApiName18 Source #

data ApiName19 Source #

data ApiName20 Source #

type CaptureNamed a = Capture "named input" a Source #

Capture a value from the url path.

class ProvableInIsolation a p Source #

Check if property P holds for value a or not. Is used to parse a value from the request with a required proof

Minimal complete definition

proveInIsolation

Instances

Instances details

(ProvableInIsolation a p1, ProvableInIsolation a p2) => ProvableInIsolation a (p1 \|\| p2) Source #
Instance details Defined in Servant.GDP.ProveInIsolation Methods proveInIsolation :: a -> Either Text (Proof (p1 \|\| p2)) Source #
(ProvableInIsolation a p1, ProvableInIsolation a p2) => ProvableInIsolation a (p1 && p2) Source #
Instance details Defined in Servant.GDP.ProveInIsolation Methods proveInIsolation :: a -> Either Text (Proof (p1 && p2)) Source #

proveInIsolation :: ProvableInIsolation a p => a -> Either Text (Proof p) Source #

Orphan instances

ToJSON a => ToJSON (a ::: p) Source #
Instance details Methods toJSON :: (a ::: p) -> Value # toEncoding :: (a ::: p) -> Encoding # toJSONList :: [a ::: p] -> Value # toEncodingList :: [a ::: p] -> Encoding #
ToJSON a => ToJSON (a ? p) Source #
Instance details Methods toJSON :: (a ? p) -> Value # toEncoding :: (a ? p) -> Encoding # toJSONList :: [a ? p] -> Value # toEncodingList :: [a ? p] -> Encoding #
ToJSON a => ToJSON (a ~~ p) Source #
Instance details Methods toJSON :: (a ~~ p) -> Value # toEncoding :: (a ~~ p) -> Encoding # toJSONList :: [a ~~ p] -> Value # toEncodingList :: [a ~~ p] -> Encoding #