value

Types

Switch

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

Constructors

```
Cons
```
```
Extend(String)
```
```
Overwrite(String)
```
```
Select(String)
```
```
Tag(String)
```
```
Match(String)
```
```
NoCases
```
```
Perform(String)
```
```
Handle(String)
```
```
Resume(context)
```
```
Builtin(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(context), List(Value(m, context)))
  Promise(promise.Promise(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(context), List(Value(m, context)))

Promise(promise.Promise(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)

true

</>

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

unit

</>

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