package links
val debugging_enabled : bool Settings.setting
Whether to turn on debug printing
val web_mode : bool Settings.setting
true
if we're in web mode
val interactive_mode : bool Settings.setting
true
if we're in interactive mode
val wait_for_child_processes : bool Settings.setting
If true
, then wait for all child processes to finish before terminating
val concurrent_server : bool Settings.setting
If true
, then enable concurrency on the server:
- Child processes are abandoned if the main process ends.
- A run-time error results if the server tries to call the client with child processes still running.
val printing_types : bool Settings.setting
Set this to true
to print types when printing results.
val prelude_file : string Settings.setting
Name of the file containing the prelude code.
module DatabaseDrivers : sig ... end
val welcome_note : string Settings.setting
val allow_impure_defs : bool Settings.setting
Allow impure top-level definitions
module Js : sig ... end
JS stuff
module Shredding : sig ... end
module RelationalLenses : sig ... end
module Appserver : sig ... end
App server stuff
Caveat: don't Open basicsettings
because the above module conflicts with the Js module from js.ml
val pp : string Settings.setting
Installed preprocessor
val database_driver : string Settings.setting
Default database settings
val database_args : string Settings.setting
val printing_functions : bool Settings.setting
Set this to true
to print the body and environment of a function. When false
, functions are simply printed as fun
val optimise : bool Settings.setting
val modules : bool Settings.setting
val use_keys_in_shredding : bool Settings.setting
val links_file_paths : string Settings.setting
val print_pretty : bool Settings.setting
val print_types_pretty : bool Settings.setting
val print_colors : bool Settings.setting
val show_pre_frontend_ast : bool Settings.setting
val show_post_frontend_ast : bool Settings.setting
val show_sugar_positions : bool Settings.setting
val websocket_url : string Settings.setting
val typecheck_only : bool Settings.setting
module Handlers : sig ... end
module Performance : sig ... end
module Serialisation : sig ... end
module TypeSugar : sig ... end
module Types : sig ... end
module CompilePatterns : sig ... end
module Ir : sig ... end
module Generalise : sig ... end
module Webif : sig ... end
module Json : sig ... end
module Webserver_types : sig ... end
module Instantiate : sig ... end
module Evalir : sig ... end
module Sugartoir : sig ... end
module Unify : sig ... end
module StdLib : sig ... end
module Readline : sig ... end
module Sessions : sig ... end
module Database : sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>