examples/custom_type

Types

Ast

pub type Ast =
  List(AstNode)

AstNode

</>

pub type AstNode {
  NodeIgnoredCode(it: IgnoredCode)
  NodeXCustomType(it: XCustomType)
}

Constructors

```
NodeIgnoredCode(it: IgnoredCode)
```
```
NodeXCustomType(it: XCustomType)
```

IgnoredCode

</>

pub type IgnoredCode {
  IgnoredCode(content: String)
}

Constructors

```
IgnoredCode(content: String)
```

RecordConstructor

</>

pub type RecordConstructor {
  RecordConstructor(
    name: String,
    arguments: List(RecordConstructorArg),
  )
}

Constructors

RecordConstructor(
  name: String,
  arguments: List(RecordConstructorArg),
)

RecordConstructorArg

</>

pub type RecordConstructorArg {
  RecordConstructorArg(label: String, ast: TypeAst)
}

Constructors

RecordConstructorArg(label: String, ast: TypeAst)

TypeAst

</>

pub type TypeAst {
  Constructor(
    module: Option(String),
    name: String,
    arguments: List(TypeAst),
  )
  Fn(arguments: List(TypeAst), return_: TypeAst)
  Var(name: String)
  Tuple(elems: List(TypeAst))
  Hole(name: String)
}

Constructors

Constructor(
  module: Option(String),
  name: String,
  arguments: List(TypeAst),
)

Fn(arguments: List(TypeAst), return_: TypeAst)

```
Var(name: String)
```
```
Tuple(elems: List(TypeAst))
```
```
Hole(name: String)
```

XCustomType

</>

pub type XCustomType {
  XCustomType(
    name: String,
    constructors: List(RecordConstructor),
    parameters: List(String),
  )
}

Constructors

XCustomType(
  name: String,
  constructors: List(RecordConstructor),
  parameters: List(String),
)

Functions

ast_parser

</>

pub fn ast_parser() -> fn(Stream(String)) ->
  Result(ParseSuccess(String, List(AstNode)), ParseError(String))

filter_custom_types

</>

pub fn filter_custom_types(ast: List(AstNode)) -> List(
  XCustomType,
)

record_constructor_argument_parser

</>

pub fn record_constructor_argument_parser() -> fn(Stream(String)) ->
  Result(
    ParseSuccess(String, RecordConstructorArg),
    ParseError(String),
  )

record_constructor_parser

</>

pub fn record_constructor_parser() -> fn(Stream(String)) ->
  Result(
    ParseSuccess(String, RecordConstructor),
    ParseError(String),
  )