SoccerFun-0.3.5: Football simulation framework for teaching functional programming
SoccerFun.Field
Synopsis
data Field Source
Constructors
Fields
width of ball field (64m <=width <=75m)
height of ball field (100m<=height<=110m)
Instances
type FieldWidth = MetreSource
type FieldLength = MetreSource
defaultField :: FieldSource
inPenaltyArea :: Field -> Home -> Position -> BoolSource
data Home Source
isWest :: Home -> BoolSource
isEast :: Home -> BoolSource
goalPoles :: Field -> (Metre, Metre)Source
goalPoles yields the py coordinates of the north pole and south pole of the goal (note that north < south).