2 // LispListExtensions.cs
5 // Alexander Chebaturkin (chebaturkin@gmail.com)
7 // Copyright (C) 2011 Alexander Chebaturkin
9 // Permission is hereby granted, free of charge, to any person obtaining
10 // a copy of this software and associated documentation files (the
11 // "Software"), to deal in the Software without restriction, including
12 // without limitation the rights to use, copy, modify, merge, publish,
13 // distribute, sublicense, and/or sell copies of the Software, and to
14 // permit persons to whom the Software is furnished to do so, subject to
15 // the following conditions:
17 // The above copyright notice and this permission notice shall be
18 // included in all copies or substantial portions of the Software.
20 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
21 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
22 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
23 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
24 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
25 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
26 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
30 using System.Collections.Generic;
32 namespace Mono.CodeContracts.Static.DataStructures {
33 static class LispListExtensions {
34 public static LispList<T> Cons<T> (this LispList<T> rest, T elem)
36 return LispList<T>.Cons (elem, rest);
39 public static LispList<T> Append<T> (this LispList<T> list, LispList<T> append)
46 return Cons (list.Tail.Append (append), list.Head);
49 public static LispList<T> Where<T> (this LispList<T> list, Predicate<T> keep)
53 LispList<T> rest = list.Tail.Where (keep);
54 if (!keep (list.Head))
57 if (rest == list.Tail)
60 return Cons (rest, list.Head);
63 public static void Apply<T> (this LispList<T> list, Action<T> action)
65 LispList<T>.Apply (list, action);
68 public static IEnumerable<T> AsEnumerable<T> (this LispList<T> list)
70 return LispList<T>.PrivateGetEnumerable (list);
73 public static bool Any<T> (this LispList<T> list, Predicate<T> predicate)
78 if (predicate (list.Head))
81 return list.Tail.Any (predicate);
84 public static int Length<T> (this LispList<T> list)
86 return LispList<T>.LengthOf (list);
89 public static bool IsEmpty<T> (this LispList<T> list)
94 public static LispList<S> Select<T, S> (this LispList<T> list, Func<T, S> selector)
96 return LispList<T>.Select (list, selector);
99 public static T Last<T> (this LispList<T> list)
104 while (LispList<T>.LengthOf (list) > 1)
110 public static LispList<T> Coerce<S, T> (this LispList<S> list)
113 return list.Select (l => (T) l);