pub(all) suberror GenerationFailed {
  GenerationFailed(Array[GenerationProblem])
}

pub(all) suberror SourceFrontendError {
  Rejected(String, String, 
@finos/morphir-ir/versions/v4.SourceLocation
SourceLocation?)
  RejectedSources(Array[SourceProblem])
}

pub(all) struct Artifact {
  path : String
  source : String
  content : String
}

type Backend

pub(all) struct BoundarySelection {
  source : String
  unit_id : String
  input_format : String
  output_format : String
  profile : String?
  read_bytes : Bool
  write_bytes : Bool
}

pub(all) enum BuildPolicy {
  SourceOnly
  Required(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum CompileKind {
  EachFile
  WholeProject
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CompiledUnit {
  source : String
  unit : 
@finos/morphir-engine/data.IRUnit
IRUnit
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Component {
  Native((
@finos/morphir-ir/versions/v4.IRFile
IRFile) -> 
@finos/morphir-engine/data.Rewrite
Rewrite raise)
  JSON((String) -> JSONRewrite raise)
}

pub(all) struct ComponentBoundary {
  name : String
  transport : String
  metadata_policy : String
}

pub(all) struct ContentArtifact {
  path : String
  source : String
  content : 
@finos/morphir-engine/data.Content
Content
  format : String
}

pub(all) struct ContentReport {
  artifacts : Array[ContentArtifact]
  projects : Array[LibraryProject]
  diagnostics : Array[Diagnostic]
  warnings : Array[Diagnostic]
  processed : Int
}

pub(all) struct DataFormat {
  codec : String
  extensions : Array[String]
  suffix : String
  binary : Bool
}

pub(all) struct Diagnostic {
  path : String
  stage : String
  message : String
  details : 
@finos/morphir-execution/diagnostics.Warning
Warning?
  problem : Problem?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub struct Engine {
  // private fields
}

type Frontend

pub(all) struct GeneratedFile {
  path : String
  content : 
@finos/morphir-engine/data.Content
Content
  format : String
}

pub(all) struct GeneratedProject {
  id : String
  root : String
  members : Array[String]
  dependencies : Array[ProjectDependency]
  build_contract : String
}

pub(all) struct GenerationBackend {
  generate : (
@finos/morphir-engine/data.IRUnit
IRUnit, 
@moonbitlang/core/json.Json
Json, () -> Bool) -> GenerationBatch raise
  write_bytes : Bool
  validate_options : (
@moonbitlang/core/json.Json
Json) -> Unit raise
  targets : Array[String]
}

pub(all) struct GenerationBatch {
  warnings : Array[String]
  structured_warnings : Array[
@finos/morphir-execution/diagnostics.Warning
Warning]
  files : Array[GeneratedFile]
  projects : Array[GeneratedProject]
}

pub(all) struct GenerationProblem {
  code : String
  node_path : String
  detail : String
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Host {
  read : (String) -> String raise
  exists : (String) -> Bool raise
  list : (String) -> Array[String] raise
}

pub(all) enum Input {
  File(String)
  Directory(String)
  Project(String)
  Workspace(String)
}

pub(all) struct JSONRewrite {
  content : String
  lineage : 
@finos/morphir-engine/data.Lineage
Lineage?
}

pub(all) struct LanguageOffer {
  language : 
@finos/morphir-engine/ids.LanguageId
LanguageId
  provider : 
@finos/morphir-engine/ids.ProviderId
ProviderId
  extensions : Array[
@finos/morphir-engine/ids.FileExtension
FileExtension]
  default_profile : 
@finos/morphir-engine/ids.ProfileId
ProfileId?
  profiles : Array[ProfileOffer]
}

pub(all) struct LibraryProject {
  id : String
  source : String
  root : String
  members : Array[String]
  dependencies : Array[ProjectDependency]
  build_contract : String
  policy : BuildPolicy
}

pub struct Plan {
  output_root : String
  // private fields
}

pub(all) enum Problem {
  Source(SourceProblem)
  Generation(GenerationProblem)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ProfileOffer {
  id : 
@finos/morphir-engine/ids.ProfileId
ProfileId
  compile : CompileKind
  capabilities : SourceCapabilities?
  evidence : SourceEvidence
  unit_limits : 
@finos/morphir-engine/data.Limits
Limits?
}

pub(all) struct ProjectDependency {
  module_name : String
  version : String
  api_profile : String
  semantic_pin : String
}

pub(all) struct ProjectInfo {
  name : String
  relative_path : String
  frontend : String?
  target : String?
  error : String?
}

pub(all) struct ProjectMetadataScope {
  workspace_root : String
  project_root : String
  project_name : String
  request : 
@finos/morphir-engine/config.MetadataProviderRequest
MetadataProviderRequest
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ProjectSources {
  package_name : 
@finos/morphir-engine/ids.SourcePackageName
SourcePackageName
  exposed_modules : Array[
@finos/morphir-engine/ids.SourceModuleName
SourceModuleName]
  sources : Array[Source]
}

pub(all) struct Report {
  artifacts : Array[Artifact]
  diagnostics : Array[Diagnostic]
  processed : Int
}

pub(all) struct Request {
  selector : String
  all : Bool
  invocation : String
  file : String?
  directory : String?
  script : String
  overlay : 
@finos/morphir-engine/config.Document
Document
}

pub(all) struct Source {
  path : String
  relative_path : String
  content : String
  package_name : String
  module_name : String
}

pub(all) struct SourceCapabilities {
  summary : String
  supported : Array[String]
  excluded : Array[String]
  max_documents : Int?
  incremental : Bool
  limits : Map[String, Int]
}

pub(all) enum SourceCompile {
  PerFile((Source, String, () -> Bool) -> 
@finos/morphir-engine/data.IRUnit
IRUnit raise)
  PerProject((ProjectSources, String, () -> Bool) -> 
@finos/morphir-engine/data.IRUnit
IRUnit raise)
}

pub(all) enum SourceEvidence {
  Declared
  LocalAcceptance
}

pub(all) struct SourceFrontendSelection {
  source : String
  unit_id : String
  frontend : String
  language : String
  provider : String
  profile : String?
  default_profile : Bool
  available_profiles : Array[String]
  capabilities : SourceCapabilities?
  evidence : SourceEvidence
  dependencies : Map[String, String]
  output_contract : String
}

pub(all) struct SourceLanguage {
  id : 
@finos/morphir-engine/ids.LanguageId
LanguageId
  extensions : Array[
@finos/morphir-engine/ids.FileExtension
FileExtension]
  default_profile : 
@finos/morphir-engine/ids.ProfileId
ProfileId
  profiles : Array[SourceProfile]
}

pub(all) struct SourceProblem {
  code : String
  detail : String
  path : String
  location : 
@finos/morphir-ir/versions/v4.SourceLocation
SourceLocation?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SourceProfile {
  id : 
@finos/morphir-engine/ids.ProfileId
ProfileId
  capabilities : SourceCapabilities
  evidence : SourceEvidence
  dependencies : Map[String, String]
  compile : SourceCompile
  unit_limits : 
@finos/morphir-engine/data.Limits
Limits
}

pub(all) struct SourceProvider {
  id : 
@finos/morphir-engine/ids.ProviderId
ProviderId
  languages : Array[SourceLanguage]
}

fn infer_unit(unit : 
@finos/morphir-engine/data.IRUnit
IRUnit, mode : 
@finos/morphir-typing.Mode
Mode, checkpoint : Bool) -> 
@finos/morphir-engine/data.IRUnit
IRUnit raise