Roboservant.StateMachine

Documentation

data State v

Constructors

State

Fields

• stateRefs :: Map TypeRep (NonEmpty (Var (Opaque (IORef Dynamic)) v))

class FlattenServer api where

Methods

flattenServer :: Server api -> Bundled (Endpoints api)

Instances

(Endpoints (endpoint :<|> api) ~ (endpoint ': Endpoints api), Server (endpoint :<|> api) ~ (Server endpoint :<|> Server api), FlattenServer api) => FlattenServer (endpoint :<|> api)

Defined in Roboservant.StateMachine

Methods

flattenServer :: Server (endpoint :<|> api) -> Bundled (Endpoints (endpoint :<|> api))

(HasServer (x :> api) ([] :: [Type]), Endpoints (x :> api) ~ ((x :> api) ': ([] :: [Type]))) => FlattenServer (x :> api)

Defined in Roboservant.StateMachine

Methods

flattenServer :: Server (x :> api) -> Bundled (Endpoints (x :> api))

(HasServer (Verb method statusCode contentTypes responseType) ([] :: [Type]), Endpoints (Verb method statusCode contentTypes responseType) ~ (Verb method statusCode contentTypes responseType ': ([] :: [Type]))) => FlattenServer (Verb method statusCode contentTypes responseType)

Defined in Roboservant.StateMachine

Methods

flattenServer :: Server (Verb method statusCode contentTypes responseType) -> Bundled (Endpoints (Verb method statusCode contentTypes responseType))

type ReifiedEndpoint = ([TypeRep], TypeRep, Dynamic)

type ReifiedApi = [(ApiOffset, [TypeRep], TypeRep, Dynamic)]

data Bundled endpoints where

Constructors

AnEndpoint :: Server endpoint -> Bundled endpoints -> Bundled (endpoint ': endpoints)

NoEndpoints :: Bundled '[]

class ToReifiedApi (endpoints :: [*]) where

Methods

toReifiedApi :: Bundled endpoints -> Proxy endpoints -> ReifiedApi

Instances

ToReifiedApi ([] :: [Type])

Defined in Roboservant.StateMachine

Methods

toReifiedApi :: Bundled [] -> Proxy [] -> ReifiedApi

(Typeable (Normal (ServerT endpoint Handler)), NormalizeFunction (ServerT endpoint Handler), ToReifiedEndpoint endpoint, ToReifiedApi endpoints, Typeable (ServerT endpoint Handler)) => ToReifiedApi (endpoint ': endpoints)

Defined in Roboservant.StateMachine

Methods

toReifiedApi :: Bundled (endpoint ': endpoints) -> Proxy (endpoint ': endpoints) -> ReifiedApi

class ToReifiedEndpoint (endpoint :: *) where

Methods

toReifiedEndpoint :: Dynamic -> Proxy endpoint -> ReifiedEndpoint

Instances

(Typeable requestType, ToReifiedEndpoint endpoint) => ToReifiedEndpoint (ReqBody contentTypes requestType :> endpoint)

Defined in Roboservant.StateMachine

Methods

toReifiedEndpoint :: Dynamic -> Proxy (ReqBody contentTypes requestType :> endpoint) -> ReifiedEndpoint

(Typeable requestType, ToReifiedEndpoint endpoint) => ToReifiedEndpoint (Capture name requestType :> endpoint)

Defined in Roboservant.StateMachine

Methods

toReifiedEndpoint :: Dynamic -> Proxy (Capture name requestType :> endpoint) -> ReifiedEndpoint

ToReifiedEndpoint endpoint => ToReifiedEndpoint (x :> endpoint)

Defined in Roboservant.StateMachine

Methods

toReifiedEndpoint :: Dynamic -> Proxy (x :> endpoint) -> ReifiedEndpoint

Typeable responseType => ToReifiedEndpoint (Verb method statusCode contentTypes responseType)

Defined in Roboservant.StateMachine

Methods

toReifiedEndpoint :: Dynamic -> Proxy (Verb method statusCode contentTypes responseType) -> ReifiedEndpoint

class NormalizeFunction m where

Associated Types

type Normal m

Methods

normalize :: m -> Normal m

Instances

Typeable x => NormalizeFunction (Handler x)

Defined in Roboservant.StateMachine

Associated Types

type Normal (Handler x) :: Type

Methods

normalize :: Handler x -> Normal (Handler x)

NormalizeFunction x => NormalizeFunction (r -> x)

Defined in Roboservant.StateMachine

Associated Types

type Normal (r -> x) :: Type

Methods

normalize :: (r -> x) -> Normal (r -> x)

newtype ApiOffset

Constructors

ApiOffset Int

Instances

Enum ApiOffset

Defined in Roboservant.StateMachine

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]

Eq ApiOffset

Defined in Roboservant.StateMachine

Methods

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

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

Num ApiOffset

Defined in Roboservant.StateMachine

Methods

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

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

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

negate :: ApiOffset -> ApiOffset

abs :: ApiOffset -> ApiOffset

signum :: ApiOffset -> ApiOffset

fromInteger :: Integer -> ApiOffset

Show ApiOffset

Defined in Roboservant.StateMachine

Methods

showsPrec :: Int -> ApiOffset -> ShowS

show :: ApiOffset -> String

showList :: [ApiOffset] -> ShowS

data Op (v :: * -> *)

we need to specify an offset because it's entirely possible to have two functions with the same arguments that do different things.

Constructors

Op ApiOffset [(TypeRep, Var (Opaque (IORef Dynamic)) v)]

Instances

HTraversable Op

Defined in Roboservant.StateMachine

Methods

htraverse :: Applicative f => (forall a. g a -> f (h a)) -> Op g -> f (Op h)

Show (Op Symbolic)

Defined in Roboservant.StateMachine

Methods

showsPrec :: Int -> Op Symbolic -> ShowS

show :: Op Symbolic -> String

showList :: [Op Symbolic] -> ShowS

callEndpoint :: (MonadGen n, MonadIO m) => ReifiedApi -> Command n m State

prop_sequential :: ReifiedApi -> Property

prop_concurrent :: ReifiedApi -> Property