Commit e71405d2 authored by Michael Hanus's avatar Michael Hanus
Browse files

Findall.allHNFs added for PAKCS

parent 7384be8c
......@@ -22,6 +22,7 @@ module Findall
, allValues, someValue
, allSolutions, someSolution
#ifdef __PAKCS__
, allHNFs
, try, inject, solveAll, once, best
, findall, findfirst, browse, browseList, unpack
, rewriteAll, rewriteSome
......@@ -116,6 +117,14 @@ someSolution p = someValue (let x free in p x &> x)
#endif
#ifdef __PAKCS__
--- Returns all head normal forms of an expression (currently, via an incomplete
--- depth-first strategy).
---
--- Note that this operation is not purely declarative since the ordering
--- of the computed values depends on the ordering of the program rules.
allHNFs :: a -> [a]
allHNFs external
------------------------------------------------------------------------------
--- Basic search control operator.
try :: (a -> Bool) -> [a -> Bool]
......
......@@ -9,6 +9,10 @@
<library>prim_standard</library>
<entry>prim_findfirst[raw]</entry>
</primitive>
<primitive name="allHNFs" arity="1">
<library>prim_standard</library>
<entry>prim_allHNFs[raw]</entry>
</primitive>
<primitive name="try" arity="1">
<library>prim_standard</library>
<entry>prim_try[raw]</entry>
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment