From 9ae0a7e7c5d7669a81fe9eba13ff9c6224635efe Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Wed, 12 Nov 2025 14:33:30 +1300 Subject: Recursive portions of prelude --- src/kompsos-prelude.ads | 60 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) (limited to 'src/kompsos-prelude.ads') diff --git a/src/kompsos-prelude.ads b/src/kompsos-prelude.ads index 5dbc562..237edbf 100644 --- a/src/kompsos-prelude.ads +++ b/src/kompsos-prelude.ads @@ -78,6 +78,66 @@ package Kompsos.Prelude is Pair_Term : in Term'Class); + -- listo -- + + function Linked_List + (This : in World; + List_Term : in Term'Class) + return World; + + procedure Linked_List + (This : in out World; + List_Term : in Term'Class); + + + -- membero -- + + function Member + (This : in World; + Item_Term, List_Term : in Term'Class) + return World; + + procedure Member + (This : in out World; + Item_Term, List_Term : in Term'Class); + + + -- rembero -- + + function Remove + (This : in World; + Item_Term, List_Term, Out_Term : in Term'Class) + return World; + + procedure Remove + (This : in out World; + Item_Term, List_Term, Out_Term : in Term'Class); + + + -- appendo -- + + function Append + (This : in World; + List_Term, Item_Term, Out_Term : in Term'Class) + return World; + + procedure Append + (This : in out World; + List_Term, Item_Term, Out_Term : in Term'Class); + + + -- anyo -- + -- Skipped due to Recurse doing the same thing + + + -- nevero -- + -- Skipped since it just creates a failed World + + + -- alwayso -- + -- Skipped due to Recurse doing the same thing + + end Kompsos.Prelude; -- cgit