arrows pointing right and left

Ambidexter Command Line


email Scott Turner
home
Ambidexter

reference

command line
syntax
built-ins
types
ambidexter filename [option]...
ambidexter -v
ambidexter --version

options are:

-o filename
--out filename
--output filename
Specify output file (default is to the terminal, i.e. stdout).
-v
--version
--no-version (default)
Whether to display the version number of Ambidexter.
--lt (default)
--no-lt
--lower-types (default)
--no-lower-types
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
--no-sm (default)
--strict-monad
--no-strict-monad (default)
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)
--no-tc
--type-check (default)
--no-type-check
Whether to infer static types and check type consistency.
--ul integer (default 50)
--unify-limit integer
Limit on the complexity which type inference (unification) will pursue.
--uc
--no-uc (default)
--unify-continue
--no-unify-continue (default)
If the type inference (unification) limit is reached without encountering any conflicts, this controls whether execution continues.
--ce (default)
--no-ce
--compressed-evaluation (default)
--no-compressed-evaluation
Whether to compress the expression tree periodically (like garbage collection).
--verbose
--no-verbose (default)
Whether to display the internal form of the program prior to excecution.
--tk
--no-tk (default)
--trace-kind
--no-trace-kind (default)
Whether to trace unification of kinds.
--tu
--no-tu (default)
--trace-unify
--no-trace-unify (default)
Whether to trace unification of types.
--tl
--no-tl (default)
--trace-lowering
--no-trace-lowering (default)
Whether to trace the lowering phase.
--tr
--no-tr (default)
--trace
--no-trace (default)
Whether to trace evaluation.
--qs (default)
--no-qs
--quick-stack (default)
--no-quick-stack
Whether to display the stack in condensed form while tracing evaluation.
--ls
--no-ls (default)
--long-stack
--no-long-stack (default)
Whether to display the stack in long form while tracing evaluation.
--tt
--no-tt (default)
--trace-types
--no-trace-types (default)
Whether be verbose with the types of subexpressions.

Support open standards!  
Valid XHTML 1.0!