Idris2Doc : Data.LLVM.IR.Alias

Data.LLVM.IR.Alias

Definitions

mkInt : Int->LExpr
  Create an integer constant.

Visibility: export
i1 : LType
  Create an i1 (boolean) type.

Visibility: export
i8 : LType
  Create an i8 type.

Visibility: export
i16 : LType
  Create an i16 type.

Visibility: export
i32 : LType
  Create an i32 type.

Visibility: export
i64 : LType
  Create an i64 type.

Visibility: export
void : LType
  Create a void type.

Visibility: export
ptr : LType
  Create a pointer type.

Visibility: export
ptrAddr : AddressSpace->LType
  Create a pointer type in specific address space.

Visibility: export
float : LType
  Create a float type.

Visibility: export
double : LType
  Create a double type.

Visibility: export
labelType : LType
  Create a label type.

Visibility: export
tokenType : LType
  Create a token type.

Visibility: export
metadataType : LType
  Create a metadata type.

Visibility: export
opaqueType : LType
  Create an opaque type.

Visibility: export
x86AmxType : LType
  Create an x86 AMX type.

Visibility: export
half : LType
  Create a half precision float type.

Visibility: export
bfloat : LType
  Create a brain float type.

Visibility: export
x86_fp80 : LType
  Create an x86 extended precision type.

Visibility: export
ppc_fp128 : LType
  Create a PowerPC double-double type.

Visibility: export
fp128 : LType
  Create a quad precision float type.

Visibility: export