test/primitives006/array.h · Idris-dev

git.iko.soy/Idris-dev

on 4e4b7df help sign in

18 lines 608 B history raw

1#pragma once

3#include <stdint.h>

4#include <stddef.h>

6#include "idris_rts.h"

9CData array_alloc(int size);

10void array_realloc(int size, CData array);

11uint8_t array_peek(int ofs, CData array);

12int array_peek_int(int ofs, CData array);

13void array_poke(int ofs, uint8_t byte, CData array);

14void array_poke_int(int ofs, int i, CData array);

15void array_copy(CData src, int src_ofs, CData dst, int dst_ofs, int count);

16void array_fill(int ofs, int count, uint8_t byte, CData array);

17int array_compare(CData l, int lofs, CData r, int rofs, int count);

18int array_find(uint8_t byte, CData array, int ofs, int end);