- data RefereeAction
- = ReprimandPlayer PlayerID Reprimand
- | Hands PlayerID
- | TackleDetected PlayerID
- | SchwalbeDetected PlayerID
- | TheaterDetected PlayerID
- | DangerousPlay PlayerID
- | GameOver
- | PauseGame
- | AddTime ExtraTime
- | EndHalf
- | Goal ATeam
- | Offside PlayerID
- | DirectFreeKick ATeam Position
- | GoalKick ATeam
- | Corner ATeam Edge
- | ThrowIn ATeam Position
- | Penalty ATeam
- | CenterKick ATeam
- | Advantage ATeam
- | OwnBallIllegally PlayerID
- | DisplacePlayers Displacements
- | ContinueGame
- | TellMessage String
- isReprimandPlayer :: RefereeAction -> Bool
- isHands :: RefereeAction -> Bool
- isTackleDetected :: RefereeAction -> Bool
- isSchwalbeDetected :: RefereeAction -> Bool
- isTheaterDetected :: RefereeAction -> Bool
- isDangerousPlay :: RefereeAction -> Bool
- isGameOver :: RefereeAction -> Bool
- isPauseGame :: RefereeAction -> Bool
- isAddTime :: RefereeAction -> Bool
- isEndHalf :: RefereeAction -> Bool
- isGoal :: RefereeAction -> Bool
- isOffside :: RefereeAction -> Bool
- isDirectFreeKick :: RefereeAction -> Bool
- isGoalKick :: RefereeAction -> Bool
- isCorner :: RefereeAction -> Bool
- isThrowIn :: RefereeAction -> Bool
- isPenalty :: RefereeAction -> Bool
- isCenterKick :: RefereeAction -> Bool
- isAdvantage :: RefereeAction -> Bool
- isOwnBallIllegally :: RefereeAction -> Bool
- isDisplacePlayers :: RefereeAction -> Bool
- isContinueGame :: RefereeAction -> Bool
- isTellMessage :: RefereeAction -> Bool
- isGoal4ATeam :: ATeam -> RefereeAction -> Bool
- getKickPos :: Field -> Half -> RefereeAction -> Maybe Position
Documentation
data RefereeAction Source
ReprimandPlayer PlayerID Reprimand | player with given name receives reprimand |
Hands PlayerID | person is seen for doing hands |
TackleDetected PlayerID | person is seen for doing tackle |
SchwalbeDetected PlayerID | person is seen for doing schwalbe |
TheaterDetected PlayerID | |
DangerousPlay PlayerID | person is seen for doing dangerous actions |
GameOver | end of game |
PauseGame | game is paused |
AddTime ExtraTime | extra time is added to the game |
EndHalf | first half is over, teams go for a second half |
Goal ATeam | team playing at home has scored |
Offside PlayerID | player is offside at Home |
DirectFreeKick ATeam Position | a direct free kick is granted for team home at given position |
GoalKick ATeam | a goal kick is granted for team home |
Corner ATeam Edge | a corner kick is granted for team home |
ThrowIn ATeam Position | a throw in ball is granted for team home at given position |
Penalty ATeam | penalty at homeside |
CenterKick ATeam | team playing at home may start from the center |
Advantage ATeam | referee gives advantages to home-team |
OwnBallIllegally PlayerID | ball was for the other team |
DisplacePlayers Displacements | displaces all players at the provided position (used with free kicks) |
ContinueGame | |
TellMessage String | no effect on match, message is displayed by referee |
isHands :: RefereeAction -> BoolSource
isAddTime :: RefereeAction -> BoolSource
isEndHalf :: RefereeAction -> BoolSource
isGoal :: RefereeAction -> BoolSource
isOffside :: RefereeAction -> BoolSource
isCorner :: RefereeAction -> BoolSource
isThrowIn :: RefereeAction -> BoolSource
isPenalty :: RefereeAction -> BoolSource
isGoal4ATeam :: ATeam -> RefereeAction -> BoolSource
getKickPos :: Field -> Half -> RefereeAction -> Maybe PositionSource
Position of a referee-granted action like a throw-in, a corner kick, etc.