repositories
/
ap2015.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c06f28e
)
:(
author
Mart Lubbers
<mart@martlubbers.net>
Mon, 5 Oct 2015 18:48:14 +0000
(20:48 +0200)
committer
Mart Lubbers
<mart@martlubbers.net>
Mon, 5 Oct 2015 18:48:14 +0000
(20:48 +0200)
a5/mart/a5.icl
patch
|
blob
|
history
diff --git
a/a5/mart/a5.icl
b/a5/mart/a5.icl
index
7924e16
..
7d9ca62
100644
(file)
--- a/
a5/mart/a5.icl
+++ b/
a5/mart/a5.icl
@@
-9,22
+9,26
@@
import iTasks
import Text // To check string length
:: Idea = {idea :: String, details :: Maybe Note, user :: Name, number :: Int}
import Text // To check string length
:: Idea = {idea :: String, details :: Maybe Note, user :: Name, number :: Int}
+:: ProtoIdea = {idea :: String, details :: Maybe Note}
:: Name:== String
:: Name:== String
-derive class iTask Idea // generic magic
+derive class iTask Idea
, ProtoIdea
// generic magic
ideas :: Shared [Idea]
ideas = sharedStore "Ideas" []
addNewIdea :: Task [Idea]
ideas :: Shared [Idea]
ideas = sharedStore "Ideas" []
addNewIdea :: Task [Idea]
-addNewIdea = enterInformation "New idea" [
]
+addNewIdea = enterInformation "New idea" [
EnterWith ideaLens]
>>* [OnAction ActionOk (hasValue (\v -> return v))]
>>= \n.upd (\is.[n:is]) ideas
>>* [OnAction ActionOk (hasValue (\v -> return v))]
>>= \n.upd (\is.[n:is]) ideas
+ where
+ ideaLens :: ProtoIdea -> Idea
+ ideaLens p = {idea=p.idea, user="Mart", number=42}
mainTask = forever (
addNewIdea
mainTask = forever (
addNewIdea
- -||
-
-
viewSharedInformation "Gathere ideas
" [] ideas
+ -||
+
enterChoiceWithShared "Idea
" [] ideas
)
)