ICList

A class that acts like an immutable list but allows disparate element types to be inserted as long as an implicit function from the input type to the list type exists in the implicit scope.

Typical usage will be like:

import java.io.InputStream
def getInputStream(i: Int) = new java.io.ByteArrayInputStream(i.toString.getBytes)

implicit val stringToInt = (_:String).toInt
implicit val isToInt = (is: InputStream) => stringToInt(io.Source.fromInputStream(is).getLines.mkString("\n"))

// Construct a list of Int from things we can convert to Ints from translation functions that are in scope.
// NOTICE: Because of implicitConversionListToList, we get implicit conversion to lists.
val lst: List[Int] = (1 :: getInputStream(2) :: "3" :: ICList.empty[Int])

require(lst.isInstanceOf[List[Int]] && (1 to 3) == lst, "lst should be List(1,2,3)")

Note: We use implicit functions rather than view bounds because of conflicts with method conforms in object Predef of type [A]=> <:<[A,A] for certain types.

A: the list type
list: a contained list backing the ICList.

Linear Supertypes

Serializable, Serializable, Product, Equals, AnyRef, Any

Instance Constructors

new ICList(list: List[A])

list
a contained list backing the ICList.

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def ::[B](b: B)(implicit f: (B) ⇒ A): ICList[A]

Construct a new ICList with f(b) prepended.
Construct a new ICList with f(b) prepended.
B
the input type to convert to type A
b
a value to prepend to the ICList
f
a function to convert the input to a value of type A
returns
a new ICList of type A with f(b) prepended.
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
def append(a: A): ICList[A]

Construct a new ICList with a appended.
Construct a new ICList with a appended.
a
a value to append to the ICList
returns
a new ICList of type A with a appended.
def append[B](b: B)(implicit f: (B) ⇒ A): ICList[A]

Construct a new ICList with f(b) appended.
Construct a new ICList with f(b) appended.
B
the input type to convert to type A
b
a value to append to the ICList
f
a function to convert the input to a value of type A
returns
a new ICList of type A with f(b) appended.
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val list: List[A]

a contained list backing the ICList.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def prepend(a: A): ICList[A]

Construct a new ICList with a prepended.
Construct a new ICList with a prepended.
a
a value to prepend to the ICList
returns
a new ICList of type A with a prepended.
def prepend[B](b: B)(implicit f: (B) ⇒ A): ICList[A]

Construct a new ICList with f(b) prepended.
Construct a new ICList with f(b) prepended.
B
the input type to convert to type A
b
a value to prepend to the ICList
f
a function to convert the input to a value of type A
returns
a new ICList of type A with f(b) prepended.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toList: List[A]

Explicitly convert to a list.
Explicitly convert to a list.
returns
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

case class ICList[A](list: List[A]) extends Product with Serializable

Instance Constructors

new ICList(list: List[A])

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def ::[B](b: B)(implicit f: (B) ⇒ A): ICList[A]

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def append(a: A): ICList[A]

def append[B](b: B)(implicit f: (B) ⇒ A): ICList[A]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

val list: List[A]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def prepend(a: A): ICList[A]

def prepend[B](b: B)(implicit f: (B) ⇒ A): ICList[A]

final def synchronized[T0](arg0: ⇒ T0): T0

def toList: List[A]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped