X_eTaL documentation

Files

library libs/Clocked/src/Clocked.xtl
library libs/Fixed/src/Fixed.xtl: Fixed: fixed-width two's complement numbers at a stated width, the arithmetic a w-bit circuit does Import it with an alias of your choice: "fx:" u_se< "Fixed". Put libs/Fixed/src on XETAL_PATH ("just path"); the reference is libs/Fixed/docs. Names with l: are exported; the others are private to this file.
library libs/Datapath/src/Datapath.xtl
library libs/Hex1000/src/Hex1000.xtl
library work/libs/Strings/src/Strings.xtl: Strings: text functions -- case, trimming, words, split and join, search, replace, padding. Import it with an alias of your choice: "t:" u_se< "Strings". Put libs/Strings/src on XETAL_PATH ("just path"); the reference is libs/Strings/docs. Names with l: are exported; those under h: are private to this file.
library libs/Radix/src/Radix.xtl: Radix: an eight-digit calculator in any radix (hexadecimal, octal, decimal): the specification HEX1000's ROM program must meet Import it with an alias of your choice: "rx:" u_se< "Radix". Put libs/Radix/src on XETAL_PATH ("just path"); the reference is libs/Radix/docs. Names with l: are exported; the others are private to this file.
system macros std/System.xtlm: The system macros (lang-choices MC18, MC19, MC24), loaded before every file with no import and no alias: each is called unprefixed, as "c" i_f< "a; b". A macro is a function of the source text on each side of its call; the text it gives replaces the call. @ on a side means the macro takes nothing there (MC22). What only the compiler knows comes from hooks (MC20), usable only in a macro body.
library libs/Uart/src/Uart.xtl: Uart: a serial port (UART: 8 data bits, no parity, 1 stop bit) as X_eTaL step functions: a transmitter, a receiver, and the two looped back Import it with an alias of your choice: "ua:" u_se< "Uart". Put libs/Uart/src on XETAL_PATH ("just path"); the reference is libs/Uart/docs. Names with l: are exported; the others are private to this file.
program libs/Clocked/demos/accumulator.xtl
program libs/Clocked/demos/counter.xtl
program libs/Clocked/demos/detect.xtl
program libs/Clocked/demos/ram.xtl
program libs/Clocked/demos/shift.xtl
program libs/Datapath/demos/pipeline.xtl
program libs/Datapath/demos/reduce-sum.xtl
program libs/Datapath/demos/saxpy.xtl
program libs/Datapath/demos/threshold.xtl
program libs/Datapath/demos/vector-add.xtl
program libs/Fixed/demos/counter.xtl
program libs/Fixed/demos/overflow.xtl
program libs/Hex1000/demos/calc.xtl
program libs/Hex1000/demos/circuit.xtl
program libs/Hex1000/demos/counter.xtl
program libs/Hex1000/demos/keys.xtl
program libs/Hex1000/demos/listing.xtl
program libs/Hex1000/demos/terminal.xtl
program libs/Radix/demos/radixes.xtl
program libs/Radix/demos/session.xtl
program libs/Uart/demos/loopback.xtl

Items

name	kind	type
ˡr̲un	function	`Any a => (a -> b -> a) -> a -> b -> a`
ˡt̲race	function	`(a -> b -> a) -> a -> b -> a`
ˡt̲ick	function	`Int -> Int -> Int`
ˡa̲ccumulate	function	`Int -> Int -> Int`
ˡs̲hift	function	`a -> a -> a`
ˡNext101	value	`Int`
ˡd̲etect	function	`Int -> Int -> Int`
ˡf̲ound?	function	`(Num a, Truthy b) => a -> b`
ˡw̲rite	function	`Int -> Int -> Int`
ˡr̲ead	function	`a -> Int -> a`
ˡl̲owest	function	`Num a => a -> a`
ˡh̲ighest	function	`Num a => a -> a`
ˡu̲wrap	function	`Int -> Int -> Int`
ˡw̲rap	function	`Int -> Int -> Int`
ˡo̲verflow?	function	`Truthy a => Int -> Int -> a`
ˡs̲at	function	`Num a => a -> a -> a`
ˡa̲dd	function	`Int -> Int -> Int -> Int`
ˡs̲ub	function	`Int -> Int -> Int -> Int`
ˡm̲ul	function	`Int -> Int -> Int -> Int`
ˡn̲eg	function	`Int -> Int -> Int`
ˡb̲its	function	`Int -> Int -> Int`
ˡv̲alue	function	`Int -> Int`
ˡh̲ex	function	`Int -> Int -> Char`
ˡv̲add	function	`Int -> Int -> Int -> Int`
ˡs̲axpy	function	`Int -> Int -> Int -> Int -> Int`
ˡr̲elu	function	`Num a => a -> a`
ˡt̲hreshold	function	`(Num a, Truthy a) => a -> a -> a`
ˡk̲eep	function	`Num a => a -> a -> a`
ˡs̲um	function	`Int -> Int -> Int`
ʰh̲alve	function	`Int -> Int -> Int`
ˡl̲argest	function	`Num a => a -> a`
ˡd̲ot	function	`Int -> Int -> Int -> Int`
ˡp̲ipeline	function	`Int -> Int -> Int -> Int`
ˡn̲extPc	function	`Int -> Int`
ˡOrder	value	`Int`
ˡNames	value	`Box Char`
Base	value	`Int`
Top	value	`Int`
ˡk̲ind	function	`Int -> Int`
ˡd̲isasm	function	`Int -> Char`
ˡReset	value	`(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)`
ˡr̲egs	function	`(Any b, Any c) => (a, a, a, a, a, a, a, a, a, a, b, c) -> a`
ˡr̲am	function	`(Any a, Any b, Any c, Any d, Any e, Any f, Any g, Any h, Any i, Any j, Any k) => (a, b, c, d, e, f, g, h, i, j, k, l) -> l`
ˡl̲atches	function	`(Any a, Any b, Any c, Any d, Any e, Any f, Any g, Any h, Any i, Any j, Any k, Any l) => (a, b, c, d, e, f, g, h, i, j, k, l) -> k`
ˡs̲tep	function	`(Num a, Truthy a) => Int -> (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int) -> Int -> (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int)`
ˡr̲un	function	`(Num a, Truthy a) => Int -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int), Int, Int) -> (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int)`
ˡr̲unKeys	function	`(Num a, Truthy a) => Int -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int), Int) -> (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int)`
ʰp̲ress	function	`(Num a, Truthy a) => Int -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int), Int) -> (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int)`
ˡt̲race	function	`(Num a, Truthy a) => Int -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int), Int, Int) -> Int`
ʰn̲ext	function	`(Num a, Truthy a) => (Int, (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int), Int, Int) -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, a, Int), Int)`
ˡRegNames	value	`Char`
ˡt̲able	function	`Char -> a -> Char`
ʰm̲atrix	function	`a -> a`
ʰr̲ow	function	`a -> Char`
ʰj̲oin	function	`(Int -> Char) -> Int -> Char`
ˡl̲isting	function	`Int -> Int -> Char`
ˡa̲ssemble	function	`Char -> Int`
ʰw̲ords	function	`Char -> Box Char`
ʰl̲abel?	function	`Box Char -> Int`
ʰr̲est	function	`Box Char -> Box Char`
ʰl̲abel	function	`Box Char -> (Int, Int, Int, Box Char, Int) -> (Int, Int, Int, Box Char, Int)`
ʰp̲lace	function	`(Box Char, Box Char, Int) -> (Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int)`
ʰo̲perand	function	`(Box Char, Int) -> (Char, Int, Box Char) -> Int`
ʰn̲umber	function	`Box Char -> Int`
ˡCalc	value	`Char`
ˡCalcRom	value	`Int`
ˡm̲atrix	function	`(Int, Int) -> Int`
ˡt̲ype	function	`(Truthy a, Num b) => Int -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, Int) -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, a, b)`
ˡt̲ypeOn	function	`(Truthy a, Num b) => Int -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, Int, Int) -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, a, b)`
ˡr̲ecord	function	`Int -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, Int) -> (Int, Int, Int)`
ʰr̲ec	function	`(Num a, Truthy a, Num b) => (Int, Int, ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, Int, a, Int, b), Int, Int, Int) -> (((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, Int, a, Int, b), Int, Int, Int)`
ʰt̲ick	function	`(Num a, Truthy a, Num b) => (Int, Int) -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, Int, a, Int, b) -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, Int, a, Int, b)`
ˡs̲creen	function	`Int -> Char`
ˡc̲alc	function	`Char -> Char`
ˡc̲ost	function	`Num a => Char -> a`
blanks	value	`Char`
ˡu̲pper	function	`Char -> Char`
ˡl̲ower	function	`Char -> Char`
ˡt̲rimStart	function	`Char -> Char`
ˡt̲rimEnd	function	`Char -> Char`
ˡt̲rim	function	`Char -> Char`
ˡw̲ords	function	`Char -> Box Char`
ˡj̲oin	function	`Char -> Box Char -> Char`
ˡs̲queeze	function	`Char -> Char`
ˡf̲ind	function	`Eq a => a -> a -> Int`
ʰa̲part	function	`Num a => a -> a -> a`
ˡo̲ccurrences	function	`Eq a => a -> a -> Int`
ˡs̲plit	function	`Eq a => a -> a -> Box a`
ˡl̲ines	function	`Char -> Box Char`
ˡr̲eplace	function	`Box Char -> Char -> Char`
ˡp̲refix?	function	`(Match a, Truthy b) => a -> a -> b`
ˡs̲uffix?	function	`(Match a, Truthy b) => a -> a -> b`
ˡi̲nfix?	function	`(Eq a, Truthy b) => a -> a -> b`
ˡp̲adLeft	function	`Int -> a -> a`
ˡp̲adRight	function	`Int -> a -> a`
ˡc̲enter	function	`Int -> a -> a`
ˡr̲epeat	function	`Int -> a -> a`
ˡm̲ix	function	`Box a -> a`
ˡWidth	value	`Int`
ˡm̲odulus	function	`Int -> Int`
ˡd̲igits	function	`Int -> Int -> Int`
ˡv̲alue	function	`Num a => a -> a -> a`
ˡw̲rap	function	`Int -> Int -> Int`
Keys	value	`Char`
ˡKeyPlus	value	`Int`
ˡKeyMinus	value	`Int`
ˡKeyTimes	value	`Int`
ˡKeyEquals	value	`Int`
ˡKeyClear	value	`Int`
ˡk̲eys	function	`Char -> Int`
ˡReset	value	`Int`
ʰa̲cc	function	`a -> a`
ʰe̲ntry	function	`a -> a`
ʰo̲p	function	`a -> a`
ʰp̲hase	function	`a -> a`
ˡa̲lu	function	`Int -> Int -> Int`
ʰt̲imes	function	`Int -> Int -> Int`
ʰs̲ettle	function	`Int -> Int -> Int`
ˡk̲ey	function	`Int -> Int -> Int -> Int`
ˡd̲isplay	function	`a -> a`
ˡs̲creen	function	`Int -> Int -> Char`
ˡc̲alc	function	`Int -> Char -> Char`
ˡr̲un	function	`Int -> Int -> Int`
ˢu̲se<	built-in macro	`Char -> Char -> Unit`
ˢi̲f<	macro	`Char -> Char -> Char`
ˢu̲nless<	macro	`Char -> Char -> Char`
ˢe̲ach<	macro	`Char -> Char -> Char`
ˢl̲ine<	macro	`Unit -> Unit -> Char`
ˢf̲ile<	macro	`Unit -> Unit -> Char`
ˢi̲nclude<	macro	`Unit -> Char -> Char`
ˢc̲fg<	macro	`Unit -> Char -> Char`
ˢe̲rror<	macro	`Char -> Char -> Char`
ˢd̲bg<	macro	`Unit -> Char -> Char`
ˢa̲ssert<	macro	`Char -> a -> Char`
ˢf̲ormat<	macro	`Unit -> Char -> Char`
ˢp̲anic<	macro	`Unit -> Char -> Char`
ˢt̲odo<	macro	`Unit -> Char -> Char`
ˢt̲ry<	macro	`Char -> Char -> Char`
ˢc̲atch<	macro	`Char -> Char -> Char`
ˢf̲inally<	macro	`Char -> Char -> Char`
ˢr̲ecover<	macro	`Unit -> Char -> Char`
ˢr̲etry<	macro	`Unit -> Unit -> Char`
ˢh̲alt<	macro	`Unit -> Unit -> Char`
ˢc̲ontinue<	macro	`Unit -> Unit -> Char`
catchCodes	value	`Char`
ʰm̲atchCode	function	`Char -> Char`
ifArgs	value	`Char`
eachAlone	value	`Char`
eachHole	value	`Char`
ʰt̲rim	function	`Char -> Char`
ʰw̲ords	function	`Char -> Box Char`
ʰs̲eps	function	`Truthy a => Char -> a`
ʰh̲oles	function	`(Num a, Truthy a) => Char -> a`
ʰj̲oin	function	`Box Char -> Char`
ʰq̲uote	function	`Char -> Char`
ʰc̲opy	function	`Char -> Char -> Char`
ʰw̲hy	function	`Char -> Char`
ʰo̲rEmpty	function	`Char -> Char`
ʰl̲it	function	`Char -> Char`
ʰc̲j	function	`Char -> Char -> Char`
ʰp̲ieces	function	`Char -> Char`
ˡTxIdle	value	`Int`
ˡt̲x	function	`Int -> Int -> Int -> Int`
ˡl̲ine	function	`Int -> Int`
ˡRxIdle	value	`Int`
ˡr̲x	function	`Int -> Int -> Int -> Int`
ˡr̲eceived	function	`a -> a`
ˡv̲alid?	function	`(Num a, Truthy b) => a -> b`
ˡLoopIdle	value	`Int`
ˡl̲oopback	function	`Int -> Int -> Int -> Int`
ˡl̲ines	function	`Int -> Int`
ˡl̲og	function	`Int -> Int`
ˡc̲ommands	function	`(Num a, Truthy a) => Int -> a -> a`
xs	value	`Int`
bits	value	`Int`
states	value	`Int`
cmds	value	`Int`
mem	value	`Int`
x	value	`Int`
k	value	`Int`
ᵘp̲ipeline	function	`Int -> Int -> Int`
v	value	`Int`
big	value	`Int`
x	value	`Int`
y	value	`Int`
ᵘs̲axpy	function	`Int -> Int -> Int`
ᵘb̲ig	function	`Int -> Int -> Int`
x	value	`Int`
a	value	`Int`
b	value	`Int`
ᵘv̲add	function	`Int -> Int -> Int`
ticks	value	`Int`
keys	value	`Int`
%39	value	`(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)`
st	value	`Int`
digits	value	`Bool`
done	value	`Int`
took	value	`Int`
%40	value	`Int`
ks	value	`Int`
os	value
rs	value
rom	value	`Int`
scan	value	`Int`
presses	value	`Int`
after	value	`(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)`
ᵘk̲ey	function	`Any a => a -> Key`
ᵘc̲ode	function	`Key -> Int`
ᵘd̲raw	function	`(Int, Char, Int) -> Char`
ᵘp̲ress	function	`Truthy a => ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, a) -> ((Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int), Int, a)`
%42	value	`(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)`
t0	value	`Int`
d0	value	`Bool`
done	value	`Int`
took	value	`Char`
shown	value	`(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)`
%43	value	`Int`
t	value	`Bool`
ᵘl̲oop	function	`Int -> Int -> Int`
trace	value	`Int`
s	value	`Int`