definition module UtilStrictLists

import StdString, StdClass

//	A strict list data structure

::	List t	=	(:!) infixr 0 !t !(List t)
			|	Nil
			
instance toString (List a) | toString a

Singleton		:: !(List t) -> t;
IsEmptyList		:: !(List t) -> Bool;
Head			:: !(List t) -> t;
Concat			:: !(List .t) !u:(List .t) -> u:List .t;
Reverse			:: !(List t) -> List t;
Reverse2		:: !(List .a) u:(List .a) -> v:List .a, [u <= v];
LLength			:: !(List t) -> Int;
MapR			:: !(s -> t) !(List s) -> List t;
FilterR			:: (s -> Bool) !(List s) -> List s;
Filter			:: (s -> Bool) !(List s) -> List s;
Append			:: !(List t) !t -> List t;
Select			:: !(List t) !Int -> t;
Update2			:: !(List (List t)) !Int !Int !t -> List (List t);
AppendLists		:: !(List .a) u:(List .a) -> v:List .a, [u <= v];
FlattenList		:: !(List (List .a)) -> List .a;
P_MapR			:: !(s -> (t,Bool)) !(List s) -> (!List t,!Bool)

InsertStringInList		:: !String !(List String) -> List String;
RemoveDup				:: !.(List a) -> .(List a) | Eq a
RemoveStringFromList	:: !String !(List String) -> List String;
RemoveMember			:: a !u:(List a) -> v:List a | == a, [u <= v];
RemoveMembers			:: !u:(List a) !.(List a) -> v:List a | == a, [u <= v];
UnionStringList			:: !(List String) !(List String) -> List String;
StringOccurs			:: !String !.(List String) -> Bool;
SortStrings				:: !.(List String) -> .List String;
EQStrings				:: !(List String) !(List String) -> Bool;
InclString				:: !String !(List String) -> List String

StringToInt				:: !String -> Int;

StrictListToList		:: !(List .a) -> [.a];
ListToStrictList		:: ![.a] -> (List .a);
Map						:: !(s -> t) !(List s) -> List t;
