| License | BSD-3-Clause |
|---|---|
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Swarm.Web.Tournament.Validate
Contents
Description
Validates an uploaded scenario
Synopsis
- newtype SolutionTimeout = SolutionTimeout Seconds
- data CommonValidationArgs m a = CommonValidationArgs SolutionTimeout (PersistenceArgs m a)
- validateScenarioUpload :: CommonValidationArgs IO ScenarioUploadResponsePayload -> Sha1 -> IO (Either ScenarioUploadValidationFailure ScenarioCharacterization)
- validateSubmittedSolution :: CommonValidationArgs IO SolutionUploadResponsePayload -> (Sha1 -> IO (Maybe ByteString)) -> IO (Either SolutionSubmissionFailure SolutionFileCharacterization)
- initScenarioObjectWithEnv :: ByteString -> ExceptT ScenarioInstantiationFailure IO Scenario
- initScenarioObject :: ScenarioInputs -> ByteString -> ExceptT ScenarioInstantiationFailure IO Scenario
- gamestateFromScenarioText :: ByteString -> ExceptT ScenarioInstantiationFailure IO (GameState, Scenario)
- verifySolution :: SolutionTimeout -> TSyntax -> GameState -> ExceptT SolutionEvaluationFailure IO SolutionCharacterization
Documentation
newtype SolutionTimeout Source #
Constructors
| SolutionTimeout Seconds |
data CommonValidationArgs m a Source #
Constructors
| CommonValidationArgs SolutionTimeout (PersistenceArgs m a) |
validateScenarioUpload Source #
Arguments
| :: CommonValidationArgs IO ScenarioUploadResponsePayload | |
| -> Sha1 | Game version |
| -> IO (Either ScenarioUploadValidationFailure ScenarioCharacterization) |
validateSubmittedSolution Source #
Arguments
| :: CommonValidationArgs IO SolutionUploadResponsePayload | |
| -> (Sha1 -> IO (Maybe ByteString)) | Scenario lookup function |
| -> IO (Either SolutionSubmissionFailure SolutionFileCharacterization) |
Utils
initScenarioObjectWithEnv :: ByteString -> ExceptT ScenarioInstantiationFailure IO Scenario Source #
initScenarioObject :: ScenarioInputs -> ByteString -> ExceptT ScenarioInstantiationFailure IO Scenario Source #
gamestateFromScenarioText :: ByteString -> ExceptT ScenarioInstantiationFailure IO (GameState, Scenario) Source #
verifySolution :: SolutionTimeout -> TSyntax -> GameState -> ExceptT SolutionEvaluationFailure IO SolutionCharacterization Source #