Packages

object ShapeTree

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ShapeTree
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class ApplnNode(func: ShapeTree, arg: ShapeTree) extends ShapeTree with Product with Serializable
  2. case class ArrowNode(dom: ShapeTree, codom: ShapeTree) extends ShapeTree with Product with Serializable
  3. case class EqualityNode(dom: ShapeTree, lhs: ShapeTree, rhs: ShapeTree) extends ShapeTree with Product with Serializable
  4. case class LambdaNode(variable: ShapeTree, dom: ShapeTree, value: ShapeTree) extends ShapeTree with Product with Serializable
  5. case class PairNode(first: ShapeTree, second: ShapeTree) extends ShapeTree with Product with Serializable
  6. case class PiNode(fibre: ShapeTree) extends ShapeTree with Product with Serializable
  7. case class PlusNode(first: ShapeTree, second: ShapeTree) extends ShapeTree with Product with Serializable
  8. case class SigmaNode(fibre: ShapeTree) extends ShapeTree with Product with Serializable

Value Members

  1. case object Leaf extends ShapeTree with Product with Serializable
  2. case object TypLeaf extends ShapeTree with Product with Serializable
  3. case object UnivLeaf extends ShapeTree with Product with Serializable