/**
 * File to resolve symbol when programming
 */
#ifndef _FUTHARK_H_
#define _FUTHARK_H_
#include <stdint.h>

struct futhark_context;

struct futhark_u8_1d;
struct futhark_u8_2d;

struct futhark_u8_1d *futhark_new_u8_1d(struct futhark_context *ctx, const
uint8_t *data, int64_t dim0);

int futhark_free_u8_1d(struct futhark_context *ctx, struct futhark_u8_1d *arr);

int futhark_values_u8_1d(struct futhark_context *ctx, struct futhark_u8_1d *arr,
                         uint8_t *data);

int futhark_entry_get_envelope_1d(struct futhark_context *ctx,
                                  struct futhark_u8_1d **out0,
                                  struct futhark_u8_1d **out1, const
                                  struct futhark_u8_1d *in0, int64_t in1);

int futhark_entry_get_envelope_2d(struct futhark_context *ctx,
                                  struct futhark_u8_2d **out0,
                                  struct futhark_u8_2d **out1,
                                  struct futhark_u8_2d **out2,
                                  struct futhark_u8_2d **out3,
                                  struct futhark_u8_2d **out4,
                                  struct futhark_u8_2d **out5,
                                  struct futhark_u8_2d **out6,
                                  struct futhark_u8_2d **out7, const
                                  struct futhark_u8_2d *in0, int64_t in1,
                                  int64_t in2);

int futhark_entry_get_subdomain_1d(struct futhark_context *ctx,
                                   struct futhark_u8_1d **out0, const
                                   struct futhark_u8_1d *in0, const int64_t in1,
                                   const struct futhark_i64_1d *in2);
int futhark_entry_get_subdomain_2d(struct futhark_context *ctx,
                                   struct futhark_u8_2d **out0, const
                                   struct futhark_u8_2d *in0, const int64_t in1,
                                   const int64_t in2, const
                                   struct futhark_i64_1d *in3);

struct futhark_u8_1d *futhark_new_u8_1d(struct futhark_context *ctx, const uint8_t *data, int64_t dim0);

struct futhark_u8_2d *futhark_new_u8_2d(struct futhark_context *ctx, const
uint8_t *data, int64_t dim0, int64_t dim1);

int futhark_free_u8_2d(struct futhark_context *ctx, struct futhark_u8_2d *arr);

int futhark_values_u8_2d(struct futhark_context *ctx, struct futhark_u8_2d *arr,
                         uint8_t *data);

int futhark_context_sync(struct futhark_context *ctx);

struct futhark_i64_1d ;
struct futhark_i64_1d *futhark_new_i64_1d(struct futhark_context *ctx, const
int64_t *data, int64_t dim0);
int futhark_free_i64_1d(struct futhark_context *ctx,
                        struct futhark_i64_1d *arr);
int futhark_values_i64_1d(struct futhark_context *ctx,
                          struct futhark_i64_1d *arr, int64_t *data);

#endif //_FUTHARK_H_