+# GENERATED FILE. DO NOT EDIT.
+# The code that generated these functions is in the repo history
+# at the v0.4.0 tag.
+from .errors import NotAListError, StackUnderflowError
+
+
+def _Tree_add_Ee(stack):
+ """
+ ::
+
+ ([a4 a5 ...1] a3 a2 a1 -- [a2 a3 ...1])
+
+ """
+ (a1, (a2, (a3, ((a4, (a5, s1)), s2)))) = stack
+ return ((a2, (a3, s1)), s2)
+
+
+def _Tree_delete_R0(stack):
+ """
+ ::
+
+ ([a2 ...1] a1 -- [a2 ...1] a2 a1 a1)
+
+ """
+ (a1, ((a2, s1), s2)) = stack
+ return (a1, (a1, (a2, ((a2, s1), s2))))
+
+
+def _Tree_delete_clear_stuff(stack):
+ """
+ ::
+
+ (a3 a2 [a1 ...1] -- [...1])
+
+ """
+ ((a1, s1), (a2, (a3, s2))) = stack
+ return (s1, s2)
+
+
+def _Tree_get_E(stack):
+ """
+ ::
+
+ ([a3 a4 ...1] a2 a1 -- a4)
+
+ """
+ (a1, (a2, ((a3, (a4, s1)), s2))) = stack
+ return (a4, s2)
+
+
+[docs]def ccons(stack):
+
"""
+
::
+
+
(a2 a1 [...1] -- [a2 a1 ...1])
+
+
"""
+
(s1, (a1, (a2, s2))) = stack
+
return ((a2, (a1, s1)), s2)
+
+
+[docs]def cons(stack):
+
"""
+
::
+
+
(a1 [...0] -- [a1 ...0])
+
+
"""
+
try: s0, stack = stack
+
except ValueError: raise StackUnderflowError('Not enough values on stack.')
+
if not isinstance(s0, tuple): raise NotAListError('Not a list.')
+
try: a1, s23 = stack
+
except ValueError: raise StackUnderflowError('Not enough values on stack.')
+
return ((a1, s0), s23)
+
+
+[docs]def dup(stack):
+
"""
+
::
+
+
(a1 -- a1 a1)
+
+
"""
+
(a1, s23) = stack
+
return (a1, (a1, s23))
+
+
+[docs]def dupd(stack):
+
"""
+
::
+
+
(a2 a1 -- a2 a2 a1)
+
+
"""
+
(a1, (a2, s23)) = stack
+
return (a1, (a2, (a2, s23)))
+
+
+[docs]def dupdd(stack):
+
"""
+
::
+
+
(a3 a2 a1 -- a3 a3 a2 a1)
+
+
"""
+
(a1, (a2, (a3, s23))) = stack
+
return (a1, (a2, (a3, (a3, s23))))
+
+
+[docs]def first(stack):
+
"""
+
::
+
+
([a1 ...1] -- a1)
+
+
"""
+
((a1, s1), s23) = stack
+
return (a1, s23)
+
+
+[docs]def first_two(stack):
+
"""
+
::
+
+
([a1 a2 ...1] -- a1 a2)
+
+
"""
+
((a1, (a2, s1)), s2) = stack
+
return (a2, (a1, s2))
+
+
+[docs]def fourth(stack):
+
"""
+
::
+
+
([a1 a2 a3 a4 ...1] -- a4)
+
+
"""
+
((a1, (a2, (a3, (a4, s1)))), s2) = stack
+
return (a4, s2)
+
+
+[docs]def over(stack):
+
"""
+
::
+
+
(a2 a1 -- a2 a1 a2)
+
+
"""
+
(a1, (a2, s23)) = stack
+
return (a2, (a1, (a2, s23)))
+
+
+[docs]def pop(stack):
+
"""
+
::
+
+
(a1 --)
+
+
"""
+
try:
+
(a1, s23) = stack
+
except ValueError:
+
raise StackUnderflowError('Cannot pop empty stack.')
+
return s23
+
+
+[docs]def popd(stack):
+
"""
+
::
+
+
(a2 a1 -- a1)
+
+
"""
+
(a1, (a2, s23)) = stack
+
return (a1, s23)
+
+
+[docs]def popdd(stack):
+
"""
+
::
+
+
(a3 a2 a1 -- a2 a1)
+
+
"""
+
(a1, (a2, (a3, s23))) = stack
+
return (a1, (a2, s23))
+
+
+[docs]def popop(stack):
+
"""
+
::
+
+
(a2 a1 --)
+
+
"""
+
(a1, (a2, s23)) = stack
+
return s23
+
+
+[docs]def popopd(stack):
+
"""
+
::
+
+
(a3 a2 a1 -- a1)
+
+
"""
+
(a1, (a2, (a3, s23))) = stack
+
return (a1, s23)
+
+
+[docs]def popopdd(stack):
+
"""
+
::
+
+
(a4 a3 a2 a1 -- a2 a1)
+
+
"""
+
(a1, (a2, (a3, (a4, s23)))) = stack
+
return (a1, (a2, s23))
+
+
+[docs]def rest(stack):
+
"""
+
::
+
+
([a1 ...0] -- [...0])
+
+
"""
+
try:
+
s0, stack = stack
+
except ValueError:
+
raise StackUnderflowError
+
if not isinstance(s0, tuple):
+
raise NotAListError('Not a list.')
+
try:
+
_, s1 = s0
+
except ValueError:
+
raise StackUnderflowError('Cannot take rest of empty list.')
+
return (s1, stack)
+
+
+[docs]def rolldown(stack):
+
"""
+
::
+
+
(a1 a2 a3 -- a2 a3 a1)
+
+
"""
+
(a3, (a2, (a1, s23))) = stack
+
return (a1, (a3, (a2, s23)))
+
+
+[docs]def rollup(stack):
+
"""
+
::
+
+
(a1 a2 a3 -- a3 a1 a2)
+
+
"""
+
(a3, (a2, (a1, s23))) = stack
+
return (a2, (a1, (a3, s23)))
+
+
+[docs]def rrest(stack):
+
"""
+
::
+
+
([a1 a2 ...1] -- [...1])
+
+
"""
+
((a1, (a2, s1)), s2) = stack
+
return (s1, s2)
+
+
+[docs]def second(stack):
+
"""
+
::
+
+
([a1 a2 ...1] -- a2)
+
+
"""
+
((a1, (a2, s1)), s2) = stack
+
return (a2, s2)
+
+
+[docs]def stack(stack):
+
"""
+
::
+
+
(... -- ... [...])
+
+
"""
+
s0 = stack
+
return (s0, s0)
+
+
+[docs]def stuncons(stack):
+
"""
+
::
+
+
(... a1 -- ... a1 a1 [...])
+
+
"""
+
(a1, s1) = stack
+
return (s1, (a1, (a1, s1)))
+
+
+[docs]def stununcons(stack):
+
"""
+
::
+
+
(... a2 a1 -- ... a2 a1 a1 a2 [...])
+
+
"""
+
(a1, (a2, s1)) = stack
+
return (s1, (a2, (a1, (a1, (a2, s1)))))
+
+
+[docs]def swaack(stack):
+
"""
+
::
+
+
([...1] -- [...0])
+
+
"""
+
try:
+
(s1, s0) = stack
+
except ValueError:
+
raise StackUnderflowError('Not enough values on stack.')
+
if not isinstance(s1, tuple):
+
raise NotAListError('Not a list.')
+
return (s0, s1)
+
+
+[docs]def swap(stack):
+
"""
+
::
+
+
(a1 a2 -- a2 a1)
+
+
"""
+
try:
+
(a2, (a1, s23)) = stack
+
except ValueError:
+
raise StackUnderflowError('Not enough values on stack.')
+
return (a1, (a2, s23))
+
+
+[docs]def swons(stack):
+
"""
+
::
+
+
([...1] a1 -- [a1 ...1])
+
+
"""
+
(a1, (s1, s2)) = stack
+
return ((a1, s1), s2)
+
+
+[docs]def third(stack):
+
"""
+
::
+
+
([a1 a2 a3 ...1] -- a3)
+
+
"""
+
((a1, (a2, (a3, s1))), s2) = stack
+
return (a3, s2)
+
+
+[docs]def tuck(stack):
+
"""
+
::
+
+
(a2 a1 -- a1 a2 a1)
+
+
"""
+
(a1, (a2, s23)) = stack
+
return (a1, (a2, (a1, s23)))
+
+
+[docs]def uncons(stack):
+
"""
+
::
+
+
([a1 ...0] -- a1 [...0])
+
+
"""
+
((a1, s0), s23) = stack
+
return (s0, (a1, s23))
+
+
+[docs]def unit(stack):
+
"""
+
::
+
+
(a1 -- [a1 ])
+
+
"""
+
(a1, s23) = stack
+
return ((a1, ()), s23)
+
+
+[docs]def unswons(stack):
+
"""
+
::
+
+
([a1 ...1] -- [...1] a1)
+
+
"""
+
((a1, s1), s2) = stack
+
return (a1, (s1, s2))
+
+
+