AllExamples.icl 1.11 KB
Newer Older
1 2 3 4
module AllExamples

import iTasks

5 6
//Business examples
import Vote
Bas Lijnse's avatar
Bas Lijnse committed
7 8
import Purchase
import TravelBooking
9
import OrderProcessing
Bas Lijnse's avatar
Bas Lijnse committed
10
import ScheduleMeeting
11

12 13 14
//Higher order examples
import MovingTask
import DeadlineTask
15
import DelegateTask
Bas Lijnse's avatar
Bas Lijnse committed
16
import ReviewTask
Bas Lijnse's avatar
Bas Lijnse committed
17
import ExceptionHandling
18

19
//Miscellaneous examples
20
import SmallExamples
Bas Lijnse's avatar
Bas Lijnse committed
21
import GUIDemo
22
import BugReport
23 24
import Coffeemachine
import Newsgroups
25
import ChangeHandling
Bas Lijnse's avatar
Bas Lijnse committed
26
import WebShop
27

28 29 30
//Crisis response examples
import AmbulanceDispatch

31 32
//Change examples
import SimpleChanges
33

34 35 36
Start :: *World -> *World
Start world = startEngine workflows world
where
37
	workflows = flatten [ voteExample
Bas Lijnse's avatar
Bas Lijnse committed
38 39
						, purchaseExample
						, travelBookingExample
40
						, orderProcessingExample
Bas Lijnse's avatar
Bas Lijnse committed
41
						, scheduleMeetingExample
42 43
						, movingTaskExample
						, deadlineTaskExample
44
						, delegateTaskExample
Bas Lijnse's avatar
Bas Lijnse committed
45
						, reviewTaskExample
46
						, smallExamples
Bas Lijnse's avatar
Bas Lijnse committed
47
						, guiDemoExample
48
						, bugReportExample
49
						, coffeemachineExample
50 51
						, newsgroupsExample
						, exceptionHandlingExample
52
						, changeHandlingExample
Bas Lijnse's avatar
Bas Lijnse committed
53
						, webShopExample
54
						, ambulanceDispatchExamples
55
						, changeExamples
56
						]