🥮 mooncakes.io
    Sign in

    moonchor

    Choreographic programming library for MoonBit.

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

    #Moonchor: Choreographic Programming Library for MoonBit

    #Todo

    Location

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

    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::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, L]

    NetworkConfig

    source
    type NetworkConfig

    Unwrapper

    source
    type Unwrapper[L]

    Unwrapper::unwrap

    source
    fn Unwrapper::unwrap[T, L](self : 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]

    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

    unwrap

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

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io