2 // SequenceExtensions.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 public static class SequenceExtensions {
34 public static Sequence<T> Cons<T> (this Sequence<T> rest, T elem)
36 return Sequence<T>.Cons (elem, rest);
39 public static Sequence<T> Append<T> (this Sequence<T> list, Sequence<T> append)
46 return Cons (list.Tail.Append (append), list.Head);
49 public static Sequence<T> Where<T> (this Sequence<T> list, Predicate<T> keep)
53 Sequence<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 Sequence<T> list, Action<T> action)
65 Sequence<T>.Apply (list, action);
68 public static IEnumerable<T> AsEnumerable<T> (this Sequence<T> list)
70 return Sequence<T>.PrivateGetEnumerable (list);
73 public static bool Any<T> (this Sequence<T> list, Predicate<T> predicate)
78 if (predicate (list.Head))
81 return list.Tail.Any (predicate);
84 public static bool All<T> (this Sequence<T> list, Predicate<T> predicate)
89 if (!predicate (list.Head))
92 return list.Tail.All (predicate);
95 public static int Length<T> (this Sequence<T> list)
97 return Sequence<T>.LengthOf (list);
100 public static bool IsEmpty<T> (this Sequence<T> list)
105 public static Sequence<S> Select<T, S> (this Sequence<T> list, Func<T, S> selector)
107 return Sequence<T>.Select (list, selector);
110 public static T Last<T> (this Sequence<T> list)
115 while (Sequence<T>.LengthOf (list) > 1)
121 public static Sequence<T> Coerce<S, T> (this Sequence<S> list)
124 return list.Select (l => (T) l);
127 public static Sequence<T> Reverse<T> (this Sequence<T> list)
129 Sequence<T> rest = null;
131 for (Sequence<T> cur = list; cur != null; cur = cur.Tail)
132 rest = rest.Cons (cur.Head);
137 public static void ForEach<T> (this Sequence<T> seq, Action<T> action)
143 seq.Tail.ForEach (action);