Functions
Const builtinCall
- builtinCall<T>(id: string, type: T, ...args: Term<any>[]): FnCall<T>
Type parameters
Parameters
id: string
type: T
Rest ...args: Term<any>[]
Const defArg
Type parameters
Parameters
defn
- defn<T>(type: T, name: Nullable<string>, args: [], body: FnBody0): TaggedFn0<T>
- defn<T, A>(type: T, name: Nullable<string>, args: Arg1<A>, body: FnBody1<A>): TaggedFn1<A, T>
- defn<T, A, B>(type: T, name: Nullable<string>, args: Arg2<A, B>, body: FnBody2<A, B>): TaggedFn2<A, B, T>
- defn<T, A, B, C>(type: T, name: Nullable<string>, args: Arg3<A, B, C>, body: FnBody3<A, B, C>): TaggedFn3<A, B, C, T>
- defn<T, A, B, C, D>(type: T, name: Nullable<string>, args: Arg4<A, B, C, D>, body: FnBody4<A, B, C, D>): TaggedFn4<A, B, C, D, T>
- defn<T, A, B, C, D, E>(type: T, name: Nullable<string>, args: Arg5<A, B, C, D, E>, body: FnBody5<A, B, C, D, E>): TaggedFn5<A, B, C, D, E, T>
- defn<T, A, B, C, D, E, F>(type: T, name: Nullable<string>, args: Arg6<A, B, C, D, E, F>, body: FnBody6<A, B, C, D, E, F>): TaggedFn6<A, B, C, D, E, F, T>
- defn<T, A, B, C, D, E, F, G>(type: T, name: Nullable<string>, args: Arg7<A, B, C, D, E, F, G>, body: FnBody7<A, B, C, D, E, F, G>): TaggedFn7<A, B, C, D, E, F, G, T>
- defn<T, A, B, C, D, E, F, G, H>(type: T, name: Nullable<string>, args: Arg8<A, B, C, D, E, F, G, H>, body: FnBody8<A, B, C, D, E, F, G, H>): TaggedFn8<A, B, C, D, E, F, G, H, T>
Type parameters
Parameters
type: T
name: Nullable<string>
args: []
Type parameters
Parameters
type: T
name: Nullable<string>
args: Arg1<A>
Type parameters
Parameters
type: T
name: Nullable<string>
args: Arg2<A, B>
Type parameters
Parameters
type: T
name: Nullable<string>
args: Arg3<A, B, C>
body: FnBody3<A, B, C>
Returns TaggedFn3<A, B, C, T>
Type parameters
Parameters
type: T
name: Nullable<string>
args: Arg4<A, B, C, D>
body: FnBody4<A, B, C, D>
Returns TaggedFn4<A, B, C, D, T>
Type parameters
Parameters
type: T
name: Nullable<string>
args: Arg5<A, B, C, D, E>
body: FnBody5<A, B, C, D, E>
Returns TaggedFn5<A, B, C, D, E, T>
Type parameters
Parameters
type: T
name: Nullable<string>
args: Arg6<A, B, C, D, E, F>
body: FnBody6<A, B, C, D, E, F>
Returns TaggedFn6<A, B, C, D, E, F, T>
Type parameters
Parameters
type: T
name: Nullable<string>
args: Arg7<A, B, C, D, E, F, G>
body: FnBody7<A, B, C, D, E, F, G>
Returns TaggedFn7<A, B, C, D, E, F, G, T>
Type parameters
Parameters
type: T
name: Nullable<string>
args: Arg8<A, B, C, D, E, F, G, H>
body: FnBody8<A, B, C, D, E, F, G, H>
Returns TaggedFn8<A, B, C, D, E, F, G, H, T>
funcall
- funcall<T>(fn: string, type: T, ...args: Term<any>[]): FnCall<T>
- funcall<T>(fn: TaggedFn0<T>): FnCall<T>
- funcall<A, T>(fn: TaggedFn1<A, T>, a: Term<A>): FnCall<T>
- funcall<A, B, T>(fn: TaggedFn2<A, B, T>, a: Term<A>, b: Term<B>): FnCall<T>
- funcall<A, B, C, T>(fn: TaggedFn3<A, B, C, T>, a: Term<A>, b: Term<B>, c: Term<C>): FnCall<T>
- funcall<A, B, C, D, T>(fn: TaggedFn4<A, B, C, D, T>, a: Term<A>, b: Term<B>, c: Term<C>, d: Term<D>): FnCall<T>
- funcall<A, B, C, D, E, T>(fn: TaggedFn5<A, B, C, D, E, T>, a: Term<A>, b: Term<B>, c: Term<C>, d: Term<D>, e: Term<E>): FnCall<T>
- funcall<A, B, C, D, E, F, T>(fn: TaggedFn6<A, B, C, D, E, F, T>, a: Term<A>, b: Term<B>, c: Term<C>, d: Term<D>, e: Term<E>, f: Term<F>): FnCall<T>
- funcall<A, B, C, D, E, F, G, T>(fn: TaggedFn7<A, B, C, D, E, F, G, T>, a: Term<A>, b: Term<B>, c: Term<C>, d: Term<D>, e: Term<E>, f: Term<F>, g: Term<G>): FnCall<T>
- funcall<A, B, C, D, E, F, G, H, T>(fn: TaggedFn8<A, B, C, D, E, F, G, H, T>, a: Term<A>, b: Term<B>, c: Term<C>, d: Term<D>, e: Term<E>, f: Term<F>, g: Term<G>, h: Term<H>): FnCall<T>
Type parameters
Parameters
fn: string
type: T
Rest ...args: Term<any>[]
Type parameters
Parameters
Type parameters
Parameters
Type parameters
Parameters
Type parameters
Parameters
Type parameters
Parameters
Type parameters
Parameters
Type parameters
Parameters
Type parameters
Parameters
Type parameters
Parameters
ret
Type parameters
Parameters
Syntax sugar for defining
void main()
functions.