🥮 mooncakes.io
    Sign in

    moonchor

    Choreographic programming library for MoonBit.

    Choreographic
    MoonBit
    Download zip
    Author
    Version
    0.2.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
    }

    AIter

    source
    type AIter[T]

    AIter::each

    source
    fn AIter::each[T](self : AIter[T], f : (T) -> Unit) -> Unit

    AIter2

    source
    type AIter2[A, B]

    AIter2::each

    source
    fn AIter2::each[A, B](self : AIter2[A, B], f : (A, B) -> Unit) -> Unit

    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::locally

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

    Located

    source
    type Located[T, _]

    NetworkConfig

    source
    type NetworkConfig

    Unwrapper

    source
    type Unwrapper[_]

    Unwrapper::unwrap

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

    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

    into_aiter

    source
    fn into_aiter[T](iter : Iter[T]) -> AIter[T]

    into_aiter2

    source
    fn into_aiter2[A, B](iter : Iter2[A, B]) -> AIter2[A, B]

    locally

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

    make_local_config

    source
    fn make_local_config(locations : Array[Location]) -> NetworkConfig

    run_choreo

    source
    fn run_choreo[T, L : Location + Show + Hash](config : NetworkConfig, choreography : (ChoreoContext) -> T, role : L) -> T

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io