gf-book/examples/chapter7/Map.gf


1
2
3
4
5
6
7
8
9
10

abstract Map = {
flags startcat = Query ;
cat
  Query ; Input ; Place ; Click ;
fun
  GoFromTo   : Place -> Place -> Input ;
  ThisPlace  : Click -> Place ;
  QueryInput : Input -> Query ;
  ClickCoord : Int -> Int -> Click ;
}