lift

Types

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

Fields(
  named: List(#(String, #(Schema(Int), Bool))),
  required: List(String),
)

</>

pub type Lifted =
  Schema(Int)

</>

pub type Primitive {
  Boolean
  Integer
  Number
  String
  Null
  Always
  Never
}

</>

pub type Schema(t) {
  Named(String)
  Primitive(Primitive)
  Array(Schema(Int))
  Tuple(List(Schema(Int)))
  Compound(t)
  Unsupported
}

</>

pub type Top =
  Schema(Fields)

</>

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

</>

pub fn lift(
  schema: oas.Ref(oas.Schema),
) -> #(Schema(Fields), Bool, List(Fields))