glance · glance

AssignmentKind

pub type AssignmentKind {
  Let
  Assert
}

Constructors

```
Let
```
```
Assert
```

AssignmentName

</>

pub type AssignmentName {
  Named(String)
  Discarded(String)
}

Constructors

```
Named(String)
```
```
Discarded(String)
```

Attribute

</>

pub type Attribute {
  Attribute(name: String, arguments: List(Expression))
}

Constructors

Attribute(name: String, arguments: List(Expression))

BinaryOperator

</>

pub type BinaryOperator {
  And
  Or
  Eq
  NotEq
  LtInt
  LtEqInt
  LtFloat
  LtEqFloat
  GtEqInt
  GtInt
  GtEqFloat
  GtFloat
  Pipe
  AddInt
  AddFloat
  SubInt
  SubFloat
  MultInt
  MultFloat
  DivInt
  DivFloat
  RemainderInt
  Concatenate
}

Constructors

```
And
```
```
Or
```
```
Eq
```
```
NotEq
```
```
LtInt
```
```
LtEqInt
```
```
LtFloat
```
```
LtEqFloat
```
```
GtEqInt
```
```
GtInt
```
```
GtEqFloat
```
```
GtFloat
```
```
Pipe
```
```
AddInt
```
```
AddFloat
```
```
SubInt
```
```
SubFloat
```
```
MultInt
```
```
MultFloat
```
```
DivInt
```
```
DivFloat
```
```
RemainderInt
```
```
Concatenate
```

BitStringSegmentOption

</>

pub type BitStringSegmentOption(t) {
  BytesOption
  IntOption
  FloatOption
  BitsOption
  Utf8Option
  Utf16Option
  Utf32Option
  Utf8CodepointOption
  Utf16CodepointOption
  Utf32CodepointOption
  SignedOption
  UnsignedOption
  BigOption
  LittleOption
  NativeOption
  SizeValueOption(t)
  SizeOption(Int)
  UnitOption(Int)
}

Constructors

```
BytesOption
```
```
IntOption
```
```
FloatOption
```
```
BitsOption
```
```
Utf8Option
```
```
Utf16Option
```
```
Utf32Option
```
```
Utf8CodepointOption
```
```
Utf16CodepointOption
```
```
Utf32CodepointOption
```
```
SignedOption
```
```
UnsignedOption
```
```
BigOption
```
```
LittleOption
```
```
NativeOption
```
```
SizeValueOption(t)
```
```
SizeOption(Int)
```
```
UnitOption(Int)
```

Clause

</>

pub type Clause {
  Clause(
    patterns: List(List(Pattern)),
    guard: Option(Expression),
    body: Expression,
  )
}

Constructors

Clause(
  patterns: List(List(Pattern)),
  guard: Option(Expression),
  body: Expression,
)

Constant

</>

pub type Constant {
  Constant(
    name: String,
    publicity: Publicity,
    annotation: Option(Type),
    value: Expression,
  )
}

Constructors

Constant(
  name: String,
  publicity: Publicity,
  annotation: Option(Type),
  value: Expression,
)

CustomType

</>

pub type CustomType {
  CustomType(
    name: String,
    publicity: Publicity,
    opaque_: Bool,
    parameters: List(String),
    variants: List(Variant),
  )
}

Constructors

CustomType(
  name: String,
  publicity: Publicity,
  opaque_: Bool,
  parameters: List(String),
  variants: List(Variant),
)

Definition

</>

pub type Definition(definition) {
  Definition(attributes: List(Attribute), definition: definition)
}

Constructors

Definition(attributes: List(Attribute), definition: definition)

Error

</>

pub type Error {
  UnexpectedEndOfInput
  UnexpectedToken(token: Token, position: Position)
}

Constructors

```
UnexpectedEndOfInput
```

UnexpectedToken(token: Token, position: Position)

Expression

</>

pub type Expression {
  Int(String)
  Float(String)
  String(String)
  Variable(String)
  NegateInt(Expression)
  NegateBool(Expression)
  Block(List(Statement))
  Panic(Option(Expression))
  Todo(Option(Expression))
  Tuple(List(Expression))
  List(elements: List(Expression), rest: Option(Expression))
  Fn(
    arguments: List(FnParameter),
    return_annotation: Option(Type),
    body: List(Statement),
  )
  RecordUpdate(
    module: Option(String),
    constructor: String,
    record: Expression,
    fields: List(RecordUpdateField(Expression)),
  )
  FieldAccess(container: Expression, label: String)
  Call(function: Expression, arguments: List(Field(Expression)))
  TupleIndex(tuple: Expression, index: Int)
  FnCapture(
    label: Option(String),
    function: Expression,
    arguments_before: List(Field(Expression)),
    arguments_after: List(Field(Expression)),
  )
  BitString(
    segments: List(
      #(Expression, List(BitStringSegmentOption(Expression))),
    ),
  )
  Case(subjects: List(Expression), clauses: List(Clause))
  BinaryOperator(
    name: BinaryOperator,
    left: Expression,
    right: Expression,
  )
}

Constructors

```
Int(String)
```
```
Float(String)
```
```
String(String)
```
```
Variable(String)
```
```
NegateInt(Expression)
```
```
NegateBool(Expression)
```
```
Block(List(Statement))
```
```
Panic(Option(Expression))
```
```
Todo(Option(Expression))
```
```
Tuple(List(Expression))
```

List(elements: List(Expression), rest: Option(Expression))

Fn(
  arguments: List(FnParameter),
  return_annotation: Option(Type),
  body: List(Statement),
)

RecordUpdate(
  module: Option(String),
  constructor: String,
  record: Expression,
  fields: List(RecordUpdateField(Expression)),
)

FieldAccess(container: Expression, label: String)

Call(function: Expression, arguments: List(Field(Expression)))

TupleIndex(tuple: Expression, index: Int)

FnCapture(
  label: Option(String),
  function: Expression,
  arguments_before: List(Field(Expression)),
  arguments_after: List(Field(Expression)),
)

BitString(
  segments: List(
    #(Expression, List(BitStringSegmentOption(Expression))),
  ),
)

Case(subjects: List(Expression), clauses: List(Clause))

BinaryOperator(
  name: BinaryOperator,
  left: Expression,
  right: Expression,
)

Field

</>

pub type Field(t) {
  LabelledField(label: String, item: t)
  ShorthandField(label: String)
  UnlabelledField(item: t)
}

Constructors

```
LabelledField(label: String, item: t)
```
```
ShorthandField(label: String)
```
```
UnlabelledField(item: t)
```

FnParameter

</>

pub type FnParameter {
  FnParameter(name: AssignmentName, type_: Option(Type))
}

Constructors

FnParameter(name: AssignmentName, type_: Option(Type))

Function

</>

pub type Function {
  Function(
    name: String,
    publicity: Publicity,
    parameters: List(FunctionParameter),
    return: Option(Type),
    body: List(Statement),
    location: Span,
  )
}

Constructors

Function(
  name: String,
  publicity: Publicity,
  parameters: List(FunctionParameter),
  return: Option(Type),
  body: List(Statement),
  location: Span,
)

FunctionParameter

</>

pub type FunctionParameter {
  FunctionParameter(
    label: Option(String),
    name: AssignmentName,
    type_: Option(Type),
  )
}

Constructors

FunctionParameter(
  label: Option(String),
  name: AssignmentName,
  type_: Option(Type),
)

Import

</>

pub type Import {
  Import(
    module: String,
    alias: Option(AssignmentName),
    unqualified_types: List(UnqualifiedImport),
    unqualified_values: List(UnqualifiedImport),
  )
}

Constructors

Import(
  module: String,
  alias: Option(AssignmentName),
  unqualified_types: List(UnqualifiedImport),
  unqualified_values: List(UnqualifiedImport),
)

Module

</>

pub type Module {
  Module(
    imports: List(Definition(Import)),
    custom_types: List(Definition(CustomType)),
    type_aliases: List(Definition(TypeAlias)),
    constants: List(Definition(Constant)),
    functions: List(Definition(Function)),
  )
}

Constructors

Module(
  imports: List(Definition(Import)),
  custom_types: List(Definition(CustomType)),
  type_aliases: List(Definition(TypeAlias)),
  constants: List(Definition(Constant)),
  functions: List(Definition(Function)),
)

Pattern

</>

pub type Pattern {
  PatternInt(value: String)
  PatternFloat(value: String)
  PatternString(value: String)
  PatternDiscard(name: String)
  PatternVariable(name: String)
  PatternTuple(elems: List(Pattern))
  PatternList(elements: List(Pattern), tail: Option(Pattern))
  PatternAssignment(pattern: Pattern, name: String)
  PatternConcatenate(left: String, right: AssignmentName)
  PatternBitString(
    segments: List(
      #(Pattern, List(BitStringSegmentOption(Pattern))),
    ),
  )
  PatternConstructor(
    module: Option(String),
    constructor: String,
    arguments: List(Field(Pattern)),
    with_spread: Bool,
  )
}

Constructors

```
PatternInt(value: String)
```
```
PatternFloat(value: String)
```
```
PatternString(value: String)
```
```
PatternDiscard(name: String)
```
```
PatternVariable(name: String)
```
```
PatternTuple(elems: List(Pattern))
```

PatternList(elements: List(Pattern), tail: Option(Pattern))

PatternAssignment(pattern: Pattern, name: String)

PatternConcatenate(left: String, right: AssignmentName)

PatternBitString(
  segments: List(
    #(Pattern, List(BitStringSegmentOption(Pattern))),
  ),
)

PatternConstructor(
  module: Option(String),
  constructor: String,
  arguments: List(Field(Pattern)),
  with_spread: Bool,
)

Publicity

</>

pub type Publicity {
  Public
  Private
}

Constructors

```
Public
```
```
Private
```

RecordUpdateField

</>

pub type RecordUpdateField(t) {
  RecordUpdateField(label: String, item: Option(t))
}

Constructors

RecordUpdateField(label: String, item: Option(t))

Span

</>

pub type Span {
  Span(start: Int, end: Int)
}

Constructors

```
Span(start: Int, end: Int)
```
A span within a file, indicated by byte offsets.

Statement

</>

pub type Statement {
  Use(patterns: List(Pattern), function: Expression)
  Assignment(
    kind: AssignmentKind,
    pattern: Pattern,
    annotation: Option(Type),
    value: Expression,
  )
  Expression(Expression)
}

Constructors

Use(patterns: List(Pattern), function: Expression)

Assignment(
  kind: AssignmentKind,
  pattern: Pattern,
  annotation: Option(Type),
  value: Expression,
)

```
Expression(Expression)
```

Type

</>

pub type Type {
  NamedType(
    name: String,
    module: Option(String),
    parameters: List(Type),
  )
  TupleType(elements: List(Type))
  FunctionType(parameters: List(Type), return: Type)
  VariableType(name: String)
  HoleType(name: String)
}

Constructors

NamedType(
  name: String,
  module: Option(String),
  parameters: List(Type),
)

```
TupleType(elements: List(Type))
```

FunctionType(parameters: List(Type), return: Type)

```
VariableType(name: String)
```
```
HoleType(name: String)
```

TypeAlias

</>

pub type TypeAlias {
  TypeAlias(
    name: String,
    publicity: Publicity,
    parameters: List(String),
    aliased: Type,
  )
}

Constructors

TypeAlias(
  name: String,
  publicity: Publicity,
  parameters: List(String),
  aliased: Type,
)

UnqualifiedImport

</>

pub type UnqualifiedImport {
  UnqualifiedImport(name: String, alias: Option(String))
}

Constructors

UnqualifiedImport(name: String, alias: Option(String))

Variant

</>

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

Constructors

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

VariantField

</>

pub type VariantField {
  LabelledVariantField(item: Type, label: String)
  UnlabelledVariantField(item: Type)
}

Constructors

LabelledVariantField(item: Type, label: String)

```
UnlabelledVariantField(item: Type)
```