Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def attributeSTƒ[J, V](measure: Algebra[[β$10$]TypeF[J, β$10$], V]): Algebra[[β$12$]Coproduct[[β$2$]TypeF[J, β$2$], Tagged, β$12$], Cofree[[β$11$]Coproduct[[β$2$]TypeF[J, β$2$], Tagged, β$11$], V]]

   Lift an algebra over types to an algebra annotating a structural type.

6.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

7.  implicit def comonad[L]: Comonad[[β$54$]StructuralType[L, β$54$]]

   Definition Classes

   StructuralTypeInstances

8.  implicit def corecursive[L, V]: Aux[StructuralType[L, V], [γ$50$]EnvT[V, [β$3$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$3$], γ$50$]]

   Definition Classes

   StructuralTypeInstances

9.  implicit def decodeEJson[L, V](implicit arg0: DecodeEJson[L], arg1: Order[L], arg2: DecodeEJson[V]): DecodeEJson[StructuralType[L, V]]

   Definition Classes

   StructuralTypeInstances

10.  def disjoinUnionsƒ[L, V, F[_], T](implicit arg0: Semigroup[V], arg1: Functor[F], I: :<:[[β$21$]TypeF[L, β$21$], F], F: StructuralMerge[F], TC: Aux[T, [γ$22$]EnvT[V, F, γ$22$]], TR: Aux[T, [γ$23$]EnvT[V, F, γ$23$]]): (EnvT[V, F, T]) ⇒ EnvT[V, F, T]

    A transform ensuring unions are disjoint by merging their members.

11.  implicit def encodeEJson[L, V](implicit arg0: EncodeEJson[L], arg1: EncodeEJson[V]): EncodeEJson[StructuralType[L, V]]

    Definition Classes

    StructuralTypeInstances

12.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

13.  implicit def equal[L, V](implicit arg0: Equal[L], arg1: Equal[V]): Equal[StructuralType[L, V]]

    Definition Classes

    StructuralTypeInstances

14.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

15.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

16.  def fromTypeƒ[J, T](implicit arg0: Order[J], TC: Aux[T, [β$24$]TypeF[J, β$24$]], TR: Aux[T, [β$25$]TypeF[J, β$25$]], JC: Aux[J, EJson], JR: Aux[J, EJson]): Coalgebra[[β$26$]Coproduct[[β$2$]TypeF[J, β$2$], Tagged, β$26$], T]

    Unfold a StructuralType from a Type.

17.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

18.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

19.  def isConst[L, V](st: StructuralType[L, V]): slamdata.Predef.Boolean

    Whether the StructuralType is constant.

20.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

21.  def measure[L, V]: Lens[StructuralType[L, V], V]

    Lens targeting the top-level annotation of a structural type.

22.  def mergeƒ[L, V, F[_], T](implicit arg0: Semigroup[V], arg1: Functor[F], I: :<:[[β$16$]TypeF[L, β$16$], F], F: StructuralMerge[F], TC: Aux[T, [γ$17$]EnvT[V, F, γ$17$]], TR: Aux[T, [γ$18$]EnvT[V, F, γ$18$]]): GCoalgebra[[β$19$]\/[T, β$19$], [γ$20$]EnvT[V, F, γ$20$], (T, T)]

    Unfold a pair of structural types into their deep structural merge.

23.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

24.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

25.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

26.  implicit def recursive[L, V]: Aux[StructuralType[L, V], [γ$52$]EnvT[V, [β$3$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$3$], γ$52$]]

    Definition Classes

    StructuralTypeInstances

27.  implicit def semigroup[L, V](implicit arg0: Order[L], arg1: Semigroup[V]): Semigroup[StructuralType[L, V]]

    Definition Classes

    StructuralTypeInstances

28.  implicit def show[L, V](implicit arg0: Show[L], arg1: Show[V]): Show[StructuralType[L, V]]

    Definition Classes

    StructuralTypeInstances

29.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

30.  def toString(): String

    Definition Classes

    AnyRef → Any

31.  implicit def traverse1[L]: Traverse1[[β$56$]StructuralType[L, β$56$]]

    Definition Classes

    StructuralTypeInstances0

32.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

34.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

35.  object ConstST
36.  object TagST
37.  object TypeST
38.  object fromEJson

    The structural type representing the given EJson value, annotated with the result of measure.

39.  object fromEJsonK

    The structural type representing the given EJson value annotated with the given measure.

40.  object typeTransform

    Lift a transform over types to a transform over structural types.