diamond property : A special instance of confluence in rewriting systems, where all rewrites are single steps. The diamond property implies (strong) confluence, but not vice-versa.
A Servant model of the confluence REST API, and some convenience client functions and a mock-up server.