l4u/l4u_type

let assert [Scope(tvars), ..] = closure_env.scopes

Types

Description

pub type Description {
  Description(name: String, text: String)
}

Constructors

```
Description(name: String, text: String)
```

Env

</>

pub type Env {
  Env(
    info: Info,
    pdic: PDic,
    local_vars: Dict(String, Expr),
    a_binding: Dict(String, Expr),
    scopes: List(Scope),
    opts: EnvOptions,
  )
}

Constructors

Env(
  info: Info,
  pdic: PDic,
  local_vars: Dict(String, Expr),
  a_binding: Dict(String, Expr),
  scopes: List(Scope),
  opts: EnvOptions,
)

EnvOption

</>

pub type EnvOption {
  VERBOSE
  TRACE
}

Constructors

```
VERBOSE
```
```
TRACE
```

EnvOptions

</>

pub type EnvOptions {
  EnvOptions(verbose: Bool, trace: Bool)
}

Constructors

```
EnvOptions(verbose: Bool, trace: Bool)
```

ErrorEx

</>

pub type ErrorEx {
  ErrorEx2(msg: String, detail: Dynamic)
}

Constructors

```
ErrorEx2(msg: String, detail: Dynamic)
```

Expr

</>

pub type Expr {
  PRINTABLE(Expr)
  UNDEFINED
  NIL
  TRUE
  FALSE
  DELIMITER
  WithEnv(Expr, Env)
  LocalContinuation(List(Expr), Env, Env)
  Continuation(List(Expr), Env)
  ATOM(Ref)
  INT(Int)
  FLOAT(Float)
  STRING(String)
  SYMBOL(String)
  ExVAR(String, String)
  KEYWORD(String)
  LIST(List(Expr))
  VECTOR(List(Expr))
  DICT(List(Expr))
  BIF(Description, fn(List(Expr), Env) -> Expr)
  BISPFORM(Description, fn(List(Expr), Env) -> Expr)
  CLOSURE(Description, List(String), List(Expr), Env)
  MACRO(Description, List(String), List(Expr), Env)
  WithMeta(Expr, Expr)
  NativeValue(String, Dynamic)
  NativeFunction(String, Dynamic)
  ReplCommand(String, Expr)
  CustomType(String, Expr)
  CustomTypeDef(String, Expr)
}

Constructors

```
PRINTABLE(Expr)
```
```
UNDEFINED
```
```
NIL
```
```
TRUE
```
```
FALSE
```
```
DELIMITER
```
```
WithEnv(Expr, Env)
```
```
LocalContinuation(List(Expr), Env, Env)
```
```
Continuation(List(Expr), Env)
```
```
ATOM(Ref)
```
```
INT(Int)
```
```
FLOAT(Float)
```
```
STRING(String)
```
```
SYMBOL(String)
```
```
ExVAR(String, String)
```
```
KEYWORD(String)
```
```
LIST(List(Expr))
```
```
VECTOR(List(Expr))
```
```
DICT(List(Expr))
```

BIF(Description, fn(List(Expr), Env) -> Expr)

BISPFORM(Description, fn(List(Expr), Env) -> Expr)

CLOSURE(Description, List(String), List(Expr), Env)

MACRO(Description, List(String), List(Expr), Env)

```
WithMeta(Expr, Expr)
```
```
NativeValue(String, Dynamic)
```
```
NativeFunction(String, Dynamic)
```
```
ReplCommand(String, Expr)
```
```
CustomType(String, Expr)
```
```
CustomTypeDef(String, Expr)
```

Info

</>

pub type Info {
  Info(name: String, level: Int)
}

Constructors

```
Info(name: String, level: Int)
```

PDic

</>

pub type PDic

Ref

</>

pub type Ref

Scope

</>

pub type Scope {
  Scope(bindings: Dict(String, Expr))
  ProcessDict(PDic)
}

Constructors

```
Scope(bindings: Dict(String, Expr))
```
```
ProcessDict(PDic)
```

Functions

box_l4u_custom_type

</>

pub fn box_l4u_custom_type(name: String, x: Expr) -> Expr

box_l4u_custom_type_def

</>

pub fn box_l4u_custom_type_def(name: String, x: Expr) -> Expr

box_l4u_dict

</>

pub fn box_l4u_dict(x: List(Expr)) -> Expr

box_l4u_float

</>

pub fn box_l4u_float(x: Float) -> Expr

box_l4u_int

</>

pub fn box_l4u_int(x: Int) -> Expr

box_l4u_keyword

</>

pub fn box_l4u_keyword(x: String) -> Expr

box_l4u_list

</>

pub fn box_l4u_list(x: List(Expr)) -> Expr

box_l4u_native_function

</>

pub fn box_l4u_native_function(name: String, x: Dynamic) -> Expr

box_l4u_native_value

</>

pub fn box_l4u_native_value(name: String, x: Dynamic) -> Expr

box_l4u_ok

</>

pub fn box_l4u_ok(x: a) -> Result(a, b)

box_l4u_string

</>

pub fn box_l4u_string(x: String) -> Expr

box_l4u_symbol

</>

pub fn box_l4u_symbol(x: String) -> Expr

box_l4u_vector

</>

pub fn box_l4u_vector(x: List(Expr)) -> Expr

native_false

</>

pub fn native_false() -> a

native_nil

</>

pub fn native_nil() -> a

native_true

</>

pub fn native_true() -> a

native_undefined

</>

pub fn native_undefined() -> a

to_native_dictionary

</>

pub fn to_native_dictionary(xs: List(a)) -> b

unbox_l4u

</>

pub fn unbox_l4u(expr: Expr) -> a

unsafe_corece

</>

pub fn unsafe_corece(value: a) -> b