Our "logical" rules of Go [1] can be translated pretty directly into Haskell (links below rules).

[1] https://tromp.github.io/go.html