pure interface of class net.sf.pizzacompiler.lang.List<A>

public class List<A>
  implements java.io.Serializable
{
    public case Nil;
    public case Cons(A head,
                     List<A> tail);
    public boolean isEmpty();
    public int length();
    public A head();
    public List<A> tail();
    public List<A> take(int n);
    public List<A> drop(int n);
    public Pair<List<A>, List<A>> split(int n);
    public A at(int n);
    public A last();
    public List<A> init();
    public List<A> reverse();
    public List<A> concat(A y);
    public List<A> concat(List<A> ys);
    public static <A> List<A> concatenate(List<List<A>> xss);
    public <B> void forall((A) -> B f);
    public <B> List<B> map((A) -> B f);
    public <B> List<B> bind((A) -> List<B> f);
    public List<A> filter((A) -> boolean p);
    public <B> B foldl((B, A) -> B f,
                       B z);
    public <B> B foldr((A, B) -> B f,
                       B z);
    public boolean contains(A y);
    public List<A> diff(List<A> ys);
    public List<A> diff(A y);
    public int hashCode();
    public boolean equals(Object other);
    public String toString();
    public String elementsToString(String sep);
    public Enumeration<A> elements();
    public List<Pair<A, A>> zip(List<A> ys);
    public static <A> List<A> fromArray(A[] elems);
    public A[] copy(A[] elems);
    public A[] copy(A[] elems,
                    int offset);
    public static <A> List<A> cons();
    public static <A> List<A> cons(A x1);
    public static <A> List<A> cons(A x1,
                                   A x2);
    public static <A> List<A> cons(A x1,
                                   A x2,
                                   A x3);
    public static <A> List<A> cons(A x1,
                                   A x2,
                                   A x3,
                                   A x4);
    public static <A> List<A> cons(A x1,
                                   A x2,
                                   A x3,
                                   A x4,
                                   A x5);
    public static <A> List<A> cons(A x1,
                                   A x2,
                                   A x3,
                                   A x4,
                                   A x5,
                                   A x6);
    public static <A> List<A> cons(A x1,
                                   A x2,
                                   A x3,
                                   A x4,
                                   A x5,
                                   A x6,
                                   A x7);
    public static <A> List<A> cons(A x1,
                                   A x2,
                                   A x3,
                                   A x4,
                                   A x5,
                                   A x6,
                                   A x7,
                                   A x8);
    public static <A> List<A> cons(A x1,
                                   A x2,
                                   A x3,
                                   A x4,
                                   A x5,
                                   A x6,
                                   A x7,
                                   A x8,
                                   A x9);
    public static <A> List<A> cons(A x1,
                                   A x2,
                                   A x3,
                                   A x4,
                                   A x5,
                                   A x6,
                                   A x7,
                                   A x8,
                                   A x9,
                                   A x10);
}