output_plus
Class List_List_String$$

java.lang.Object
  extended by output_plus.List_List_String$$
Direct Known Subclasses:
Empty_List_String$$, NotEmpty_List_String$$

public abstract class List_List_String$$
extends java.lang.Object


Constructor Summary
List_List_String$$()
           
 
Method Summary
abstract  List_List_String$$ append(List_List_String$$ l)
           
 NotEmpty_List_String$$ cons(List_String$ e)
           
abstract  boolean isEmpty()
           
abstract  int length()
           
abstract  NotEmpty_List_String$$ putlast(List_String$ e)
           
abstract  List_List_String$$ reverse()
           
abstract  java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

List_List_String$$

public List_List_String$$()
Method Detail

isEmpty

public abstract boolean isEmpty()

length

public abstract int length()

append

public abstract List_List_String$$ append(List_List_String$$ l)

toString

public abstract java.lang.String toString()
Overrides:
toString in class java.lang.Object

cons

public NotEmpty_List_String$$ cons(List_String$ e)

putlast

public abstract NotEmpty_List_String$$ putlast(List_String$ e)

reverse

public abstract List_List_String$$ reverse()