Prelude.pakcs 3.17 KB
Newer Older
Michael Hanus 's avatar
Michael Hanus committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
<?xml version="1.0" standalone="no"?>
<!DOCTYPE primitives SYSTEM "http://www.informatik.uni-kiel.de/~pakcs/primitives.dtd">
<primitives>
 <primitive name="$!" arity="2">
  <library>prim_standard</library>
  <entry>prim_applySeq[raw]</entry>
 </primitive>
 <primitive name="$!!" arity="2">
  <library>prim_standard</library>
  <entry>prim_applyNormalForm[raw]</entry>
 </primitive>
 <primitive name="$#" arity="2">
  <library>prim_standard</library>
  <entry>prim_applyNotFree[raw]</entry>
 </primitive>
 <primitive name="$##" arity="2">
  <library>prim_standard</library>
  <entry>prim_applyGroundNormalForm[raw]</entry>
 </primitive>
 <primitive name="seq" arity="2">
  <library>prim_standard</library>
  <entry>prim_seq[raw]</entry>
 </primitive>
 <primitive name="ensureNotFree" arity="1">
  <library>prim_standard</library>
  <entry>prim_ensureNotFree[raw]</entry>
 </primitive>
 <primitive name="prim_error" arity="1">
  <library>prim_standard</library>
  <entry>prim_error</entry>
 </primitive>
 <primitive name="failed" arity="0">
  <library>prim_standard</library>
  <entry>prim_failed[raw]</entry>
 </primitive>
 <primitive name="=:=" arity="2">
  <library>prim_standard</library>
  <entry>constrEq[raw]</entry>
 </primitive>
 <primitive name="=:&lt;=" arity="2">
  <library>prim_standard</library>
  <entry>unifEq[raw]</entry>
 </primitive>
 <primitive name="=:&lt;&lt;=" arity="2">
  <library>prim_standard</library>
  <entry>unifEqLinear[raw]</entry>
 </primitive>
 <primitive name="ifVar" arity="3">
  <library>prim_standard</library>
  <entry>prim_ifVar[raw]</entry>
 </primitive>
 <primitive name="&amp;" arity="2">
  <library>prim_standard</library>
  <entry>prim_concurrent_and[raw]</entry>
 </primitive>
 <primitive name="apply" arity="2">
  <library>prim_standard</library>
  <entry>prim_apply[raw]</entry>
 </primitive>
 <primitive name="cond" arity="2">
  <library>prim_standard</library>
  <entry>prim_cond[raw]</entry>
 </primitive>
 <primitive name="letrec" arity="2">
  <library>prim_standard</library>
  <entry>prim_letrec[raw]</entry>
 </primitive>
 <primitive name="failure" arity="2">
  <library>prim_standard</library>
  <entry>prim_failure[raw]</entry>
 </primitive>
 <primitive name="&gt;&gt;=$" arity="2">
  <library>prim_standard</library>
  <entry>prim_Monad_bind[raw]</entry>
 </primitive>
 <primitive name="&gt;&gt;$" arity="2">
  <library>prim_standard</library>
  <entry>prim_Monad_seq[raw]</entry>
 </primitive>
 <primitive name="returnIO" arity="1">
  <library>prim_standard</library>
  <entry>prim_return[raw]</entry>
 </primitive>
 <primitive name="prim_readFile" arity="1">
  <library>prim_standard</library>
  <entry>prim_readFile</entry>
 </primitive>
 <primitive name="prim_readFileContents" arity="1">
  <library>prim_standard</library>
  <entry>prim_readFileContents[raw]</entry>
 </primitive>
 <primitive name="prim_writeFile" arity="2">
  <library>prim_standard</library>
  <entry>prim_writeFile[raw]</entry>
 </primitive>
 <primitive name="prim_appendFile" arity="2">
  <library>prim_standard</library>
  <entry>prim_appendFile[raw]</entry>
 </primitive>
 <primitive name="catch" arity="2">
  <library>prim_standard</library>
  <entry>prim_catch[raw]</entry>
 </primitive>

</primitives>