lift

Types

ContentId

A unique id from hashing the fields contents of an anonymous object

pub type ContentId {
  ContentId(first: String, rest: String)
}

Constructors

```
ContentId(first: String, rest: String)
```

Fields

</>

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

Constructors

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

Lifted

</>

pub type Lifted =
  Schema(ContentId)

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

Constructors

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

Top

</>

pub type Top =
  Schema(Fields)

Values

content_id_to_fn_prefix

</>

pub fn content_id_to_fn_prefix(id: ContentId) -> String

content_id_to_type

</>

pub fn content_id_to_type(id: ContentId) -> String

do_lift

</>

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