isomorphic

Types

Type

pub type Type(var) {
  Var(key: var)
  Fun(Type(var), Type(var), Type(var))
  Binary
  Integer
  String
  List(Type(var))
  Record(Type(var))
  Union(Type(var))
  Empty
  RowExtend(String, Type(var), Type(var))
  EffectExtend(String, #(Type(var), Type(var)), Type(var))
  Never
  Promise(Type(var))
}

Constructors

```
Var(key: var)
```
```
Fun(Type(var), Type(var), Type(var))
```
```
Binary
```
```
Integer
```
```
String
```
```
List(Type(var))
```
```
Record(Type(var))
```
```
Union(Type(var))
```
```
Empty
```
```
RowExtend(String, Type(var), Type(var))
```

EffectExtend(String, #(Type(var), Type(var)), Type(var))

```
Never
```
```
Promise(Type(var))
```

Values

ast

</>

pub fn ast() -> Type(var)

boolean

</>

pub const boolean: Type(var)

do_rows

</>

pub fn do_rows(
  rows: List(#(String, Type(var))),
  tail: Type(var),
) -> Type(var)

file

</>

pub const file: Type(var)

key_value_list

</>

pub fn key_value_list(inner: Type(var)) -> Type(var)

option

</>

pub fn option(value: Type(var)) -> Type(var)

record

</>

pub fn record(fields: List(#(String, Type(var)))) -> Type(var)

result

</>

pub fn result(value: Type(var), reason: Type(var)) -> Type(var)

rows

</>

pub fn rows(rows: List(#(String, Type(var)))) -> Type(var)

union

</>

pub fn union(fields: List(#(String, Type(var)))) -> Type(var)

unit

</>

pub const unit: Type(var)