roboservant-0.1.0.1: Automatic session-aware servant testing

Safe HaskellNone
LanguageHaskell2010

Roboservant.StateMachine

Documentation

prop_sequential :: forall api. (FlattenServer api, ToReifiedApi (Endpoints api)) => Server api -> Property Source #

prop_concurrent :: forall api. (FlattenServer api, ToReifiedApi (Endpoints api)) => Server api -> Property Source #