🥮 mooncakes.io

/

/

README
- ::equalDiagnostic::equal
- ::errorDiagnostic::error
- ::not_equalDiagnostic::not_equal
- ::to_reprDiagnostic::to_repr
- ::warningDiagnostic::warning
- ::equalPosition::equal
- ::not_equalPosition::not_equal
- ::to_reprPosition::to_repr
- ::equalSeverity::equal
- ::not_equalSeverity::not_equal
- ::to_reprSeverity::to_repr
- ::equalSpan::equal
- ::not_equalSpan::not_equal
- ::to_reprSpan::to_repr
V
version

#Architecture values

Architecture values retain authored identities and explicit connections. Constructors copy collections. Parent ownership, ports, independent arrowheads, parallel connection identities and ordered alignments remain separate values.

///|
test "architecture constructors" {
  let services = [
    @architecture.Service::new("api"),
    @architecture.Service::new("db"),
  ]
  let edge = @architecture.Connection::new(
    "request",
    @architecture.Endpoint::new("api", Right),
    @architecture.Endpoint::new("db", Left),
    target_head=true,
  )
  let architecture = @architecture.Architecture::new("example", services[:], [
    edge,
  ])
  assert_eq(@architecture.validate(architecture).length(), 0)
}

validate has explicit node, connection, depth and work limits. It reports missing/duplicate identities, invalid parents, ownership cycles, invalid endpoints, unowned group attachments and invalid alignment members. Validation does not invent nodes or repair ownership. No syntax, renderer or host API is required to construct or validate a model.

Alignment

pub struct Alignment {
  axis : Axis
  members : ReadOnlyArray[String]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Alignment::equal

fn Alignment::equal(Alignment, Alignment) -> Bool

Alignment::new

fn Alignment::new(axis : Axis, members : ArrayView[String]) -> Alignment

Alignment::not_equal

fn Alignment::not_equal(x : Alignment, y : Alignment) -> Bool

Alignment::to_repr

fn Alignment::to_repr(Alignment) -> @moonbitlang/core/debug.Repr
Repr

Architecture

pub struct Architecture {
  id : String
  groups : ReadOnlyArray[Group]
  services : ReadOnlyArray[Service]
  junctions : ReadOnlyArray[Junction]
  connections : ReadOnlyArray[Connection]
  alignments : ReadOnlyArray[Alignment]
  title : String?
  accessibility_title : String?
  accessibility_description : String?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Architecture::equal

fn Architecture::equal(Architecture, Architecture) -> Bool

Architecture::new

fn Architecture::new(id : String, services : ArrayView[Service], connections : ArrayView[Connection], groups? : ArrayView[Group], junctions? : ArrayView[Junction], alignments? : ArrayView[Alignment], title? : String, accessibility_title? : String, accessibility_description? : String) -> Architecture

Architecture::not_equal

fn Architecture::not_equal(x : Architecture, y : Architecture) -> Bool

Architecture::to_repr

fn Architecture::to_repr(Architecture) -> @moonbitlang/core/debug.Repr
Repr

Axis

pub(all) enum Axis {
  Row
  Column
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Axis::equal

fn Axis::equal(Axis, Axis) -> Bool

Axis::not_equal

fn Axis::not_equal(x : Axis, y : Axis) -> Bool

Axis::to_repr

fn Axis::to_repr(Axis) -> @moonbitlang/core/debug.Repr
Repr

Connection

pub struct Connection {
  id : String
  source : Endpoint
  target : Endpoint
  label : String?
  source_head : Bool
  target_head : Bool
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Connection::equal

fn Connection::equal(Connection, Connection) -> Bool

Connection::new

fn Connection::new(id : String, source : Endpoint, target : Endpoint, label? : String, source_head? : Bool, target_head? : Bool) -> Connection

Connection::not_equal

fn Connection::not_equal(x : Connection, y : Connection) -> Bool

Connection::to_repr

fn Connection::to_repr(Connection) -> @moonbitlang/core/debug.Repr
Repr

Endpoint

pub struct Endpoint {
  id : String
  side : Side
  group : Bool
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Endpoint::equal

fn Endpoint::equal(Endpoint, Endpoint) -> Bool

Endpoint::new

fn Endpoint::new(id : String, side : Side, group? : Bool) -> Endpoint

Endpoint::not_equal

fn Endpoint::not_equal(x : Endpoint, y : Endpoint) -> Bool

Endpoint::to_repr

fn Endpoint::to_repr(Endpoint) -> @moonbitlang/core/debug.Repr
Repr

Group

pub struct Group {
  id : String
  label : String
  parent : String?
  icon : @moonrockz/diagrams/icons.Reference
Reference?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Group::equal

fn Group::equal(Group, Group) -> Bool

Group::new

fn Group::new(id : String, label? : String, parent? : String, icon? : @moonrockz/diagrams/icons.Reference
Reference) -> Group

Group::not_equal

fn Group::not_equal(x : Group, y : Group) -> Bool

Group::to_repr

fn Group::to_repr(Group) -> @moonbitlang/core/debug.Repr
Repr

Junction

pub struct Junction {
  id : String
  parent : String?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Junction::equal

fn Junction::equal(Junction, Junction) -> Bool

Junction::new

fn Junction::new(id : String, parent? : String) -> Junction

Junction::not_equal

fn Junction::not_equal(x : Junction, y : Junction) -> Bool

Junction::to_repr

fn Junction::to_repr(Junction) -> @moonbitlang/core/debug.Repr
Repr

Service

pub struct Service {
  id : String
  label : String
  parent : String?
  icon : @moonrockz/diagrams/icons.Reference
Reference?
  icon_text : String?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Service::equal

fn Service::equal(Service, Service) -> Bool

Service::new

fn Service::new(id : String, label? : String, parent? : String, icon? : @moonrockz/diagrams/icons.Reference
Reference, icon_text? : String) -> Service

Service::not_equal

fn Service::not_equal(x : Service, y : Service) -> Bool

Service::to_repr

fn Service::to_repr(Service) -> @moonbitlang/core/debug.Repr
Repr

Side

pub(all) enum Side {
  Left
  Right
  Top
  Bottom
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Side::equal

fn Side::equal(Side, Side) -> Bool

Side::not_equal

fn Side::not_equal(x : Side, y : Side) -> Bool

Side::to_repr

fn Side::to_repr(Side) -> @moonbitlang/core/debug.Repr
Repr

Side::to_string

fn Side::to_string(self : Side) -> String

validate

fn validate(model : Architecture, nodes_limit? : Int, edges_limit? : Int, depth_limit? : Int, work_limit? : Int) -> ReadOnlyArray[@moonrockz/diagrams.Diagnostic
Diagnostic]

Source Files

model.mbt

Powered by MoonBit

Site source Report issue Packages Build queue Skills Statistics

© 2026 mooncakes.io