value

Types

Switch

pub type Switch(context) {
  Cons
  Extend(label: String)
  Overwrite(label: String)
  Select(label: String)
  Tag(label: String)
  Match(label: String)
  NoCases
  Perform(label: String)
  Handle(label: String)
  Resume(context)
  Builtin(identifier: String)
}

Constructors

```
Cons
```
```
Extend(label: String)
```
```
Overwrite(label: String)
```
```
Select(label: String)
```
```
Tag(label: String)
```
```
Match(label: String)
```
```
NoCases
```
```
Perform(label: String)
```
```
Handle(label: String)
```
```
Resume(context)
```
```
Builtin(identifier: String)
```

Value

</>

pub type Value(m, context) {
  Binary(value: BitArray)
  Integer(value: Int)
  String(value: String)
  LinkedList(elements: List(Value(m, context)))
  Record(fields: dict.Dict(String, Value(m, context)))
  Tagged(label: String, value: Value(m, context))
  Closure(
    param: String,
    body: #(tree.Expression(m), m),
    env: List(#(String, Value(m, context))),
  )
  Partial(
    switch: Switch(context),
    arguments: List(Value(m, context)),
  )
}

Constructors

```
Binary(value: BitArray)
```
```
Integer(value: Int)
```
```
String(value: String)
```

LinkedList(elements: List(Value(m, context)))

Record(fields: dict.Dict(String, Value(m, context)))

Tagged(label: String, value: Value(m, context))

Closure(
  param: String,
  body: #(tree.Expression(m), m),
  env: List(#(String, Value(m, context))),
)

Partial(
  switch: Switch(context),
  arguments: List(Value(m, context)),
)

Values

bool

</>

pub fn bool(in: Bool) -> Value(m, context)

error

</>

pub fn error(reason: Value(m, context)) -> Value(m, context)

false

</>

pub fn false() -> Value(m, context)

none

</>

pub fn none() -> Value(m, context)

ok

</>

pub fn ok(value: Value(m, context)) -> Value(m, context)

option

</>

pub fn option(
  option: option.Option(a),
  cast: fn(a) -> Value(m, context),
) -> Value(m, context)

some

</>

pub fn some(value: Value(m, context)) -> Value(m, context)

tag

</>

pub fn tag(label: String) -> Value(m, context)

true

</>

pub fn true() -> Value(m, context)

unit

</>

pub fn unit() -> Value(m, context)