Type Members

1.  abstract class BaseFunc [A, B] extends AnyRef

   Basic form of a Function.

   Basic form of a Function.

   A

   type of the arguments this function takes

   B

   type of the result this function produces

2.  final case class Expr [Arg, Result](func: BaseFunc[Arg, Result], terms: Term[Arg]*) extends Term[Result] with Product with Serializable

   An Expression

   An Expression

   Arg

   Type of terms

   Result

   Type of result

   func

   function to apply terms to

   terms

   variable terms

3.  abstract class Func [A] extends BaseFunc[A, A]

   Basic function that folds over arguments without modifying the element types

   Basic function that folds over arguments without modifying the element types

   A

   type of the arguments this function takes

4.  final case class Just [A](element: A) extends Term[A] with Product with Serializable

   Just a simple wrapper of anything into a term

5.  sealed abstract class Term [A] extends AnyRef

   A term