X_eTaL documentation

Files

library extensions/gpu/lib/Gpu.xtl: Gpu: XIR programs run on OpenCL devices (or the reference interpreter) from X_eTaL
macro library work/xetal-extensions/lib/Ffi.xtlm: Ffi.xtlm -- the binding macro: a facade function written from the signature of a native function (docs/ffi-macro.md). Import: "ffi:" u_se< "Ffi" (xetal-x puts this directory on XETAL_PATH)
macro library extensions/gpu/lib/Gpu.xtlm: Gpu.xtlm: the accelerate macro: a function's text handed to the GPU runner
library libs/Accel/src/Accel.xtl: Accel: the acceleratable subset of X_eTaL: elementwise arithmetic, masks, reductions, products, transposes, windows, lookups, choices, a layer
program libs/Accel/demos/axis-reduce.xtl
program libs/Accel/demos/host-data.xtl
program libs/Accel/demos/lookup.xtl
program libs/Accel/demos/matmul.xtl
program libs/Accel/demos/pipeline.xtl
program libs/Accel/demos/reduce-sum.xtl
program libs/Accel/demos/saxpy.xtl
program libs/Accel/demos/threshold.xtl
program libs/Accel/demos/tiny-net.xtl
program libs/Accel/demos/topk.xtl
program libs/Accel/demos/transpose.xtl
program libs/Accel/demos/vector-add.xtl
program libs/Accel/demos/windows.xtl
program extensions/gpu/demos/accelerate.xtl
program extensions/gpu/demos/offload.xtl
library work/xetal-extensions/extensions/clock/lib/Clock.xtl: Clock.xtl -- the facade of the clock extension: wall-clock and monotonic time, which X_eTaL does not have, for timestamps and timing. Import: "ck:" u_se< "Clock" Run with xetal-x (xetal-x --ext DIR puts this directory on XETAL_PATH). Each signature line is written out by the binding macro (lib/Ffi.xtlm).

Items

name	kind	type
ˡd̲evices	function	`Unit -> Char`
ˡl̲oad	function	`Char -> Int`
ˡl̲ower	function	`Char -> Char -> Int`
ˡb̲ind	function	`(Num a, Num b) => a -> b -> Int`
ˡb̲indFile	function	`Num a => a -> Char -> Int`
ˡs̲chedule	function	`Char -> Int`
ˡr̲un	function	`Num a => a -> Int`
ˡr̲erun	function	`Num a => a -> Int`
ˡo̲utput	function	`Num a => a -> Float`
ˡo̲utputInts	function	`Num a => a -> Int`
ˡe̲xplain	function	`Unit -> Char`
ˡk̲ernel	function	`Unit -> Char`
ʰn̲l	function	`Unit -> Char`
ˡp̲roductProgram	function	`a -> b -> Char`
ˡd̲enseProgram	function	`Int -> a -> Char`
ˡa̲fter	function	`(Any a, Any b) => a -> b -> a`
ˡp̲roduct	function	`(Num a, Num b) => a -> b -> Float`
ˡd̲ense	function	`(Num a, Num b) => a -> b -> Float`
ˡn̲ear	function	`(Num a, Num b) => a -> b -> Char`
ˡpackage	value	`Char`
ʰw̲ords	function	`Char -> Box Char`
ʰw̲ord	function	`Any a => Int -> Box a -> a`
ʰv̲alue	function	`Char -> Char -> Char`
ʰq̲uery	function	`Char -> Char -> Char`
ʰp̲ut	function	`Char -> Char -> Char`
ʰg̲et	function	`Char -> Char -> Char`
ʰp̲arams	function	`(Any a, Num b) => a -> b -> Char`
ʰp̲uts	function	`Box Char -> Char -> Char`
ᵐb̲ind<	macro	`Char -> Char -> Char`
ʰw̲ords	function	`Char -> Box Char`
ʰw̲ord	function	`Any a => Int -> Box a -> a`
ʰq̲uote	function	`Char -> Char`
ʰs̲econd	function	`Box Char -> Char`
ʰh̲ead	function	`Char -> Char -> Char`
ʰb̲inds	function	`Char -> Char -> Char`
ᵐa̲ccel<	macro	`Char -> Char -> Char`
ˡv̲add	function	`Num a => a -> a -> a`
ˡs̲cale	function	`Num a => a -> a -> a`
ˡr̲elu	function	`Num a => a -> a`
ˡt̲hreshold	function	`Float -> Float -> Float`
ˡk̲eep	function	`Num a => a -> a -> a`
ˡs̲um	function	`Num a => a -> a`
ˡl̲argest	function	`Num a => a -> a`
ˡd̲ot	function	`Num a => a -> a -> a`
ˡr̲owSums	function	`Num a => a -> a`
ˡc̲olSums	function	`Num a => a -> a`
ˡr̲owMax	function	`Num a => a -> a`
ˡm̲atmul	function	`Num a => a -> a -> a`
ˡs̲cores	function	`Num a => a -> a -> a`
ˡw̲eightGrad	function	`Num a => a -> a -> a`
ˡe̲mbed	function	`a -> Int -> a`
ˡw̲indows	function	`a -> a`
ˡc̲onv	function	`Num a => a -> a -> a`
ˡa̲rgmax	function	`Num a => a -> Int`
ˡt̲opk	function	`Int -> Float -> Float`
ˡd̲ense	function	`Num a => a -> a -> a`
ˡs̲oftmax	function	`Num a => a -> Float`
ˡp̲ipeline	function	`Num a => a -> a -> a`
m	value	`Int`
f	value	`Float`
v	value	`Int`
m	value	`Int`
f	value	`Float`
v	value	`Int`
m	value	`Int`
t	value	`Float`
ids	value	`Int`
e	value	`Float`
a	value	`Int`
b	value	`Int`
f	value	`Float`
g	value	`Float`
x	value	`Int`
w	value	`Int`
f	value	`Float`
g	value	`Float`
a	value	`Int`
b	value	`Int`
c	value	`Int`
f	value	`Float`
x	value	`Float`
y	value	`Float`
x	value	`Float`
n	value	`Int`
w1	value	`Float`
w2	value	`Float`
x	value	`Float`
h	value	`Float`
p	value	`Float`
m	value	`Float`
s	value	`Float`
m	value	`Int`
t	value	`Int`
q	value	`Float`
k	value	`Float`
x	value	`Float`
dy	value	`Float`
a	value	`Int`
b	value	`Int`
x	value	`Float`
y	value	`Float`
v	value	`Int`
x	value	`Float`
k	value	`Float`
ᵘl̲ayer	function	`(Num a, Num b) => a -> b -> Float`
x	value	`Float`
wb	value	`Float`
h	value	`Float`
ᵘa̲ttend	function	`(Num a, Num b) => a -> b -> Float`
q	value	`Float`
k	value	`Float`
p	value	`Float`
ᵘe̲mbed	function	`(Num a, Num b) => a -> b -> Float`
t	value	`Float`
ids	value	`Int`
e	value	`Float`
a	value	`Float`
cpu	value	`Float`
gpu	value	`Float`
x	value	`Float`
w	value	`Float`
cpuE	value	`Float`
p	value	`Char`
gpuE	value	`Float`
ˡn̲ow	function	`Unit -> Float`
ˡi̲so	function	`Unit -> Char`
ˡi̲soOf	function	`Num a => a -> Char`
ˡm̲illis	function	`Unit -> Float`
ˡt̲ime	function	`(Any a, Any b) => (a -> b) -> a -> Float`
ˡpackage	value	`Char`