Swarm.Web.Tournament.Type

Types for Swarm tournaments.

Documentation

newtype UserAlias

Constructors

UserAlias Text

Instances

ToJSON UserAlias

Defined in Swarm.Web.Tournament.Type

Methods

toJSON :: UserAlias -> Value

toEncoding :: UserAlias -> Encoding

toJSONList :: [UserAlias] -> Value

toEncodingList :: [UserAlias] -> Encoding

omitField :: UserAlias -> Bool

Generic UserAlias

Defined in Swarm.Web.Tournament.Type

Associated Types

type Rep UserAlias :: Type -> Type

Methods

from :: UserAlias -> Rep UserAlias x

to :: Rep UserAlias x -> UserAlias

ToField UserAlias

Defined in Swarm.Web.Tournament.Type

Methods

toField :: UserAlias -> SQLData

type Rep UserAlias

Defined in Swarm.Web.Tournament.Type

type Rep UserAlias = D1 ('MetaData "UserAlias" "Swarm.Web.Tournament.Type" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-tournament" 'True) (C1 ('MetaCons "UserAlias" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data FileMetadata

Constructors

FileMetadata

Fields

• filename :: Text
• fileHash :: Sha1

Instances

ToJSON FileMetadata

Defined in Swarm.Web.Tournament.Type

Methods

toJSON :: FileMetadata -> Value

toEncoding :: FileMetadata -> Encoding

toJSONList :: [FileMetadata] -> Value

toEncodingList :: [FileMetadata] -> Encoding

omitField :: FileMetadata -> Bool

Generic FileMetadata

Defined in Swarm.Web.Tournament.Type

Associated Types

type Rep FileMetadata :: Type -> Type

Methods

from :: FileMetadata -> Rep FileMetadata x

to :: Rep FileMetadata x -> FileMetadata

type Rep FileMetadata

Defined in Swarm.Web.Tournament.Type

type Rep FileMetadata = D1 ('MetaData "FileMetadata" "Swarm.Web.Tournament.Type" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-tournament" 'False) (C1 ('MetaCons "FileMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "filename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "fileHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sha1)))

data FileUpload

Constructors

FileUpload

Fields

• fileContent :: ByteString
• fileMetadata :: FileMetadata

data TournamentGame

Constructors

TournamentGame

Fields

• originalFilename :: Text
• scenarioUploader :: Text
• scenarioHash :: Sha1
• submissionCount :: Int
• swarmGitSha1 :: Sha1
• scenarioTitle :: Text

Instances

ToJSON TournamentGame

Defined in Swarm.Web.Tournament.Type

Methods

toJSON :: TournamentGame -> Value

toEncoding :: TournamentGame -> Encoding

toJSONList :: [TournamentGame] -> Value

toEncodingList :: [TournamentGame] -> Encoding

omitField :: TournamentGame -> Bool

Generic TournamentGame

Defined in Swarm.Web.Tournament.Type

Associated Types

type Rep TournamentGame :: Type -> Type

Methods

from :: TournamentGame -> Rep TournamentGame x

to :: Rep TournamentGame x -> TournamentGame

FromRow TournamentGame

Defined in Swarm.Web.Tournament.Database.Query

Methods

fromRow :: RowParser TournamentGame

type Rep TournamentGame

Defined in Swarm.Web.Tournament.Type

type Rep TournamentGame = D1 ('MetaData "TournamentGame" "Swarm.Web.Tournament.Type" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-tournament" 'False) (C1 ('MetaCons "TournamentGame" 'PrefixI 'True) ((S1 ('MetaSel ('Just "originalFilename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "scenarioUploader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "scenarioHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sha1))) :*: (S1 ('MetaSel ('Just "submissionCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "swarmGitSha1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sha1) :*: S1 ('MetaSel ('Just "scenarioTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

data TournamentSolution

Constructors

TournamentSolution

Fields

• submissionTime :: UTCTime
• solutionSubmitter :: Text
• submissionScore :: SolutionFileCharacterization

Instances

ToJSON TournamentSolution

Defined in Swarm.Web.Tournament.Type

Methods

toJSON :: TournamentSolution -> Value

toEncoding :: TournamentSolution -> Encoding

toJSONList :: [TournamentSolution] -> Value

toEncodingList :: [TournamentSolution] -> Encoding

omitField :: TournamentSolution -> Bool

Generic TournamentSolution

Defined in Swarm.Web.Tournament.Type

Associated Types

type Rep TournamentSolution :: Type -> Type

Methods

from :: TournamentSolution -> Rep TournamentSolution x

to :: Rep TournamentSolution x -> TournamentSolution

FromRow TournamentSolution

Defined in Swarm.Web.Tournament.Database.Query

Methods

fromRow :: RowParser TournamentSolution

type Rep TournamentSolution

Defined in Swarm.Web.Tournament.Type

type Rep TournamentSolution = D1 ('MetaData "TournamentSolution" "Swarm.Web.Tournament.Type" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-tournament" 'False) (C1 ('MetaCons "TournamentSolution" 'PrefixI 'True) (S1 ('MetaSel ('Just "submissionTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: (S1 ('MetaSel ('Just "solutionSubmitter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "submissionScore") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SolutionFileCharacterization))))

data GameWithSolutions

Constructors

GameWithSolutions

Fields

• theGame :: TournamentGame
• theSolutions :: [TournamentSolution]

Instances

ToJSON GameWithSolutions

Defined in Swarm.Web.Tournament.Type

Methods

toJSON :: GameWithSolutions -> Value

toEncoding :: GameWithSolutions -> Encoding

toJSONList :: [GameWithSolutions] -> Value

toEncodingList :: [GameWithSolutions] -> Encoding

omitField :: GameWithSolutions -> Bool

Generic GameWithSolutions

Defined in Swarm.Web.Tournament.Type

Associated Types

type Rep GameWithSolutions :: Type -> Type

Methods

from :: GameWithSolutions -> Rep GameWithSolutions x

to :: Rep GameWithSolutions x -> GameWithSolutions

type Rep GameWithSolutions

Defined in Swarm.Web.Tournament.Type

type Rep GameWithSolutions = D1 ('MetaData "GameWithSolutions" "Swarm.Web.Tournament.Type" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-tournament" 'False) (C1 ('MetaCons "GameWithSolutions" 'PrefixI 'True) (S1 ('MetaSel ('Just "theGame") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TournamentGame) :*: S1 ('MetaSel ('Just "theSolutions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TournamentSolution])))

data AssociatedSolutionCharacterization

Constructors

AssociatedSolutionCharacterization

Fields

• forScenario :: Sha1
• characterization :: SolutionCharacterization

Instances

FromRow AssociatedSolutionCharacterization

Defined in Swarm.Web.Tournament.Database.Query

Methods

fromRow :: RowParser AssociatedSolutionCharacterization

data SolutionCharacterization

Constructors

SolutionCharacterization

Fields

• solutionWallTime :: Seconds
• solutionTicks :: TickNumber
• scenarioSeed :: Seed
• solutionCodeMetrics :: ScenarioCodeMetrics

Instances

ToJSON SolutionCharacterization

Defined in Swarm.Web.Tournament.Type

Methods

toJSON :: SolutionCharacterization -> Value

toEncoding :: SolutionCharacterization -> Encoding

toJSONList :: [SolutionCharacterization] -> Value

toEncodingList :: [SolutionCharacterization] -> Encoding

omitField :: SolutionCharacterization -> Bool

Generic SolutionCharacterization

Defined in Swarm.Web.Tournament.Type

Associated Types

type Rep SolutionCharacterization :: Type -> Type

Methods

from :: SolutionCharacterization -> Rep SolutionCharacterization x

to :: Rep SolutionCharacterization x -> SolutionCharacterization

FromRow SolutionCharacterization

Defined in Swarm.Web.Tournament.Database.Query

Methods

fromRow :: RowParser SolutionCharacterization

type Rep SolutionCharacterization

Defined in Swarm.Web.Tournament.Type

type Rep SolutionCharacterization = D1 ('MetaData "SolutionCharacterization" "Swarm.Web.Tournament.Type" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-tournament" 'False) (C1 ('MetaCons "SolutionCharacterization" 'PrefixI 'True) ((S1 ('MetaSel ('Just "solutionWallTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Seconds) :*: S1 ('MetaSel ('Just "solutionTicks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TickNumber)) :*: (S1 ('MetaSel ('Just "scenarioSeed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Seed) :*: S1 ('MetaSel ('Just "solutionCodeMetrics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScenarioCodeMetrics))))

data SolutionFileCharacterization

Constructors

SolutionFileCharacterization

Fields

• solutionHash :: Sha1
• solutionCharacterization :: SolutionCharacterization

Instances

ToJSON SolutionFileCharacterization

Defined in Swarm.Web.Tournament.Type

Methods

toJSON :: SolutionFileCharacterization -> Value

toEncoding :: SolutionFileCharacterization -> Encoding

toJSONList :: [SolutionFileCharacterization] -> Value

toEncodingList :: [SolutionFileCharacterization] -> Encoding

omitField :: SolutionFileCharacterization -> Bool

Generic SolutionFileCharacterization

Defined in Swarm.Web.Tournament.Type

Associated Types

type Rep SolutionFileCharacterization :: Type -> Type

Methods

from :: SolutionFileCharacterization -> Rep SolutionFileCharacterization x

to :: Rep SolutionFileCharacterization x -> SolutionFileCharacterization

FromRow SolutionFileCharacterization

Defined in Swarm.Web.Tournament.Database.Query

Methods

fromRow :: RowParser SolutionFileCharacterization

type Rep SolutionFileCharacterization

Defined in Swarm.Web.Tournament.Type

type Rep SolutionFileCharacterization = D1 ('MetaData "SolutionFileCharacterization" "Swarm.Web.Tournament.Type" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-tournament" 'False) (C1 ('MetaCons "SolutionFileCharacterization" 'PrefixI 'True) (S1 ('MetaSel ('Just "solutionHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sha1) :*: S1 ('MetaSel ('Just "solutionCharacterization") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SolutionCharacterization)))

data ScenarioCharacterization

Constructors

ScenarioCharacterization

Fields

• scenarioFileMetadata :: FileMetadata
• builtinSolution :: SolutionCharacterization

Instances

ToJSON ScenarioCharacterization

Defined in Swarm.Web.Tournament.Type

Methods

toJSON :: ScenarioCharacterization -> Value

toEncoding :: ScenarioCharacterization -> Encoding

toJSONList :: [ScenarioCharacterization] -> Value

toEncodingList :: [ScenarioCharacterization] -> Encoding

omitField :: ScenarioCharacterization -> Bool

Generic ScenarioCharacterization

Defined in Swarm.Web.Tournament.Type

Associated Types

type Rep ScenarioCharacterization :: Type -> Type

Methods

from :: ScenarioCharacterization -> Rep ScenarioCharacterization x

to :: Rep ScenarioCharacterization x -> ScenarioCharacterization

type Rep ScenarioCharacterization

Defined in Swarm.Web.Tournament.Type

type Rep ScenarioCharacterization = D1 ('MetaData "ScenarioCharacterization" "Swarm.Web.Tournament.Type" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-tournament" 'False) (C1 ('MetaCons "ScenarioCharacterization" 'PrefixI 'True) (S1 ('MetaSel ('Just "scenarioFileMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileMetadata) :*: S1 ('MetaSel ('Just "builtinSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SolutionCharacterization)))

Orphan instances

FromHttpApiData Sha1

Methods

parseUrlPiece :: Text -> Either Text Sha1

parseHeader :: ByteString -> Either Text Sha1

parseQueryParam :: Text -> Either Text Sha1

ToField Sha1

Methods

toField :: Sha1 -> SQLData

ToCapture (Capture "sha1" Sha1)

Methods

toCapture :: Proxy (Capture "sha1" Sha1) -> DocCapture