C D E F G I L M O P R S U

C

call() - Method in class org.idris.rts.Closure

Method including the function call encapsulated by this closure.

Closure - Class in org.idris.rts

Closures encapsulate function calls in order to allow tail recursion elimination.

Closure() - Constructor for class org.idris.rts.Closure

D

do_popen(String, String) - Static method in class org.idris.rts.Prelude

Fork a process and return a file handle for reading or writing from/to its standard output/input.

E

exit(int) - Static method in class org.idris.rts.Prelude

Exit the the current program.

F

fflush(Object) - Static method in class org.idris.rts.Prelude

Flush a file to disk.

fgetc(Object) - Static method in class org.idris.rts.Prelude

Read one char from a file and return it or -1 on end of file or errors.

fileClose(Object) - Static method in class org.idris.rts.Prelude

Close a file handle

fileEOF(Object) - Static method in class org.idris.rts.Prelude

Test if a file has reached its end during idris_readStr operations.

fileError(Object) - Static method in class org.idris.rts.Prelude

Tests for a file error.

fileOpen(String, String) - Static method in class org.idris.rts.Prelude

Open a file.

fork() - Method in class org.idris.rts.Closure

Fork a new thread using this as its Runnable.

fpoll(Object) - Static method in class org.idris.rts.Prelude

Wait for one second or until input becomes available for the given file.

fputStr(Object, String) - Static method in class org.idris.rts.Prelude

Write a string to a file handle.

free(Object) - Static method in class org.idris.rts.Prelude

Release a memory buffer.

G

getchar() - Static method in class org.idris.rts.Prelude

Receive a char from System.in

getConstructorId() - Method in class org.idris.rts.IdrisObject

Get the constructor id.

getData() - Method in class org.idris.rts.IdrisObject

Get the data stored in this object.

getenv(String) - Static method in class org.idris.rts.Prelude

Query the system environment for a value.

getEnvPair(int) - Static method in class org.idris.rts.Prelude

Get the n-th "key=value" property from the environment.

I

idris_checkMessages(Object) - Static method in class org.idris.rts.Prelude

Check if a message has arrived.

idris_eqPtr(Object, Object) - Static method in class org.idris.rts.Prelude

Compare two references for equality.

idris_forceGC(Object) - Static method in class org.idris.rts.Prelude

Force garbage collection to be triggered.

idris_getArg(int) - Static method in class org.idris.rts.Prelude

Get the num-th commandline argument.

idris_initArgs(String[]) - Static method in class org.idris.rts.Prelude

Initialize the command line arguments.

idris_memmove(Object, Object, int, int, int) - Static method in class org.idris.rts.Prelude

Copy data in buffers.

idris_memset(Object, int, Object, int) - Static method in class org.idris.rts.Prelude

Initialize a memory location.

idris_numArgs() - Static method in class org.idris.rts.Prelude

Get the number of command line arguments.

idris_peek(Object, int) - Static method in class org.idris.rts.Prelude

Read a byte from a buffer.

idris_poke(Object, int, Object) - Static method in class org.idris.rts.Prelude

Write a byte to a buffer.

idris_readStr(Object) - Static method in class org.idris.rts.Prelude

Read a line from a file.

idris_recvMessage(Object) - Static method in class org.idris.rts.Prelude

Receive a message.

idris_sendMessage(Object, Object, Object) - Static method in class org.idris.rts.Prelude

Pass a message to another thread.

idris_time() - Static method in class org.idris.rts.Prelude

Get the time in seconds since 1970-01-01 00:00:00 UTC.

IdrisObject - Class in org.idris.rts

Idris data types with a constructor function id and references in them.

IdrisObject(int, Object...) - Constructor for class org.idris.rts.IdrisObject

Create a new Idris data object.

isNull(Object) - Static method in class org.idris.rts.Prelude

Check if an object is null

isNullString(String) - Static method in class org.idris.rts.Prelude

Check if a string is null

L

LAllocate(long) - Static method in class org.idris.rts.PrimFn

LAnd(byte, byte) - Static method in class org.idris.rts.PrimFn

LAnd(char, char) - Static method in class org.idris.rts.PrimFn

LAnd(short, short) - Static method in class org.idris.rts.PrimFn

LAnd(int, int) - Static method in class org.idris.rts.PrimFn

LAnd(long, long) - Static method in class org.idris.rts.PrimFn

LAnd(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LAnd(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LAnd(short[], short[]) - Static method in class org.idris.rts.PrimFn

LAnd(int[], int[]) - Static method in class org.idris.rts.PrimFn

LAnd(long[], long[]) - Static method in class org.idris.rts.PrimFn

LAppend(ByteOrder, ByteBuffer, long, long, byte) - Static method in class org.idris.rts.PrimFn

LAppend(ByteOrder, ByteBuffer, long, long, short) - Static method in class org.idris.rts.PrimFn

LAppend(ByteOrder, ByteBuffer, long, long, int) - Static method in class org.idris.rts.PrimFn

LAppend(ByteOrder, ByteBuffer, long, long, long) - Static method in class org.idris.rts.PrimFn

LAppendBuffer(ByteBuffer, long, long, long, long, ByteBuffer) - Static method in class org.idris.rts.PrimFn

LASHR(byte, byte) - Static method in class org.idris.rts.PrimFn

LASHR(char, char) - Static method in class org.idris.rts.PrimFn

LASHR(short, short) - Static method in class org.idris.rts.PrimFn

LASHR(int, int) - Static method in class org.idris.rts.PrimFn

LASHR(long, long) - Static method in class org.idris.rts.PrimFn

LASHR(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LASHR(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LASHR(short[], short[]) - Static method in class org.idris.rts.PrimFn

LASHR(int[], int[]) - Static method in class org.idris.rts.PrimFn

LASHR(long[], long[]) - Static method in class org.idris.rts.PrimFn

LChIntIT16(char) - Static method in class org.idris.rts.PrimFn

LChIntIT32(char) - Static method in class org.idris.rts.PrimFn

LChIntIT64(char) - Static method in class org.idris.rts.PrimFn

LChIntIT8(char) - Static method in class org.idris.rts.PrimFn

LChIntITBig(char) - Static method in class org.idris.rts.PrimFn

LCompl(byte) - Static method in class org.idris.rts.PrimFn

LCompl(char) - Static method in class org.idris.rts.PrimFn

LCompl(short) - Static method in class org.idris.rts.PrimFn

LCompl(int) - Static method in class org.idris.rts.PrimFn

LCompl(long) - Static method in class org.idris.rts.PrimFn

LCompl(BigInteger) - Static method in class org.idris.rts.PrimFn

LCompl(byte[]) - Static method in class org.idris.rts.PrimFn

LCompl(short[]) - Static method in class org.idris.rts.PrimFn

LCompl(int[]) - Static method in class org.idris.rts.PrimFn

LCompl(long[]) - Static method in class org.idris.rts.PrimFn

LEq(byte, byte) - Static method in class org.idris.rts.PrimFn

LEq(char, char) - Static method in class org.idris.rts.PrimFn

LEq(short, short) - Static method in class org.idris.rts.PrimFn

LEq(int, int) - Static method in class org.idris.rts.PrimFn

LEq(long, long) - Static method in class org.idris.rts.PrimFn

LEq(double, double) - Static method in class org.idris.rts.PrimFn

LEq(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LEq(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LEq(short[], short[]) - Static method in class org.idris.rts.PrimFn

LEq(int[], int[]) - Static method in class org.idris.rts.PrimFn

LEq(long[], long[]) - Static method in class org.idris.rts.PrimFn

LFACos(double) - Static method in class org.idris.rts.PrimFn

LFASin(double) - Static method in class org.idris.rts.PrimFn

LFATan(double) - Static method in class org.idris.rts.PrimFn

LFCeil(double) - Static method in class org.idris.rts.PrimFn

LFCos(double) - Static method in class org.idris.rts.PrimFn

LFExp(double) - Static method in class org.idris.rts.PrimFn

LFFloor(double) - Static method in class org.idris.rts.PrimFn

LFloatIntIT16(double) - Static method in class org.idris.rts.PrimFn

LFloatIntIT32(double) - Static method in class org.idris.rts.PrimFn

LFloatIntIT64(double) - Static method in class org.idris.rts.PrimFn

LFloatIntIT8(double) - Static method in class org.idris.rts.PrimFn

LFloatIntITBig(double) - Static method in class org.idris.rts.PrimFn

LFloatIntITChar(double) - Static method in class org.idris.rts.PrimFn

LFloatStr(double) - Static method in class org.idris.rts.PrimFn

LFLog(double) - Static method in class org.idris.rts.PrimFn

LFSin(double) - Static method in class org.idris.rts.PrimFn

LFSqrt(double) - Static method in class org.idris.rts.PrimFn

LFTan(double) - Static method in class org.idris.rts.PrimFn

LGe(byte, byte) - Static method in class org.idris.rts.PrimFn

LGe(char, char) - Static method in class org.idris.rts.PrimFn

LGe(short, short) - Static method in class org.idris.rts.PrimFn

LGe(int, int) - Static method in class org.idris.rts.PrimFn

LGe(long, long) - Static method in class org.idris.rts.PrimFn

LGe(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LGe(short[], short[]) - Static method in class org.idris.rts.PrimFn

LGe(int[], int[]) - Static method in class org.idris.rts.PrimFn

LGe(long[], long[]) - Static method in class org.idris.rts.PrimFn

LGt(byte, byte) - Static method in class org.idris.rts.PrimFn

LGt(char, char) - Static method in class org.idris.rts.PrimFn

LGt(short, short) - Static method in class org.idris.rts.PrimFn

LGt(int, int) - Static method in class org.idris.rts.PrimFn

LGt(long, long) - Static method in class org.idris.rts.PrimFn

LGt(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LGt(short[], short[]) - Static method in class org.idris.rts.PrimFn

LGt(int[], int[]) - Static method in class org.idris.rts.PrimFn

LGt(long[], long[]) - Static method in class org.idris.rts.PrimFn

LIdxVec(byte[], int) - Static method in class org.idris.rts.PrimFn

LIdxVec(short[], int) - Static method in class org.idris.rts.PrimFn

LIdxVec(int[], int) - Static method in class org.idris.rts.PrimFn

LIdxVec(long[], int) - Method in class org.idris.rts.PrimFn

LIntCh(byte) - Static method in class org.idris.rts.PrimFn

LIntCh(char) - Static method in class org.idris.rts.PrimFn

LIntCh(short) - Static method in class org.idris.rts.PrimFn

LIntCh(int) - Static method in class org.idris.rts.PrimFn

LIntCh(long) - Static method in class org.idris.rts.PrimFn

LIntCh(BigInteger) - Static method in class org.idris.rts.PrimFn

LIntFloat(byte) - Static method in class org.idris.rts.PrimFn

LIntFloat(char) - Static method in class org.idris.rts.PrimFn

LIntFloat(short) - Static method in class org.idris.rts.PrimFn

LIntFloat(int) - Static method in class org.idris.rts.PrimFn

LIntFloat(long) - Static method in class org.idris.rts.PrimFn

LIntFloat(BigInteger) - Static method in class org.idris.rts.PrimFn

LIntStr(byte) - Static method in class org.idris.rts.PrimFn

LIntStr(char) - Static method in class org.idris.rts.PrimFn

LIntStr(short) - Static method in class org.idris.rts.PrimFn

LIntStr(int) - Static method in class org.idris.rts.PrimFn

LIntStr(long) - Static method in class org.idris.rts.PrimFn

LIntStr(BigInteger) - Static method in class org.idris.rts.PrimFn

LLe(byte, byte) - Static method in class org.idris.rts.PrimFn

LLe(char, char) - Static method in class org.idris.rts.PrimFn

LLe(short, short) - Static method in class org.idris.rts.PrimFn

LLe(int, int) - Static method in class org.idris.rts.PrimFn

LLe(long, long) - Static method in class org.idris.rts.PrimFn

LLe(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LLe(short[], short[]) - Static method in class org.idris.rts.PrimFn

LLe(int[], int[]) - Static method in class org.idris.rts.PrimFn

LLe(long[], long[]) - Static method in class org.idris.rts.PrimFn

LLSHR(byte, byte) - Static method in class org.idris.rts.PrimFn

LLSHR(char, char) - Static method in class org.idris.rts.PrimFn

LLSHR(short, short) - Static method in class org.idris.rts.PrimFn

LLSHR(int, int) - Static method in class org.idris.rts.PrimFn

LLSHR(long, long) - Static method in class org.idris.rts.PrimFn

LLSHR(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LLSHR(short[], short[]) - Static method in class org.idris.rts.PrimFn

LLSHR(int[], int[]) - Static method in class org.idris.rts.PrimFn

LLSHR(long[], long[]) - Static method in class org.idris.rts.PrimFn

LLt(byte, byte) - Static method in class org.idris.rts.PrimFn

LLt(char, char) - Static method in class org.idris.rts.PrimFn

LLt(short, short) - Static method in class org.idris.rts.PrimFn

LLt(int, int) - Static method in class org.idris.rts.PrimFn

LLt(long, long) - Static method in class org.idris.rts.PrimFn

LLt(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LLt(short[], short[]) - Static method in class org.idris.rts.PrimFn

LLt(int[], int[]) - Static method in class org.idris.rts.PrimFn

LLt(long[], long[]) - Static method in class org.idris.rts.PrimFn

LMinus(byte, byte) - Static method in class org.idris.rts.PrimFn

LMinus(char, char) - Static method in class org.idris.rts.PrimFn

LMinus(short, short) - Static method in class org.idris.rts.PrimFn

LMinus(int, int) - Static method in class org.idris.rts.PrimFn

LMinus(long, long) - Static method in class org.idris.rts.PrimFn

LMinus(double, double) - Static method in class org.idris.rts.PrimFn

LMinus(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LMinus(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LMinus(short[], short[]) - Static method in class org.idris.rts.PrimFn

LMinus(int[], int[]) - Static method in class org.idris.rts.PrimFn

LMinus(long[], long[]) - Static method in class org.idris.rts.PrimFn

LMkVec(byte...) - Static method in class org.idris.rts.PrimFn

LMkVec(short...) - Static method in class org.idris.rts.PrimFn

LMKVec(int...) - Static method in class org.idris.rts.PrimFn

LMKVec(long...) - Static method in class org.idris.rts.PrimFn

LOr(byte, byte) - Static method in class org.idris.rts.PrimFn

LOr(char, char) - Static method in class org.idris.rts.PrimFn

LOr(short, short) - Static method in class org.idris.rts.PrimFn

LOr(int, int) - Static method in class org.idris.rts.PrimFn

LOr(long, long) - Static method in class org.idris.rts.PrimFn

LOr(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LOr(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LOr(short[], short[]) - Static method in class org.idris.rts.PrimFn

LOr(int[], int[]) - Static method in class org.idris.rts.PrimFn

LOr(long[], long[]) - Static method in class org.idris.rts.PrimFn

LPeekIT16(ByteOrder, ByteBuffer, long) - Static method in class org.idris.rts.PrimFn

LPeekIT32(ByteOrder, ByteBuffer, long) - Static method in class org.idris.rts.PrimFn

LPeekIT64(ByteOrder, ByteBuffer, long) - Static method in class org.idris.rts.PrimFn

LPeekIT8(ByteOrder, ByteBuffer, long) - Static method in class org.idris.rts.PrimFn

LPlus(byte, byte) - Static method in class org.idris.rts.PrimFn

LPlus(char, char) - Static method in class org.idris.rts.PrimFn

LPlus(short, short) - Static method in class org.idris.rts.PrimFn

LPlus(int, int) - Static method in class org.idris.rts.PrimFn

LPlus(long, long) - Static method in class org.idris.rts.PrimFn

LPlus(double, double) - Static method in class org.idris.rts.PrimFn

LPlus(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LPlus(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LPlus(short[], short[]) - Static method in class org.idris.rts.PrimFn

LPlus(int[], int[]) - Static method in class org.idris.rts.PrimFn

LPlus(long[], long[]) - Static method in class org.idris.rts.PrimFn

LPrintNum(Object) - Static method in class org.idris.rts.PrimFn

LPrintStr(String) - Static method in class org.idris.rts.PrimFn

LReadStr(Object) - Static method in class org.idris.rts.PrimFn

LSDiv(byte, byte) - Static method in class org.idris.rts.PrimFn

LSDiv(char, char) - Static method in class org.idris.rts.PrimFn

LSDiv(short, short) - Static method in class org.idris.rts.PrimFn

LSDiv(int, int) - Static method in class org.idris.rts.PrimFn

LSDiv(long, long) - Static method in class org.idris.rts.PrimFn

LSDiv(double, double) - Static method in class org.idris.rts.PrimFn

LSDiv(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LSDiv(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LSDiv(short[], short[]) - Static method in class org.idris.rts.PrimFn

LSDiv(int[], int[]) - Static method in class org.idris.rts.PrimFn

LSDiv(long[], long[]) - Static method in class org.idris.rts.PrimFn

LSExtIT16(byte) - Static method in class org.idris.rts.PrimFn

LSExtIT16(char) - Static method in class org.idris.rts.PrimFn

LSExtIT32(byte) - Static method in class org.idris.rts.PrimFn

LSExtIT32(char) - Static method in class org.idris.rts.PrimFn

LSExtIT32(short) - Static method in class org.idris.rts.PrimFn

LSExtIT64(byte) - Static method in class org.idris.rts.PrimFn

LSExtIT64(char) - Static method in class org.idris.rts.PrimFn

LSExtIT64(short) - Static method in class org.idris.rts.PrimFn

LSExtIT64(int) - Static method in class org.idris.rts.PrimFn

LSExtITBig(byte) - Static method in class org.idris.rts.PrimFn

LSExtITBig(char) - Static method in class org.idris.rts.PrimFn

LSExtITBig(short) - Static method in class org.idris.rts.PrimFn

LSExtITBig(int) - Static method in class org.idris.rts.PrimFn

LSExtITBig(long) - Static method in class org.idris.rts.PrimFn

LSExtITVec16(byte[]) - Static method in class org.idris.rts.PrimFn

LSExtITVec32(byte[]) - Static method in class org.idris.rts.PrimFn

LSExtITVec32(short[]) - Static method in class org.idris.rts.PrimFn

LSExtITVec64(byte[]) - Static method in class org.idris.rts.PrimFn

LSExtITVec64(short[]) - Static method in class org.idris.rts.PrimFn

LSExtITVec64(int[]) - Static method in class org.idris.rts.PrimFn

LSGe(byte, byte) - Static method in class org.idris.rts.PrimFn

LSGe(char, char) - Static method in class org.idris.rts.PrimFn

LSGe(short, short) - Static method in class org.idris.rts.PrimFn

LSGe(int, int) - Static method in class org.idris.rts.PrimFn

LSGe(long, long) - Static method in class org.idris.rts.PrimFn

LSGe(double, double) - Static method in class org.idris.rts.PrimFn

LSGe(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LSGe(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LSGe(short[], short[]) - Static method in class org.idris.rts.PrimFn

LSGe(int[], int[]) - Static method in class org.idris.rts.PrimFn

LSGe(long[], long[]) - Static method in class org.idris.rts.PrimFn

LSGt(byte, byte) - Static method in class org.idris.rts.PrimFn

LSGt(char, char) - Static method in class org.idris.rts.PrimFn

LSGt(short, short) - Static method in class org.idris.rts.PrimFn

LSGt(int, int) - Static method in class org.idris.rts.PrimFn

LSGt(long, long) - Static method in class org.idris.rts.PrimFn

LSGt(double, double) - Static method in class org.idris.rts.PrimFn

LSGt(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LSGt(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LSGt(short[], short[]) - Static method in class org.idris.rts.PrimFn

LSGt(int[], int[]) - Static method in class org.idris.rts.PrimFn

LSGt(long[], long[]) - Static method in class org.idris.rts.PrimFn

LSHL(byte, byte) - Static method in class org.idris.rts.PrimFn

LSHL(char, char) - Static method in class org.idris.rts.PrimFn

LSHL(short, short) - Static method in class org.idris.rts.PrimFn

LSHL(int, int) - Static method in class org.idris.rts.PrimFn

LSHL(long, long) - Static method in class org.idris.rts.PrimFn

LSHL(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LSHL(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LSHL(short[], short[]) - Static method in class org.idris.rts.PrimFn

LSHL(int[], int[]) - Static method in class org.idris.rts.PrimFn

LSHL(long[], long[]) - Static method in class org.idris.rts.PrimFn

LSLe(byte, byte) - Static method in class org.idris.rts.PrimFn

LSLe(char, char) - Static method in class org.idris.rts.PrimFn

LSLe(short, short) - Static method in class org.idris.rts.PrimFn

LSLe(int, int) - Static method in class org.idris.rts.PrimFn

LSLe(long, long) - Static method in class org.idris.rts.PrimFn

LSLe(double, double) - Static method in class org.idris.rts.PrimFn

LSLe(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LSLe(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LSLe(short[], short[]) - Static method in class org.idris.rts.PrimFn

LSLe(int[], int[]) - Static method in class org.idris.rts.PrimFn

LSLe(long[], long[]) - Static method in class org.idris.rts.PrimFn

LSLt(byte, byte) - Static method in class org.idris.rts.PrimFn

LSLt(char, char) - Static method in class org.idris.rts.PrimFn

LSLt(short, short) - Static method in class org.idris.rts.PrimFn

LSLt(int, int) - Static method in class org.idris.rts.PrimFn

LSLt(long, long) - Static method in class org.idris.rts.PrimFn

LSLt(double, double) - Static method in class org.idris.rts.PrimFn

LSLt(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LSLt(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LSLt(short[], short[]) - Static method in class org.idris.rts.PrimFn

LSLt(int[], int[]) - Static method in class org.idris.rts.PrimFn

LSLt(long[], long[]) - Static method in class org.idris.rts.PrimFn

LSRem(byte, byte) - Static method in class org.idris.rts.PrimFn

LSRem(char, char) - Static method in class org.idris.rts.PrimFn

LSRem(short, short) - Static method in class org.idris.rts.PrimFn

LSRem(int, int) - Static method in class org.idris.rts.PrimFn

LSRem(long, long) - Static method in class org.idris.rts.PrimFn

LSRem(double, double) - Static method in class org.idris.rts.PrimFn

LSRem(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LSRem(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LSRem(short[], short[]) - Static method in class org.idris.rts.PrimFn

LSRem(int[], int[]) - Static method in class org.idris.rts.PrimFn

LSRem(long[], long[]) - Static method in class org.idris.rts.PrimFn

LStdErr() - Static method in class org.idris.rts.PrimFn

LStdIn() - Static method in class org.idris.rts.PrimFn

LStdOut() - Static method in class org.idris.rts.PrimFn

LStrConcat(String...) - Static method in class org.idris.rts.PrimFn

LStrCons(char, String) - Static method in class org.idris.rts.PrimFn

LStrEq(String, String) - Static method in class org.idris.rts.PrimFn

LStrFloat(String) - Static method in class org.idris.rts.PrimFn

LStrHead(String) - Static method in class org.idris.rts.PrimFn

LStrIndex(String, int) - Static method in class org.idris.rts.PrimFn

LStrIntIT16(String) - Static method in class org.idris.rts.PrimFn

LStrIntIT32(String) - Static method in class org.idris.rts.PrimFn

LStrIntIT64(String) - Static method in class org.idris.rts.PrimFn

LStrIntIT8(String) - Static method in class org.idris.rts.PrimFn

LStrIntITBig(String) - Static method in class org.idris.rts.PrimFn

LStrIntITChar(String) - Static method in class org.idris.rts.PrimFn

LStrLen(String) - Static method in class org.idris.rts.PrimFn

LStrLt(String, String) - Static method in class org.idris.rts.PrimFn

LStrRev(String) - Static method in class org.idris.rts.PrimFn

LStrTail(String) - Static method in class org.idris.rts.PrimFn

LSystemInfo(int) - Static method in class org.idris.rts.PrimFn

LTimes(byte, byte) - Static method in class org.idris.rts.PrimFn

LTimes(char, char) - Static method in class org.idris.rts.PrimFn

LTimes(short, short) - Static method in class org.idris.rts.PrimFn

LTimes(int, int) - Static method in class org.idris.rts.PrimFn

LTimes(long, long) - Static method in class org.idris.rts.PrimFn

LTimes(double, double) - Static method in class org.idris.rts.PrimFn

LTimes(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LTimes(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LTimes(short[], short[]) - Static method in class org.idris.rts.PrimFn

LTimes(int[], int[]) - Static method in class org.idris.rts.PrimFn

LTimes(long[], long[]) - Static method in class org.idris.rts.PrimFn

LTruncIT16(int) - Static method in class org.idris.rts.PrimFn

LTruncIT16(long) - Static method in class org.idris.rts.PrimFn

LTruncIT16(BigInteger) - Static method in class org.idris.rts.PrimFn

LTruncIT16(char) - Static method in class org.idris.rts.PrimFn

LTruncIT32(long) - Static method in class org.idris.rts.PrimFn

LTruncIT32(BigInteger) - Static method in class org.idris.rts.PrimFn

LTruncIT32(char) - Static method in class org.idris.rts.PrimFn

LTruncIT64(BigInteger) - Static method in class org.idris.rts.PrimFn

LTruncIT64(char) - Static method in class org.idris.rts.PrimFn

LTruncIT8(short) - Static method in class org.idris.rts.PrimFn

LTruncIT8(int) - Static method in class org.idris.rts.PrimFn

LTruncIT8(long) - Static method in class org.idris.rts.PrimFn

LTruncIT8(BigInteger) - Static method in class org.idris.rts.PrimFn

LTruncIT8(char) - Static method in class org.idris.rts.PrimFn

LTruncITBig(char) - Static method in class org.idris.rts.PrimFn

LTruncITChar(short) - Static method in class org.idris.rts.PrimFn

LTruncITChar(int) - Static method in class org.idris.rts.PrimFn

LTruncITChar(long) - Static method in class org.idris.rts.PrimFn

LTruncITChar(BigInteger) - Static method in class org.idris.rts.PrimFn

LTruncITVec16(int[]) - Static method in class org.idris.rts.PrimFn

LTruncITVec16(long[]) - Static method in class org.idris.rts.PrimFn

LTruncITVec32(long[]) - Static method in class org.idris.rts.PrimFn

LTruncITVec8(short[]) - Static method in class org.idris.rts.PrimFn

LTruncITVec8(int[]) - Static method in class org.idris.rts.PrimFn

LTruncITVec8(long[]) - Static method in class org.idris.rts.PrimFn

LUDiv(byte, byte) - Static method in class org.idris.rts.PrimFn

LUDiv(char, char) - Static method in class org.idris.rts.PrimFn

LUDiv(short, short) - Static method in class org.idris.rts.PrimFn

LUDiv(int, int) - Static method in class org.idris.rts.PrimFn

LUDiv(long, long) - Static method in class org.idris.rts.PrimFn

LUDiv(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LUDiv(short[], short[]) - Static method in class org.idris.rts.PrimFn

LUDiv(int[], int[]) - Static method in class org.idris.rts.PrimFn

LUDiv(long[], long[]) - Static method in class org.idris.rts.PrimFn

LUpdateVec(byte[], int, byte) - Static method in class org.idris.rts.PrimFn

LUpdateVec(short[], int, short) - Static method in class org.idris.rts.PrimFn

LUpdateVec(int[], int, int) - Static method in class org.idris.rts.PrimFn

LUpdateVec(long[], int, long) - Method in class org.idris.rts.PrimFn

LURem(byte, byte) - Static method in class org.idris.rts.PrimFn

LURem(char, char) - Static method in class org.idris.rts.PrimFn

LURem(short, short) - Static method in class org.idris.rts.PrimFn

LURem(int, int) - Static method in class org.idris.rts.PrimFn

LURem(long, long) - Static method in class org.idris.rts.PrimFn

LURem(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LURem(short[], short[]) - Static method in class org.idris.rts.PrimFn

LURem(int[], int[]) - Static method in class org.idris.rts.PrimFn

LURem(long[], long[]) - Static method in class org.idris.rts.PrimFn

LVMPtr() - Static method in class org.idris.rts.PrimFn

LXOr(byte, byte) - Static method in class org.idris.rts.PrimFn

LXOr(char, char) - Static method in class org.idris.rts.PrimFn

LXOr(short, short) - Static method in class org.idris.rts.PrimFn

LXOr(int, int) - Static method in class org.idris.rts.PrimFn

LXOr(long, long) - Static method in class org.idris.rts.PrimFn

LXOr(BigInteger, BigInteger) - Static method in class org.idris.rts.PrimFn

LXOr(byte[], byte[]) - Static method in class org.idris.rts.PrimFn

LXOr(short[], short[]) - Static method in class org.idris.rts.PrimFn

LXOr(int[], int[]) - Static method in class org.idris.rts.PrimFn

LXOr(long[], long[]) - Static method in class org.idris.rts.PrimFn

LZExtIT16(byte) - Static method in class org.idris.rts.PrimFn

LZExtIT32(byte) - Static method in class org.idris.rts.PrimFn

LZExtIT32(short) - Static method in class org.idris.rts.PrimFn

LZExtIT64(byte) - Static method in class org.idris.rts.PrimFn

LZExtIT64(short) - Static method in class org.idris.rts.PrimFn

LZExtIT64(int) - Static method in class org.idris.rts.PrimFn

LZExtITBig(byte) - Static method in class org.idris.rts.PrimFn

LZExtITBig(short) - Static method in class org.idris.rts.PrimFn

LZExtITBig(int) - Static method in class org.idris.rts.PrimFn

LZExtITBig(long) - Static method in class org.idris.rts.PrimFn

LZExtITChar(byte) - Static method in class org.idris.rts.PrimFn

LZExtITChar(short) - Static method in class org.idris.rts.PrimFn

LZExtITChar(int) - Static method in class org.idris.rts.PrimFn

LZExtITChar(long) - Static method in class org.idris.rts.PrimFn

LZExtITVec16(byte[]) - Static method in class org.idris.rts.PrimFn

LZExtITVec32(byte[]) - Static method in class org.idris.rts.PrimFn

LZExtITVec32(short[]) - Static method in class org.idris.rts.PrimFn

LZExtITVec64(byte[]) - Static method in class org.idris.rts.PrimFn

LZExtITVec64(short[]) - Static method in class org.idris.rts.PrimFn

LZExtITVec64(int[]) - Static method in class org.idris.rts.PrimFn

M

malloc(int) - Static method in class org.idris.rts.Prelude

Allocate raw memory.

O

org.idris.rts - package org.idris.rts

P

pclose(Object) - Static method in class org.idris.rts.Prelude

Wait for a forked process and close its file handle.

Prelude - Class in org.idris.rts

Backend primitives needed for Prelude

Prelude() - Constructor for class org.idris.rts.Prelude

PrimFn - Class in org.idris.rts

Primitive backend functions.

PrimFn() - Constructor for class org.idris.rts.PrimFn

putchar(int) - Static method in class org.idris.rts.Prelude

Output a character to System.out

putStr(String) - Static method in class org.idris.rts.Prelude

Output a string to System.out

R

run() - Method in class org.idris.rts.Closure

Run unwrapTailCall on this.

S

setenv(String, String, int) - Static method in class org.idris.rts.Prelude

Set a system environment value.

U

unsetenv(String) - Static method in class org.idris.rts.Prelude

Unset a system environment value.

unwrapTailCall(Object) - Static method in class org.idris.rts.Closure

Unfold tail calls by invoking the call method of the given parameter and its results until they can no longer be casted to Closure.

usleep(int) - Static method in class org.idris.rts.Prelude

Sleep for some time.

C D E F G I L M O P R S U