types

Types

Field

pub type Field {
  Field(name: String, field_type: GleamType)
}

Constructors

Field(name: String, field_type: GleamType)

GleamType

</>

pub type GleamType {
  AnonymousType(String)
  NilType
  IntType
  TupleType(elements: List(GleamType))
  ListType(list_type: GleamType)
  VariantType(name: String, variants: List(Variant))
  VariantDepType(
    name: String,
    dep_types: List(GleamType),
    variants: List(Variant),
  )
  FunctionType(
    argument_types: List(GleamType),
    result_type: GleamType,
  )
}

Constructors

```
AnonymousType(String)
```
```
NilType
```
```
IntType
```
```
TupleType(elements: List(GleamType))
```
```
ListType(list_type: GleamType)
```

VariantType(name: String, variants: List(Variant))

VariantDepType(
  name: String,
  dep_types: List(GleamType),
  variants: List(Variant),
)

FunctionType(
  argument_types: List(GleamType),
  result_type: GleamType,
)

Variant

</>

pub type Variant {
  Variant(name: String, fields: List(Field))
}

Constructors

Variant(name: String, fields: List(Field))

Functions

field

</>

pub fn field(name: String, field_type: GleamType) -> Field

function

</>

pub fn function(
  argument_types: List(GleamType),
  result_type: GleamType,
) -> GleamType

generate_type

</>

pub fn generate_type(arg_type: GleamType) -> String

generate_type_def

</>

pub fn generate_type_def(gleam_type: GleamType) -> String

int

</>

pub fn int() -> GleamType

nil

</>

pub fn nil() -> GleamType

option

</>

pub fn option(some_type: GleamType) -> GleamType

result

</>

pub fn result(
  ok_type: GleamType,
  error_type: GleamType,
) -> GleamType

variant

</>

pub fn variant(name: String, fields: List(Field)) -> Variant

variant_type

</>

pub fn variant_type(
  name: String,
  variants: List(Variant),
) -> GleamType