Package bpmn2bpel
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all operations
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
!
!!
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
$
$
(
Prelude
)
$!
(
Prelude
)
$!!
(
Prelude
)
$#
(
Prelude
)
$##
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
&
&&
(
Prelude
)
&
(
Prelude
)
&>
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
*
*>
(
Grappa
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
+
++
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
.
.
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
/
/==
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
<
<$>
(
Prelude
)
<|>
(
Grappa
)
<*>
(
Grappa
)
<$>
(
Grappa
)
<$
(
Grappa
)
<*
(
Grappa
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
=
=<<
(
Prelude
)
=:=
(
Prelude
)
=:<=
(
Prelude
)
=:<<=
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
?
?
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
A
ap
(
Prelude
)
asTypeOf
(
Prelude
)
and
(
Prelude
)
any
(
Prelude
)
all
(
Prelude
)
appendFile
(
Prelude
)
anyOf
(
Prelude
)
apply
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
B
bpel2xml
(
BPMN2BPEL
)
bpelComp2xml
(
BPMN2BPEL
)
break
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
C
chr
(
Prelude
)
const
(
Prelude
)
curry
(
Prelude
)
concat
(
Prelude
)
concatMap
(
Prelude
)
catch
(
Prelude
)
constrEq
(
Prelude
)
cond
(
Prelude
)
chain
(
Grappa
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
D
drop
(
Prelude
)
dropWhile
(
Prelude
)
doSolve
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
E
ex
(
BPMN2BPEL
)
eqString
(
Prelude
)
even
(
Prelude
)
ensureNotFree
(
Prelude
)
ensureSpine
(
Prelude
)
elem
(
Prelude
)
either
(
Prelude
)
error
(
Prelude
)
eoi
(
Grappa
)
edge
(
Grappa
)
ex_sm
(
BPMNParser
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
F
flowS
(
BPMN2BPEL
)
flElemS
(
BPMN2BPEL
)
fromIntegral
(
Prelude
)
flip
(
Prelude
)
fst
(
Prelude
)
foldl
(
Prelude
)
foldl1
(
Prelude
)
foldr
(
Prelude
)
foldr1
(
Prelude
)
filter
(
Prelude
)
failed
(
Prelude
)
flow
(
BPMNParser
)
flElem
(
BPMNParser
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
G
groundNormalForm
(
Prelude
)
getChar
(
Prelude
)
getLine
(
Prelude
)
getSemRep
(
Grappa
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
H
head
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
I
indent
(
BPMN2BPEL
)
isUpper
(
Prelude
)
isLower
(
Prelude
)
isAlpha
(
Prelude
)
isDigit
(
Prelude
)
isAlphaNum
(
Prelude
)
isBinDigit
(
Prelude
)
isOctDigit
(
Prelude
)
isHexDigit
(
Prelude
)
isSpace
(
Prelude
)
id
(
Prelude
)
ifThenElse
(
Prelude
)
iterate
(
Prelude
)
ioError
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
L
lex
(
Prelude
)
liftM2
(
Prelude
)
lines
(
Prelude
)
length
(
Prelude
)
lookup
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
M
mapM
(
Prelude
)
mapM_
(
Prelude
)
map
(
Prelude
)
maybe
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
N
normalForm
(
Prelude
)
not
(
Prelude
)
null
(
Prelude
)
notElem
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
O
odd
(
Prelude
)
ord
(
Prelude
)
otherwise
(
Prelude
)
or
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
P
processS
(
BPMN2BPEL
)
putChar
(
Prelude
)
putStr
(
Prelude
)
putStrLn
(
Prelude
)
print
(
Prelude
)
PEVAL
(
Prelude
)
pSucceed
(
Grappa
)
process
(
BPMNParser
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
R
reads
(
Prelude
)
readParen
(
Prelude
)
read
(
Prelude
)
realToFrac
(
Prelude
)
repeat
(
Prelude
)
replicate
(
Prelude
)
reverse
(
Prelude
)
readFile
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
S
seq2xml
(
BPMN2BPEL
)
shows
(
Prelude
)
showChar
(
Prelude
)
showString
(
Prelude
)
showParen
(
Prelude
)
showTuple
(
Prelude
)
sequence
(
Prelude
)
sequence_
(
Prelude
)
seq
(
Prelude
)
snd
(
Prelude
)
splitAt
(
Prelude
)
span
(
Prelude
)
success
(
Prelude
)
solve
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
T
tail
(
Prelude
)
take
(
Prelude
)
takeWhile
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
U
unlines
(
Prelude
)
unwords
(
Prelude
)
uncurry
(
Prelude
)
until
(
Prelude
)
unzip
(
Prelude
)
unzip3
(
Prelude
)
userError
(
Prelude
)
unknown
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
W
words
(
Prelude
)
writeFile
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
Z
zip
(
Prelude
)
zip3
(
Prelude
)
zipWith
(
Prelude
)
zipWith3
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
^
^
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|
|
||
(
Prelude
)
!
$
&
*
+
.
/
<
=
?
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
Z
^
|