Type Members
-
type
ST[L, A] = Coproduct[[β$2$]TypeF[L, β$2$], Tagged, A]
-
type
STF[L, V, A] = EnvT[V, [β$3$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$3$], A]
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
-
-
final
def
asInstanceOf[T0]: T0
-
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]]
-
def
clone(): AnyRef
-
implicit
def
comonad[L]: Comonad[[β$45$]StructuralType[L, β$45$]]
-
implicit
def
corecursive[L, V]: Aux[StructuralType[L, V], [γ$41$]EnvT[V, [β$3$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$3$], γ$41$]]
-
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]
-
implicit
def
encodeEJson[L, V](implicit arg0: EncodeEJson[L], arg1: EncodeEJson[V]): EncodeEJson[StructuralType[L, V]]
-
-
implicit
def
equal[L, V](implicit arg0: Equal[L], arg1: Equal[V]): Equal[StructuralType[L, V]]
-
-
def
finalize(): Unit
-
-
-
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]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
isConst[L, V](st: StructuralType[L, V]): slamdata.Predef.Boolean
-
final
def
isInstanceOf[T0]: Boolean
-
def
measure[L, V]: Lens[StructuralType[L, V], V]
-
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)]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
implicit
def
recursive[L, V]: Aux[StructuralType[L, V], [γ$43$]EnvT[V, [β$3$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$3$], γ$43$]]
-
implicit
def
semigroup[L, V](implicit arg0: Order[L], arg1: Semigroup[V]): Semigroup[StructuralType[L, V]]
-
implicit
def
show[L, V](implicit arg0: Show[L], arg1: Show[V]): Show[StructuralType[L, V]]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
implicit
def
traverse1[L]: Traverse1[[β$47$]StructuralType[L, β$47$]]
-
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Serializable