Commands
- Tests
Data
- Binary
- Json
- JsonNode
- Writer
- XML
Diagram
- svg
Document
- All
Dropins
- Core
Experimental
- Simantics
  - Diagram
    - Clipboard
Expressions
- Context
Extras
- HashMap
HTTP
- Client
- Form
- MediaType
- MultiPart
Java
- Collection
- Iterator
Junit
- Assert
SCL
- CallHierarchy
- CommandSession
- Common
- CurrentModuleRepository
- Environment
- Expressions
- Module
- ModuleRepository
- ProceduralModule
- Reflection
SWT
- All
- Types
Server
- RESTSCL
Simantics
- Action
- All
- Annotation
- Annotation2
- AuditLogging
  - Client
  - Server
- BTree
- Backup
- BuildInfo
- ChangeInformation
- Chart
- Clipboard
- CommandRecording
- Context
- DB
- DBSupport
- Datatypes
- Debug
  - Browser
- DesktopUI
- Development
- Diagram
  - ElementTransforms
  - Experimental
    - ElementTransforms
  - Internal
    - DiagramOntologyEntryPoint
  - SVGNode
  - SymbolLibrary
- DiagramMapping
- Document
- DocumentLinking
- DrawingTemplate
- Entity
- Event
- Flag
- Formatting
- GShow
- GUID
- GraphFile
- GraphicalDebugger
- Help
- Image
- Issue
- IssueUI
- Layer0
- Library
- Misc
- Model
- Ontologies
- PGraph
- PageSettings
- PlatformUI
- ProceduralUserComponent
- Profile
- Query
- Rename
- ReverseSynchronization
- RouteGraph
- SCL
- SceneGraphWebalizer
- Scenegraph
- SelectionView
  - TabContribution
    - SVG
- Sequences
- SharedOntologies
- Simulation
- Structural
- Subscription
- Testing
  - ActionBrowseContext
  - BrowseContext
  - BuiltinKeys
- Tests
- TestsUI
- Typicals
- UI
- UserComponent
- Variables
- Workbench
- WorkbenchSelection
Spreadsheet
- All
- Solver
StandardLibrary
- Arbitrary
- ArrayList
- Async
- BigInteger
- Builtin
- Charset
- Coercion
- Collection
- Comparator
- Databoard
- Debug
- Excel
- File
- Files
- Formatting
- Future
- ISet
- Interpolation
- IterN
- Iterator
- JavaBuiltin
- Json
- Json2
- Lazy
- Lens
- Logging
- LoggingJava
- LoggingMDC
- LoggingUtils
- MList
- MMap
- MMultiMap
- MSet
- MTreeMap
- Map
- Minigraph
- OSGi
- Prelude
- Random
- Reflection
- SList
- SafeDynamic
- Serialization
- Set
- SetClasses
- StandardLibrary
- Stream
- String
- StringBuilder
- StringIO
- Test
- URL
- Unification
- Vector
Structural
- Procedural
Tutorial
- 1.01 Console
- 1.02 Language basics
- 1.03 Evaluation semantics
- 1.04 Numbers
- 1.05 Lists
- 1.06 Types
- 1.07 Booleans
- 1.08 Side effects
- 1.09 Strings
- 1.10 Optional values (Maybe)
- 1.11 Functions
- 1.12 Tuples
- 2.02 Model configuration
- 2.03 (Exercise) Pipelines
- 2.04 (Exercise) Polyline
- 2.05 Semantic graph
- 2.06 (Exercise) Pipelines again
- 2.07 (Solution) Pipelines
- 2.08 (Solution) Polyline
- 2.09 (Solution) Pipelines again
- 3.01 Simulation sequences
- 3.02 (Exercise) Model fitting
- 3.03 (Exercise) Controller tuning
- 3.04 (Solution) Model fitting
- 4.01 Other language features
- X Old tutorial
UI
- Progress
Visualization
- GGraph
- Graphviz
- ModuleDependencyGraph

Module Builtin

This module is undocumented. This is a list of its definitions.

(()) :: ()

((,)) :: a -> b -> (a, b)

((,,)) :: a -> b -> c -> (a, b, c)

((,,,)) :: a -> b -> c -> d -> (a, b, c, d)

((,,,,)) :: a -> b -> c -> d -> e -> (a, b, c, d, e)

((,,,,,)) :: a -> b -> c -> d -> e -> f -> (a, b, c, d, e, f)

((,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> (a, b, c, d, e, f, g)

((,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> (a, b, c, d, e, f, g, h)

((,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> (a, b, c, d, e, f, g, h, i)

((,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> (a, b, c, d, e, f, g, h, i, j)

((,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> (a, b, c, d, e, f, g, h, i, j, k)

((,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> (a, b, c, d, e, f, g, h, i, j, k, l)

((,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> (a, b, c, d, e, f, g, h, i, j, k, l, m)

((,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

((,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

((,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)

((,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)

((,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)

((,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)

((,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)

((,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)

((,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)

((,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)

((,,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)

((,,,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x -> y -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)

((,,,,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x -> y -> z -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)

((,,,,,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x -> y -> z -> aa -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa)

((,,,,,,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x -> y -> z -> aa -> ab -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab)

((,,,,,,,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x -> y -> z -> aa -> ab -> ac -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac)

((,,,,,,,,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x -> y -> z -> aa -> ab -> ac -> ad -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad)

((,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x -> y -> z -> aa -> ab -> ac -> ad -> ae -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae)

((,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,)) :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x -> y -> z -> aa -> ab -> ac -> ad -> ae -> af -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af)

(==) :: a -> a -> Boolean

Dynamic :: a -> Dynamic

False :: Boolean

Just :: a -> Maybe a

Nothing :: Maybe a

TApply :: Type -> Type -> Type

TCon :: String -> String -> Type

TFun :: Type -> Type -> Type -> Type

TPure :: Type

TUnion2 :: Type -> Type -> Type

TUnion3 :: Type -> Type -> Type -> Type

True :: Boolean

TypeProxy :: TypeProxy a

binding :: Serializable a => Binding a

Gives a binding for the required type.

classObject :: VecComp a => Class a

createMVector :: VecComp a => Integer -> <Proc> MVector a

createMVectorProto :: Vector a -> Integer -> <Proc> MVector a

fail :: String -> a

Throws a runtime exeception with the given string as a description.

freezeMVector :: MVector a -> <Proc> Vector a

getMVector :: MVector a -> Integer -> <Proc> a

getVector :: Vector a -> Integer -> a

hashCode :: a -> Integer

lengthMVector :: MVector a -> Integer

lengthVector :: Vector a -> Integer

runProc :: <Proc,b> a -> <b> a

setMVector :: MVector a -> Integer -> a -> <Proc> ()

throw :: a -> <Proc> b

Throws a given exception.

typeOf :: Typeable a => a -> Type

Returns the type of the value given as a parameter.

typeOfProxy :: Typeable a => TypeProxy a -> Type

Returns the type of the type proxy given as a parameter.

typeValue :: Typeable a => Type

visitBranchPoint :: BranchPoint -> <Proc> ()