Skip to content

Latest commit

 

History

History
59 lines (42 loc) · 1.59 KB

rex.md

File metadata and controls

59 lines (42 loc) · 1.59 KB
hidden
true

Rex

bopE

Creates a Rex node representing a function application in open mode.

bopE [varE 'f' varE 'x' varE 'y']  ; Returns a Rex node for (f x y)
bopE [varE '+' natE 1 natE 2]      ; Returns a Rex node for (+ 1 2)
bopE [varE 'single']               ; Returns a Rex node for single

bapE

Creates a Rex node representing a function application in open mode with the last argument as heir.

bapE [varE 'f' varE 'x' varE 'y']  ; Returns a Rex node for (f x
                                   ;                           y)
bapE [varE 'if' varE 'cond' varE 'then' varE 'else']
                                   ; Returns a Rex node for (if cond then
                                   ;                            else)
bapE [varE 'single']               ; Returns a Rex node for single

bowE

Creates a Rex node representing a row in open mode.

bowE [natE 1 natE 2 natE 3]  ; Returns a Rex node for (| 1 2 3)
bowE [varE 'a' varE 'b']     ; Returns a Rex node for (| a b)
bowE []                      ; Returns a Rex node for (|)

appE

Creates a Rex node representing a function application.

appE [varE 'f' varE 'x' varE 'y']  ; Returns a Rex node for (f x y)
appE [varE '+' natE 1 natE 2]      ; Returns a Rex node for (+ 1 2)
appE [varE 'single']               ; Returns a Rex node for single

rowE

Creates a Rex node representing a row.

rowE [natE 1 natE 2 natE 3]  ; Returns a Rex node for [1 2 3]
rowE [varE 'a' varE 'b']     ; Returns a Rex node for [a b]
rowE []                      ; Returns a Rex node for []