oas/generator/lift

Types

pub type Fields {
  Fields(
    named: List(#(String, #(Schema(Int), Bool))),
    additional: option.Option(Schema(Int)),
    required: List(String),
  )
}

Constructors

pub type Lifted =
  Schema(Int)
pub type Primitive {
  Boolean
  Integer
  Number
  String
  Null
  Always
  Never
}

Constructors

  • Boolean
  • Integer
  • Number
  • String
  • Null
  • Always
  • Never
pub type Schema(t) {
  Named(String)
  Primitive(Primitive)
  Array(Schema(Int))
  Tuple(List(Schema(Int)))
  Compound(t)
  Dictionary(Schema(Int))
  Unsupported
}

Constructors

pub type Top =
  Schema(Fields)

Values

pub fn do_lift(
  schema: oas.Ref(oas.Schema),
  acc: List(Fields),
) -> #(Schema(Fields), Bool, List(Fields))
Search Document