gen_gleam/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
  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
```
```
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

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