roboservant-0.1.0.3: Automatic session-aware servant testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Roboservant.Types.ReifiedApi

Description

 

Documentation

newtype ApiOffset Source #

Constructors

ApiOffset Int 

Instances

Instances details
Enum ApiOffset Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Methods

succ :: ApiOffset -> ApiOffset #

pred :: ApiOffset -> ApiOffset #

toEnum :: Int -> ApiOffset #

fromEnum :: ApiOffset -> Int #

enumFrom :: ApiOffset -> [ApiOffset] #

enumFromThen :: ApiOffset -> ApiOffset -> [ApiOffset] #

enumFromTo :: ApiOffset -> ApiOffset -> [ApiOffset] #

enumFromThenTo :: ApiOffset -> ApiOffset -> ApiOffset -> [ApiOffset] #

Num ApiOffset Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Methods

(+) :: ApiOffset -> ApiOffset -> ApiOffset #

(-) :: ApiOffset -> ApiOffset -> ApiOffset #

(*) :: ApiOffset -> ApiOffset -> ApiOffset #

negate :: ApiOffset -> ApiOffset #

abs :: ApiOffset -> ApiOffset #

signum :: ApiOffset -> ApiOffset #

fromInteger :: Integer -> ApiOffset #

Show ApiOffset Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Methods

showsPrec :: Int -> ApiOffset -> ShowS #

show :: ApiOffset -> String #

showList :: [ApiOffset] -> ShowS #

Eq ApiOffset Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Methods

(==) :: ApiOffset -> ApiOffset -> Bool #

(/=) :: ApiOffset -> ApiOffset -> Bool #

Ord ApiOffset Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Methods

compare :: ApiOffset -> ApiOffset -> Ordering #

(<) :: ApiOffset -> ApiOffset -> Bool #

(<=) :: ApiOffset -> ApiOffset -> Bool #

(>) :: ApiOffset -> ApiOffset -> Bool #

(>=) :: ApiOffset -> ApiOffset -> Bool #

max :: ApiOffset -> ApiOffset -> ApiOffset #

min :: ApiOffset -> ApiOffset -> ApiOffset #

type TypedF = (:*:) TypeRep Source #

newtype Argument a Source #

Constructors

Argument 

Fields

data ReifiedEndpoint Source #

Constructors

forall as.(RecordToList as, RMap as) => ReifiedEndpoint 

Fields

Instances

Instances details
Show ReifiedEndpoint Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Methods

showsPrec :: Int -> ReifiedEndpoint -> ShowS #

show :: ReifiedEndpoint -> String #

showList :: [ReifiedEndpoint] -> ShowS #

class (RecordToList (EndpointArgs endpoint), RMap (EndpointArgs endpoint)) => ToReifiedEndpoint (endpoint :: Type) where Source #

Associated Types

type EndpointArgs endpoint :: [Type] Source #

type EndpointRes endpoint :: Type Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs endpoint) Source #

Instances

Instances details
ToReifiedEndpoint (NoContentVerb method) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (NoContentVerb method) :: [Type] Source #

type EndpointRes (NoContentVerb method) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (NoContentVerb method)) Source #

ToReifiedEndpoint endpoint => ToReifiedEndpoint (x :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (x :> endpoint) :: [Type] Source #

type EndpointRes (x :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (x :> endpoint)) Source #

(BuildFrom (IfLenient String mods captureType), ToReifiedEndpoint endpoint) => ToReifiedEndpoint (Capture' mods name captureType :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (Capture' mods name captureType :> endpoint) :: [Type] Source #

type EndpointRes (Capture' mods name captureType :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (Capture' mods name captureType :> endpoint)) Source #

ToReifiedEndpoint endpoint => ToReifiedEndpoint (Description s :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (Description s :> endpoint) :: [Type] Source #

type EndpointRes (Description s :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (Description s :> endpoint)) Source #

ToReifiedEndpoint endpoint => ToReifiedEndpoint (Summary s :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (Summary s :> endpoint) :: [Type] Source #

type EndpointRes (Summary s :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (Summary s :> endpoint)) Source #

(BuildFrom (IfRequiredLenient Text mods headerType), ToReifiedEndpoint endpoint) => ToReifiedEndpoint (Header' mods headerName headerType :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (Header' mods headerName headerType :> endpoint) :: [Type] Source #

type EndpointRes (Header' mods headerName headerType :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (Header' mods headerName headerType :> endpoint)) Source #

(Typeable requestType, BuildFrom requestType, ToReifiedEndpoint endpoint) => ToReifiedEndpoint (QueryFlag name :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (QueryFlag name :> endpoint) :: [Type] Source #

type EndpointRes (QueryFlag name :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (QueryFlag name :> endpoint)) Source #

(BuildFrom (IfRequiredLenient Text mods paramType), ToReifiedEndpoint endpoint) => ToReifiedEndpoint (QueryParam' mods name paramType :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (QueryParam' mods name paramType :> endpoint) :: [Type] Source #

type EndpointRes (QueryParam' mods name paramType :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (QueryParam' mods name paramType :> endpoint)) Source #

(BuildFrom paramType, ToReifiedEndpoint endpoint, Show paramType, Eq paramType) => ToReifiedEndpoint (QueryParams name paramType :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (QueryParams name paramType :> endpoint) :: [Type] Source #

type EndpointRes (QueryParams name paramType :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (QueryParams name paramType :> endpoint)) Source #

ToReifiedEndpoint endpoint => ToReifiedEndpoint (RemoteHost :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (RemoteHost :> endpoint) :: [Type] Source #

type EndpointRes (RemoteHost :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (RemoteHost :> endpoint)) Source #

(BuildFrom (IfLenient String mods requestType), ToReifiedEndpoint endpoint) => ToReifiedEndpoint (ReqBody' mods contentTypes requestType :> endpoint) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (ReqBody' mods contentTypes requestType :> endpoint) :: [Type] Source #

type EndpointRes (ReqBody' mods contentTypes requestType :> endpoint) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (ReqBody' mods contentTypes requestType :> endpoint)) Source #

(Typeable responseType, Breakdown responseType) => ToReifiedEndpoint (Verb method statusCode contentTypes responseType) Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Associated Types

type EndpointArgs (Verb method statusCode contentTypes responseType) :: [Type] Source #

type EndpointRes (Verb method statusCode contentTypes responseType) Source #

Methods

reifiedEndpointArguments :: Rec (TypedF Argument) (EndpointArgs (Verb method statusCode contentTypes responseType)) Source #

tagType :: Typeable a => f a -> TypedF f a Source #

data InteractionError Source #

Constructors

InteractionError 

Fields

Instances

Instances details
Exception InteractionError Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Methods

toException :: InteractionError -> SomeException #

fromException :: SomeException -> Maybe InteractionError #

displayException :: InteractionError -> String #

Show InteractionError Source # 
Instance details

Defined in Roboservant.Types.ReifiedApi

Methods

showsPrec :: Int -> InteractionError -> ShowS #

show :: InteractionError -> String #

showList :: [InteractionError] -> ShowS #

type IfLenient s mods t = If (FoldLenient mods) (Either s t) t Source #

type IfRequired mods t = If (FoldRequired mods) t (Maybe t) Source #

type IfRequiredLenient s mods t = IfRequired mods (IfLenient s mods t) Source #