pub type Fields {
  Fields(
    named: List(#(String, #(Lifted, Bool))),
    additional: Option(Lifted),
    required: List(String),
  )
}

Constructors

• Fields(
    named: List(#(String, #(Lifted, Bool))),
    additional: Option(Lifted),
    required: List(String),
  )

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(Lifted)
  Tuple(List(Lifted))
  Compound(t)
  Dictionary(Lifted)
  Unsupported
}

Constructors

• Named(String)

• Primitive(Primitive)

• Array(Lifted)

• Tuple(List(Lifted))

• Compound(t)

• Dictionary(Lifted)

• Unsupported

pub type Top =
  Schema(Fields)