SoccerFun-0.4: Football simulation framework for teaching functional programming

SoccerFun.Field

Synopsis

Documentation

data Field Source

Constructors

Field
Fields fwidth :: FieldWidth width of ball field (64m <=width <=75m) flength :: FieldLength height of ball field (100m<=height<=110m)

Instances

Show Field
Binary Field

type FieldWidth = Metre Source

type FieldLength = Metre Source

defaultField :: Field Source

inPenaltyArea :: Field -> Home -> Position -> Bool Source

data Home Source

Constructors

West
East

Instances

Eq Home
Show Home
Other Home

isWest :: Home -> Bool Source

isEast :: Home -> Bool Source

goalPoles :: Field -> (Metre, Metre)Source

goalPoles yields the py coordinates of the north pole and south pole of the goal (note that north < south).