binding

Types

Binding

pub type Binding {
  Bound(isomorphic.Type(Int))
  Unbound(level: Int)
}

Constructors

```
Bound(isomorphic.Type(Int))
```
```
Unbound(level: Int)
```

Mono

</>

pub type Mono =
  isomorphic.Type(Int)

Poly

</>

pub type Poly =
  isomorphic.Type(#(Bool, Int))

Values

gen

</>

pub fn gen(
  type_: isomorphic.Type(Int),
  level: Int,
  bindings: dict.Dict(Int, Binding),
) -> isomorphic.Type(#(Bool, Int))

instantiate

</>

pub fn instantiate(
  poly: isomorphic.Type(#(Bool, Int)),
  level: Int,
  bindings: dict.Dict(Int, Binding),
) -> #(isomorphic.Type(Int), dict.Dict(Int, Binding))

mono

</>

pub fn mono(
  level: Int,
  bindings: dict.Dict(Int, Binding),
) -> #(isomorphic.Type(Int), dict.Dict(Int, Binding))

poly

</>

pub fn poly(
  level: Int,
  bindings: dict.Dict(Int, Binding),
) -> #(isomorphic.Type(#(Bool, Int)), dict.Dict(Int, Binding))

resolve

</>

pub fn resolve(
  type_: isomorphic.Type(Int),
  bindings: dict.Dict(Int, Binding),
) -> isomorphic.Type(Int)