idris-0.9.11: rts/idris_stdfgn.h

#ifndef _IDRISSTDFGN_H
#define _IDRISSTDFGN_H

// A collection of useful standard functions to be used by the prelude.

void putStr(char* str);
//char* readStr();

void* fileOpen(char* f, char* mode);
void fileClose(void* h);
int fileEOF(void* h);
int fileError(void* h);
void fputStr(void*h, char* str);

int idris_eqPtr(void* x, void* y);
int isNull(void* ptr);
void* idris_stdin();

char* getEnvPair(int i);

#endif