Choreography

This is just a wrapper module to allow more concise imports. For documentation, you should probably start in Choreography.Core.

Documentation

module Choreography.Core

module Choreography.Choreography

module Choreography.Choreography.Batteries

module Choreography.Locations

module Choreography.Locations.Batteries

module Choreography.Network

module Choreography.Polymorphism

Running choreographies

runChoreography :: (Backend config, MonadIO m, KnownSymbols ps) => config -> Choreo ps m a -> LocTm -> m a

Run a choreography with a message transport backend...