gleamunison/bootstraps

Types

pub type BootstrapDef {
  BAbility(name: String, ops: List(BootstrapOp))
  BTerm(name: String, ref: identity.DefinitionRef)
}

BAbility(name: String, ops: List(BootstrapOp))

BTerm(name: String, ref: identity.DefinitionRef)

</>

pub type BootstrapOp {
  BOp(
    name: String,
    inputs: List(BootstrapType),
    output: BootstrapType,
  )
}

BOp(
  name: String,
  inputs: List(BootstrapType),
  output: BootstrapType,
)

</>

pub type BootstrapType {
  BTInt
  BTFloat
  BTText
  BTList
  BTVar(String)
}

</>

pub fn get_init_defs_data() -> List(BootstrapDef)