Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
29 lines (19 sloc) 533 Bytes
#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);
void* do_popen(const char* cmd, const char* mode);
int fpoll(void* h);
int idris_eqPtr(void* x, void* y);
int isNull(void* ptr);
void* idris_stdin();
char* getEnvPair(int i);
int idris_time();
void idris_forceGC();
#endif
Jump to Line
Something went wrong with that request. Please try again.