| definition: |
defaultOptions :: Options
defaultOptions =
Options { pageWidth = 78
, indentationWidth = 2
, qualification = Imports
, moduleName = ""
, showLocalSigs = False
, layoutChoice = PreferNestedLayout
, visibleTypes = emptyCol
, visibleFunctions = emptyCol
, visibleVariables = emptyCol }
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- The default options to pretty print a module. These are:
--- * page width: 78 characters
--- * indentation width: 2 characters
--- * show local signatures: False
--- * qualification method: qualify all imported names (except prelude names)
--- * layout choice: prefer nested layout (see 'LayoutChoice')
--- These options can be changed by corresponding setters
--- ('setPageWith', 'setIndentWith', `setShowLocalSigs`, `set...Qualification`, 'setLayoutChoice').
---
--- Note: If these default options are used for pretty-print operations
--- other than 'prettyCurryProg' or 'ppCurryProg', then one has to set
--- the current module name explicitly by 'setModName'!
|
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {Options}}
|
| name: |
defaultOptions |
| precedence: |
no precedence defined |
| result-values: |
{Options}
|
| signature: |
Options |
| solution-complete: |
operationally complete operation |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |