Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
I
iTasks-SDK
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 73
    • Issues 73
    • 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
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • clean-and-itasks
  • iTasks-SDK
  • Issues
  • #24

Closed
Open
Opened Aug 24, 2015 by Rinus Plasmeijer@rinusDeveloper

no gui update after change of share

The following example did not work anymore after my last update. In the chat function nu updates of the chatting partner is happening anymore, in any direction..


chat1 :: Task (Note,Note)
chat1 = chat
	    

:: Situation	= AllIsFine | Fire | WaterProblem | TrafficAccident | OtherIssue Note
:: Reaction		= NoActionProposed | SendFireBrigate | SendPolice | SendSpecialForces | OtherProposal Note

derive class iTask Situation, Reaction

// chat: one worker can provide information of arbitrary type a which can be inspected by someone else
// while the other can show its work of arbitrary type b

chat :: Task (a,b) | iTask a & iTask b
chat =							selectCoWorker "with whom do you want to work ? "
		>>= \(me,colleague) ->	withShared defaultValue 
			(\workOfMe ->		withShared defaultValue
			(\workOfColleague ->((me,"chat") @: updateAndView (me,workOfMe) (colleague,workOfColleague))
								-&&-
								((colleague,"chat") @: updateAndView (colleague,workOfColleague) (me,workOfMe))
			))
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None
Reference: clean-and-itasks/iTasks-SDK#24