Safe Haskell	Safe-Inferred
Language	Haskell2010

Tourney.VM.Interpret

Contents

Setting up an interpreter
Looking at updates
Running it

Synopsis

newtype IStateVar = IStateVar {
- var :: TVar IState
}
data IState = IState {
- roundDepth :: !Int
- roundNo :: !RoundNo
- matrix :: !MatchMatrix
- standings :: !(Vector (Points, Player))
- history :: !(MapByRound StandingsUpdate)
}
createIState :: PlayerCount -> STM IStateVar
data StandingsUpdate = StandingsUpdate {
- roundNo :: !RoundNo
- roundDepth :: !Int
- standings :: !(Vector (Points, Player))
}
data StepContinue
- = NeedResults'Sorting !RoundNo !(Vector Match)
- | NeedResults'EndRound !RoundNo !(Vector Match)
- | Continue !StepInfo
tryRunStep :: IStateVar -> TourneyOp -> STM StepContinue

Setting up an interpreter

newtype IStateVar Source #

Interpreter state

Constructors

IStateVar
Fields var :: TVar IState

Instances

Instances details

Eq IStateVar Source #
Instance details Defined in Tourney.VM.Interpret Methods (==) :: IStateVar -> IStateVar -> Bool Source # (/=) :: IStateVar -> IStateVar -> Bool Source #

data IState Source #

Constructors

IState
Fields roundDepth :: !Int roundNo :: !RoundNo matrix :: !MatchMatrix standings :: !(Vector (Points, Player)) history :: !(MapByRound StandingsUpdate)

Instances

Instances details

Generic IState Source #
Instance details Defined in Tourney.VM.Interpret Associated Types type Rep IState :: Type -> Type Source # Methods from :: IState -> Rep IState x Source # to :: Rep IState x -> IState Source #
type Rep IState Source #
Instance details Defined in Tourney.VM.Interpret type Rep IState = D1 ('MetaData "IState" "Tourney.VM.Interpret" "journeyman-0.1.0.0-inplace" 'False) (C1 ('MetaCons "IState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "roundDepth") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "roundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RoundNo)) :: (S1 ('MetaSel ('Just "matrix") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MatchMatrix) :: (S1 ('MetaSel ('Just "standings") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector (Points, Player))) :: S1 ('MetaSel ('Just "history") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MapByRound StandingsUpdate))))))

createIState :: PlayerCount -> STM IStateVar Source #

Looking at updates

data StandingsUpdate Source #

Constructors

StandingsUpdate
Fields roundNo :: !RoundNo roundDepth :: !Int standings :: !(Vector (Points, Player))

Instances

Instances details

Generic StandingsUpdate Source #
Instance details Defined in Tourney.VM.Interpret Associated Types type Rep StandingsUpdate :: Type -> Type Source # Methods from :: StandingsUpdate -> Rep StandingsUpdate x Source # to :: Rep StandingsUpdate x -> StandingsUpdate Source #
Show StandingsUpdate Source #
Instance details Defined in Tourney.VM.Interpret Methods showsPrec :: Int -> StandingsUpdate -> ShowS Source # show :: StandingsUpdate -> String Source # showList :: [StandingsUpdate] -> ShowS Source #
Eq StandingsUpdate Source #
Instance details Defined in Tourney.VM.Interpret Methods (==) :: StandingsUpdate -> StandingsUpdate -> Bool Source # (/=) :: StandingsUpdate -> StandingsUpdate -> Bool Source #
Ord StandingsUpdate Source #
Instance details Defined in Tourney.VM.Interpret Methods compare :: StandingsUpdate -> StandingsUpdate -> Ordering Source # (<) :: StandingsUpdate -> StandingsUpdate -> Bool Source # (<=) :: StandingsUpdate -> StandingsUpdate -> Bool Source # (>) :: StandingsUpdate -> StandingsUpdate -> Bool Source # (>=) :: StandingsUpdate -> StandingsUpdate -> Bool Source # max :: StandingsUpdate -> StandingsUpdate -> StandingsUpdate Source # min :: StandingsUpdate -> StandingsUpdate -> StandingsUpdate Source #
type Rep StandingsUpdate Source #
Instance details Defined in Tourney.VM.Interpret type Rep StandingsUpdate = D1 ('MetaData "StandingsUpdate" "Tourney.VM.Interpret" "journeyman-0.1.0.0-inplace" 'False) (C1 ('MetaCons "StandingsUpdate" 'PrefixI 'True) (S1 ('MetaSel ('Just "roundNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RoundNo) :: (S1 ('MetaSel ('Just "roundDepth") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "standings") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector (Points, Player))))))

Running it

data StepContinue Source #

Constructors

NeedResults'Sorting !RoundNo !(Vector Match)
NeedResults'EndRound !RoundNo !(Vector Match)
Continue !StepInfo

Instances

Instances details

Show StepContinue Source #
Instance details Defined in Tourney.VM.Interpret Methods showsPrec :: Int -> StepContinue -> ShowS Source # show :: StepContinue -> String Source # showList :: [StepContinue] -> ShowS Source #
Eq StepContinue Source #
Instance details Defined in Tourney.VM.Interpret Methods (==) :: StepContinue -> StepContinue -> Bool Source # (/=) :: StepContinue -> StepContinue -> Bool Source #

tryRunStep :: IStateVar -> TourneyOp -> STM StepContinue Source #

Run a step