module internal.c_stubs¶
Source: stdlib/internal/c_stubs.codon
internal.c_stubs¶Source: stdlib/internal/c_stubs.codon
seq_print(_: str) @C Function is external C function ¶seq_print_full(_: str, _: cobj) @C Function is external C function ¶seq_str_int(a: int, fmt: str, error: Ptr[bool]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_str_uint(a: int, fmt: str, error: Ptr[bool]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_str_float(a: float, fmt: str, error: Ptr[bool]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_str_str(a: str, fmt: str, error: Ptr[bool]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_str_ptr(a: cobj, fmt: str, error: Ptr[bool]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_int_from_str(a: str, b: Ptr[cobj], c: i32) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_float_from_str(a: str, b: Ptr[cobj]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_strdup(a: cobj) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶seq_stdin() @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶seq_stdout() @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶seq_stderr() @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶seq_env() @no_side_effect Function has no side effects @C Function is external C function ¶seq_time() @no_side_effect Function has no side effects @C Function is external C function ¶seq_time_monotonic() @no_side_effect Function has no side effects @C Function is external C function ¶seq_time_highres() @no_side_effect Function has no side effects @C Function is external C function ¶seq_localtime(a: int, b: cobj) @no_side_effect Function has no side effects @C Function is external C function ¶seq_gmtime(a: int, b: cobj) @no_side_effect Function has no side effects @C Function is external C function ¶seq_mktime(a: cobj) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶seq_sleep(_: float) @C Function is external C function ¶seq_pid() @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶seq_lock_new() @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶seq_lock_acquire(a: cobj, b: bool, c: float) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_lock_release(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_rlock_new() @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶seq_rlock_acquire(a: cobj, b: bool, c: float) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_rlock_release(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶seq_i32_to_float(a: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶isdigit(a: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶isspace(a: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶isupper(a: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶islower(a: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶toupper(a: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶tolower(a: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶isalnum(a: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶isalpha(a: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶ceil(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶floor(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶fabs(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶fmod(a: float, b: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶exp(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶expm1(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶ldexp(a: float, b: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶log(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶log10(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶sqrt(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶cbrt(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶pow(a: float, b: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶round(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶nextafter(a: float, b: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶acos(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶asin(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶atan(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶atan2(a: float, b: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶cos(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶sin(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶tan(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶cosh(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶sinh(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶tanh(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶acosh(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶asinh(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶atanh(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶copysign(a: float, b: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶log1p(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶trunc(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶log2(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶erf(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶erfc(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶tgamma(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶lgamma(a: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶remainder(a: float, b: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶hypot(a: float, b: float) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶frexp(a: float, b: Ptr[Int[Tuple]]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶modf(a: float, b: Ptr[float]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶ceilf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶floorf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶fabsf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶fmodf(a: float32, b: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶expf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶expm1f(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶ldexpf(a: float32, b: i32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶logf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶log2f(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶log10f(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶sqrtf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶cbrtf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶powf(a: float32, b: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶roundf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶nextafterf(a: float32, b: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶acosf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶asinf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶atanf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶atan2f(a: float32, b: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶cosf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶sinf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶tanf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶coshf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶sinhf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶tanhf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶acoshf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶asinhf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶atanhf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶copysignf(a: float32, b: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶log1pf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶truncf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶erff(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶erfcf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶tgammaf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶lgammaf(a: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶remainderf(a: float32, b: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶hypotf(a: float32, b: float32) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶frexpf(a: float32, b: Ptr[Int[Tuple]]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶modff(a: float32, b: Ptr[float32]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶ferror(a: cobj) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶fgetc(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶fopen(a: cobj, b: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶fdopen(a: int, b: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶fclose(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶fread(a: cobj, b: int, c: int, d: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶fwrite(a: cobj, b: int, c: int, d: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶ftell(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶fseek(a: cobj, b: int, c: i32) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶fgets(a: cobj, b: int, c: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶fflush(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶getline(a: Ptr[cobj], b: Ptr[int], c: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶exit(_: int) @C Function is external C function ¶system(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶free(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶atoi(a: cobj) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶gzopen(a: cobj, b: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶gzerror(a: cobj, b: Ptr[i32]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶gzgetc(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶gzgets(a: cobj, b: cobj, c: i32) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶gzclose(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶gzread(a: cobj, b: cobj, c: u32) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶gzwrite(a: cobj, b: cobj, c: u32) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶gztell(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶gzseek(a: cobj, b: int, c: i32) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶gzflush(a: cobj, b: i32) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶BZ2_bzopen(a: cobj, b: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶BZ2_bzread(a: cobj, b: cobj, c: i32) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶BZ2_bzwrite(a: cobj, b: cobj, c: i32) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶BZ2_bzflush(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶BZ2_bzclose(a: cobj) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶BZ2_bzerror(a: cobj, b: Ptr[i32]) @nocapture Function does not capture arguments (return value might capture) @C Function is external C function ¶memcmp(lhs: Ptr[byte], rhs: Ptr[byte], count: int) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶memchr(p: Ptr[byte], ch: i32, count: int) @pure Function has no side effects and returns same value for same inputs @C Function is external C function ¶