lift

Types

Fields

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

Constructors

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

Lifted

</>

pub type Lifted =
  Schema(Int)

Primitive

</>

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

Constructors

```
Boolean
```
```
Integer
```
```
Number
```
```
String
```
```
Null
```
```
Always
```
```
Never
```

Schema

</>

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

Constructors

```
Named(String)
```
```
Primitive(Primitive)
```
```
Array(Schema(Int))
```
```
Tuple(List(Schema(Int)))
```
```
Compound(t)
```
```
Dictionary(Schema(Int))
```
```
Unsupported
```

Top

</>

pub type Top =
  Schema(Fields)

Values

do_lift

</>

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