Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
I
iTasks-SDK
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
74
Issues
74
List
Boards
Labels
Service Desk
Milestones
Merge Requests
7
Merge Requests
7
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
clean-and-itasks
iTasks-SDK
Commits
cc5f03a5
Commit
cc5f03a5
authored
Jun 14, 2019
by
Tim Steenvoorden
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
make labels more readable
parent
9c4bb6b2
Pipeline
#25356
failed with stage
in 4 minutes and 44 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
14 additions
and
13 deletions
+14
-13
Examples/DynamicEditor/DynEditorExample.icl
Examples/DynamicEditor/DynEditorExample.icl
+14
-13
No files found.
Examples/DynamicEditor/DynEditorExample.icl
View file @
cc5f03a5
...
...
@@ -214,7 +214,7 @@ taskEditor = DynamicEditor
->
Typed
TaskFunc
(
a
->
Task
b
)
)
<<@@@
applyHorizontalBoxedLayout
<<@@@
AddLabels
[
Just
"message"
]
<<@@@
AddLabels
[
Just
"message"
]
,
functionConsDyn
"Done"
"done"
(
dynamic
\(
Typed
expr
)
->
Typed
(
Done
expr
)
::
A
.
a
:
...
...
@@ -237,10 +237,11 @@ taskEditor = DynamicEditor
->
Typed
Expr
b
)
<<@@@
applyHorizontalBoxedLayout
,
functionConsDyn
"Fst"
"fst"
<<@@@
AddLabels
[
Just
"the function"
,
Just
"to"
]
,
functionConsDyn
"Fst"
"first element"
(
dynamic
Typed
Fst
::
A
.
a
b
:
Typed
Func
((
a
,
b
)
->
a
))
<<@@@
applyHorizontalLayout
,
functionConsDyn
"Snd"
"s
nd
"
,
functionConsDyn
"Snd"
"s
econd element
"
(
dynamic
Typed
Snd
::
A
.
a
b
:
Typed
Func
((
a
,
b
)
->
b
))
<<@@@
applyHorizontalLayout
]
...
...
@@ -248,13 +249,13 @@ taskEditor = DynamicEditor
[
functionConsDyn
"Add"
"add"
(
dynamic
\(
Typed
i
)
->
Typed
(
Add
i
)
::
(
Typed
Expr
Int
)
->
Typed
Func
(
Int
->
Int
))
<<@@@
applyHorizontalBoxedLayout
,
functionConsDyn
"Sub"
"sub"
,
functionConsDyn
"Sub"
"sub
tract
"
(
dynamic
\(
Typed
i
)
->
Typed
(
Sub
i
)
::
(
Typed
Expr
Int
)
->
Typed
Func
(
Int
->
Int
))
<<@@@
applyHorizontalBoxedLayout
,
functionConsDyn
"Mul"
"mul"
,
functionConsDyn
"Mul"
"mul
tiply with
"
(
dynamic
\(
Typed
i
)
->
Typed
(
Mul
i
)
::
(
Typed
Expr
Int
)
->
Typed
Func
(
Int
->
Int
))
<<@@@
applyHorizontalBoxedLayout
,
functionConsDyn
"Div"
"div"
,
functionConsDyn
"Div"
"div
ide by
"
(
dynamic
\(
Typed
i
)
->
Typed
(
Div
i
)
::
(
Typed
Expr
Int
)
->
Typed
Func
(
Int
->
Int
))
<<@@@
applyHorizontalBoxedLayout
]
...
...
@@ -265,24 +266,24 @@ taskEditor = DynamicEditor
,
functionConsDyn
"Disj"
"or"
(
dynamic
\(
Typed
b
)
->
Typed
(
Disj
b
)
::
(
Typed
Expr
Bool
)
->
Typed
Func
(
Bool
->
Bool
))
<<@@@
applyHorizontalBoxedLayout
,
functionConsDyn
"Not"
"n
ot
"
,
functionConsDyn
"Not"
"n
egate
"
(
dynamic
Typed
Not
::
Typed
Func
(
Bool
->
Bool
))
<<@@@
applyHorizontalLayout
]
,
DynamicConsGroup
"Comparison"
[
functionConsDyn
"Gt"
"greater than"
[
functionConsDyn
"Gt"
"
is
greater than"
(
dynamic
\(
Typed
i
)
->
Typed
(
Gt
i
)
::
(
Typed
Expr
Int
)
->
Typed
Func
(
Int
->
Int
))
<<@@@
applyHorizontalBoxedLayout
,
functionConsDyn
"Ge"
"greater or equal"
,
functionConsDyn
"Ge"
"
is
greater or equal"
(
dynamic
\(
Typed
i
)
->
Typed
(
Ge
i
)
::
(
Typed
Expr
Int
)
->
Typed
Func
(
Int
->
Int
))
<<@@@
applyHorizontalBoxedLayout
,
functionConsDyn
"Eq"
"equal to"
,
functionConsDyn
"Eq"
"
is
equal to"
(
dynamic
\(
Typed
i
)
->
Typed
(
Eq
i
)
::
(
Typed
Expr
Int
)
->
Typed
Func
(
Int
->
Int
))
<<@@@
applyHorizontalBoxedLayout
,
functionConsDyn
"Le"
"lesser than"
,
functionConsDyn
"Le"
"
is
lesser than"
(
dynamic
\(
Typed
i
)
->
Typed
(
Le
i
)
::
(
Typed
Expr
Int
)
->
Typed
Func
(
Int
->
Int
))
<<@@@
applyHorizontalBoxedLayout
,
functionConsDyn
"Lt"
"lesser than"
,
functionConsDyn
"Lt"
"
is
lesser than"
(
dynamic
\(
Typed
i
)
->
Typed
(
Lt
i
)
::
(
Typed
Expr
Int
)
->
Typed
Func
(
Int
->
Int
))
<<@@@
applyHorizontalBoxedLayout
]
...
...
@@ -304,7 +305,7 @@ taskEditor = DynamicEditor
(
Typed
Expr
a
)
(
Typed
Expr
b
)
->
Typed
Expr
(
a
,
b
)
)
<<@@@
applyHorizontalBoxedLayout
<<@@@
AddLabels
[
Just
"with"
,
Just
"and"
]
<<@@@
AddLabels
[
Just
"with"
,
Just
"and"
]
]
// Types
,
DynamicConsGroup
"Types"
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment