Ambidexter Command Line
email Scott Turner
ambidexter filename [option]...
ambidexter -v
ambidexter --version
options are:
-o filename
|
Specify output file (default is to the terminal, i.e. stdout). |
-v
|
Whether to display the version number of Ambidexter. |
--lt (default)
|
Whether to treat function and I/O types as equivalent to more fine-grained logical types. With --lower-types,
the type s → t
(of a by-value function)
is equivalent to ¬(s ∧ ¬t),
and the type s ↚ t (of a by-name function)
is equivalent to ¬s ∧ t.
IOV t is equivalent to ¬IO t, and
ION t is equivalent to IO ¬t.
|
--sm
|
Strict monad alters execution of by-name monadic binding, i.e.
{ =: ; } syntax.
The left operand always returns an evaluated value.
This is enforced by a change in the type matching rules
for monadic binding coterms.
|
--tc (default)
|
Whether to infer static types and check type consistency. |
--ul integer (default 50)
|
Limit on the complexity which type inference (unification) will pursue. |
--uc
|
If the type inference (unification) limit is reached without encountering any conflicts, this controls whether execution continues. |
--ce (default)
|
Whether to compress the expression tree periodically (like garbage collection). |
--verbose
|
Whether to display the internal form of the program prior to excecution. |
--tk
|
Whether to trace unification of kinds. |
--tu
|
Whether to trace unification of types. |
--tl
|
Whether to trace the lowering phase. |
--tr
|
Whether to trace evaluation. |
--qs (default)
|
Whether to display the stack in condensed form while tracing evaluation. |
--ls
|
Whether to display the stack in long form while tracing evaluation. |
--tt
|
Whether be verbose with the types of subexpressions. |