StructuralType

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. object ConstST

   

5. object TagST

   

6. object TypeST

   

7. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

8. 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.

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. implicit def comonad[L]: Comonad[[β$45$]StructuralType[L, β$45$]]

    

    Definition Classes

    StructuralTypeInstances

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

    

    Definition Classes

    StructuralTypeInstances

12. 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.

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

    

    Definition Classes

    StructuralTypeInstances

14. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    StructuralTypeInstances

16. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

18. object fromEJson

    

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

19. object fromEJsonK

    

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

20. 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.

21. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

22. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

    

    Whether the StructuralType is constant.

24. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

25. def measure[L, V]: Lens[StructuralType[L, V], V]

    

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

26. 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.

27. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

28. final def notify(): Unit

    

    Definition Classes

    AnyRef

29. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    StructuralTypeInstances

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

    

    Definition Classes

    StructuralTypeInstances

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

    

    Definition Classes

    StructuralTypeInstances

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

    

    Definition Classes

    AnyRef

34. def toString(): String

    

    Definition Classes

    AnyRef → Any

35. implicit def traverse1[L]: Traverse1[[β$47$]StructuralType[L, β$47$]]

    

    Definition Classes

    StructuralTypeInstances0

36. object typeTransform

    

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

37. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

39. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )