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. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

6. implicit def comonad[L]: Comonad[[β$32$]StructuralType[L, β$32$]]

   

   Definition Classes

   StructuralTypeInstances

7. implicit def corecursive[L, V]: Aux[StructuralType[L, V], [γ$21$]EnvT[V, [β$20$]TypeF[L, β$20$], γ$21$]]

   

   Definition Classes

   StructuralTypeInstances

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

   

   Definition Classes

   StructuralTypeInstances

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

   

   Definition Classes

   AnyRef

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

    

    Definition Classes

    StructuralTypeInstances

11. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

12. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

13. object fromEJson

    

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

14. object fromEJsonK

    

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

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

    

    Definition Classes

    AnyRef → Any

16. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

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

19. def mergeƒ[L, V, T](implicit arg0: Order[L], arg1: Monoid[V], TR: Aux[T, [γ$10$]EnvT[V, [β$9$]TypeF[L, β$9$], γ$10$]], TC: Aux[T, [γ$12$]EnvT[V, [β$11$]TypeF[L, β$11$], γ$12$]]): ElgotCoalgebra[[β$14$]\/[T, β$14$], [γ$15$]EnvT[V, [β$13$]TypeF[L, β$13$], γ$15$], (T, T)]

    

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

20. implicit def monoid[L, V](implicit arg0: Order[L], arg1: Monoid[V]): Monoid[StructuralType[L, V]]

    

    Definition Classes

    StructuralTypeInstances

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

    

    Definition Classes

    AnyRef

22. final def notify(): Unit

    

    Definition Classes

    AnyRef

23. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

24. implicit def recursive[L, V]: Aux[StructuralType[L, V], [γ$27$]EnvT[V, [β$26$]TypeF[L, β$26$], γ$27$]]

    

    Definition Classes

    StructuralTypeInstances

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

    

    Definition Classes

    StructuralTypeInstances

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

    

    Definition Classes

    AnyRef

27. def toString(): String

    

    Definition Classes

    AnyRef → Any

28. implicit def traverse1[L]: Traverse1[[β$34$]StructuralType[L, β$34$]]

    

    Definition Classes

    StructuralTypeInstances0

29. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )