final case class StructuralType[L, V](toCofree: Cofree[[β$1$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$1$], V]) extends AnyVal with Product with Serializable

A measure annotated Type focused on structure over semantics.

L

the type of literals

V

the measure the type is annotated with

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StructuralType
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyVal
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new StructuralType(toCofree: Cofree[[β$1$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$1$], V])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##(): Int
    Definition Classes
    Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def cobind[W](f: (StructuralType[L, V]) ⇒ W): StructuralType[L, W]
  6. def cojoin: StructuralType[L, StructuralType[L, V]]
  7. def copoint: V
  8. def getClass(): Class[_ <: AnyVal]
    Definition Classes
    AnyVal → Any
  9. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  10. def map[W](f: (V) ⇒ W): StructuralType[L, W]
  11. val toCofree: Cofree[[β$0$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$0$], V]

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyVal

Inherited from Any

Ungrouped