🥮 mooncakes.io
    Sign in

    moonchor

    Choreographic programming library for MoonBit.

    Choreographic
    MoonBit
    Download zip
    Author
    Version
    0.4.0
    License
    Apache-2.0
    Repository
    Last updated
    last year
    Downloads
    145

    #Moonchor: Choreographic Programming Library for MoonBit

    #Todo

    Location

    source
    pub(open) trait Location : Show + Hash {
      name(Self) -> String
    }

    Logger

    source
    pub trait Logger {
      info(Self, String) -> Unit
    }

    Backend

    source
    type Backend

    Backend::check_location

    source
    fn Backend::check_location(self : Backend, loc : Location) -> Bool

    Backend::get_logger

    source
    fn Backend::get_logger(self : Backend) -> Logger

    ChoreoContext

    source
    type ChoreoContext

    ChoreoContext::comm

    source
    fn ChoreoContext::comm[T : 
    FromJson     + ToJson, From : Location + Show + Hash, To : Location + Show + Hash](self : ChoreoContext, from : From, to : To, value : Located[T, From]) -> Located[T, To]

    ChoreoContext::condition

    source
    fn ChoreoContext::condition[L : Location + Show + Hash](self : ChoreoContext, loc : L, c : Located[Bool, L]) -> Bool

    ChoreoContext::get_location

    source
    fn ChoreoContext::get_location[L : Location + Show + Hash](self : ChoreoContext, loc : L) -> L

    ChoreoContext::locally

    source
    fn ChoreoContext::locally[T, L : Location + Show + Hash](self : ChoreoContext, location : L, computation : (Unwrapper[L]) -> T) -> Located[T, L]

    ConsoleLogger

    source
    type ConsoleLogger

    Located

    source
    type Located[T, _]

    MuteLogger

    source
    type MuteLogger

    Unwrapper

    source
    type Unwrapper[_]

    Unwrapper::unwrap

    source
    fn Unwrapper::unwrap[T, L](_ : Unwrapper[L], v : Located[T, L]) -> T

    async_each

    source
    fn async_each[T](iter : Iter[T], f : (T) -> Unit) -> Unit

    async_each2

    source
    fn async_each2[A, B](iter : Iter2[A, B], f : (A, B) -> Unit) -> Unit

    check_location

    source
    fn check_location(self : Backend, loc : Location) -> Bool

    comm

    source
    fn comm[T : 
    FromJson     + ToJson, From : Location + Show + Hash, To : Location + Show + Hash](self : ChoreoContext, from : From, to : To, value : Located[T, From]) -> Located[T, To]

    condition

    source
    fn condition[L : Location + Show + Hash](self : ChoreoContext, loc : L, c : Located[Bool, L]) -> Bool

    get_location

    source
    fn get_location[L : Location + Show + Hash](self : ChoreoContext, loc : L) -> L

    get_logger

    source
    fn get_logger(self : Backend) -> Logger

    locally

    source
    fn locally[T, L : Location + Show + Hash](self : ChoreoContext, location : L, computation : (Unwrapper[L]) -> T) -> Located[T, L]

    make_console_logger

    source
    fn make_console_logger() -> ConsoleLogger

    make_local_backend

    source
    fn make_local_backend(locations : Array[Location], logger~ : Logger = ..) -> Backend

    make_mute_logger

    source
    fn make_mute_logger() -> MuteLogger

    run_choreo

    source
    fn run_choreo[T, L : Location + Show + Hash](backend : Backend, choreography : (ChoreoContext) -> T, role : L, logger? : Logger) -> T

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io