Package bpmn2bpel
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all constructors
B
E
F
G
I
J
L
N
R
S
T
U
W
B
BPMNStart
(
BPMN2BPEL
)
BPMNEnd
(
BPMN2BPEL
)
BPMNPGW
(
BPMN2BPEL
)
BPMNXGW
(
BPMN2BPEL
)
BPMNActivity
(
BPMN2BPEL
)
BPMNInter
(
BPMN2BPEL
)
BPMNWait
(
BPMN2BPEL
)
BPMNReceive
(
BPMN2BPEL
)
B
E
F
G
I
J
L
N
R
S
T
U
W
E
EQ
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
F
Flow
(
BPMN2BPEL
)
False
(
Prelude
)
FailError
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
G
GT
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
I
Invoke
(
BPMN2BPEL
)
IOError
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
J
Just
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
L
LT
(
Prelude
)
Left
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
N
Nothing
(
Prelude
)
NondetError
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
R
Receive
(
BPMN2BPEL
)
Right
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
S
Switch
(
BPMN2BPEL
)
B
E
F
G
I
J
L
N
R
S
T
U
W
T
True
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
U
UserError
(
Prelude
)
B
E
F
G
I
J
L
N
R
S
T
U
W
W
Wait
(
BPMN2BPEL
)
B
E
F
G
I
J
L
N
R
S
T
U
W