DeepShape

Type Members

type FreeShape[T[_[_]]] = Free[[β$73$]Coproduct[[β$62$]MapFuncCore[T, β$62$], [β$63$]MapFuncDerived[T, β$63$], β$73$], ShapeMeta[T]]
final case class Reducing[T[_[_]]](func: ReduceFunc[FreeShape[T]]) extends ShapeMeta[T] with Product with Serializable
final case class RootShape[T[_[_]]]() extends ShapeMeta[T] with Product with Serializable
sealed trait ShapeMeta[T[_[_]]] extends AnyRef
final case class Shifting[T[_[_]]](id: IdStatus, struct: FreeShape[T]) extends ShapeMeta[T] with Product with Serializable
final case class UnknownShape[T[_[_]]]() extends ShapeMeta[T] with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object annotated
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def coenv[T[_[_]], F[_]](implicit F: DeepShape[T, F]): DeepShape[T, [γ$3$]CoEnv[Hole, F, γ$3$]]

Definition Classes
DeepShapeInstances
implicit def constDeadEnd[T[_[_]]]: DeepShape[T, [β$24$]Const[DeadEnd, β$24$]]

Definition Classes
DeepShapeInstances
implicit def constRead[T[_[_]], A]: DeepShape[T, [β$20$]Const[Read[A], β$20$]]

Definition Classes
DeepShapeInstances
implicit def constShiftedRead[T[_[_]], A]: DeepShape[T, [β$22$]Const[ShiftedRead[A], β$22$]]

Definition Classes
DeepShapeInstances
implicit def coproduct[T[_[_]], F[_], G[_]](implicit F: DeepShape[T, F], G: DeepShape[T, G]): DeepShape[T, [γ$0$]Coproduct[F, G, γ$0$]]

Definition Classes
DeepShapeInstances
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
implicit def equal[T[_[_]]](implicit arg0: BirecursiveT[T], arg1: EqualT[T]): Equal[ShapeMeta[T]]

Annotations
@SuppressWarnings()
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
implicit def equiJoin[T[_[_]]]: DeepShape[T, [β$9$]EquiJoin[T, β$9$]]

Definition Classes
DeepShapeInstances
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def freeShape[T[_[_]]](shape: ShapeMeta[T]): FreeShape[T]

Definition Classes
DeepShapeInstances
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def normalize[T[_[_]]](shape: FreeShape[T])(implicit arg0: BirecursiveT[T], arg1: EqualT[T]): FreeShape[T]
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
implicit def projectBucket[T[_[_]]](implicit QS: DeepShape[T, [β$15$]QScriptCore[T, β$15$]]): DeepShape[T, [β$16$]ProjectBucket[T, β$16$]]

Definition Classes
DeepShapeInstances
implicit def qscriptCore[T[_[_]]]: DeepShape[T, [β$12$]QScriptCore[T, β$12$]]

Definition Classes
DeepShapeInstances
implicit def renderTree[T[_[_]]](implicit arg0: RenderTreeT[T], arg1: ShowT[T]): RenderTree[ShapeMeta[T]]

Annotations
@SuppressWarnings()
implicit def show[T[_[_]]](implicit arg0: ShowT[T]): Show[ShapeMeta[T]]

Annotations
@SuppressWarnings()
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
implicit def thetaJoin[T[_[_]]]: DeepShape[T, [β$6$]ThetaJoin[T, β$6$]]

Definition Classes
DeepShapeInstances
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: trait DeepShape | package analysis

object DeepShape extends DeepShapeInstances

Type Members

type FreeShape[T[_[_]]] = Free[[β$73$]Coproduct[[β$62$]MapFuncCore[T, β$62$], [β$63$]MapFuncDerived[T, β$63$], β$73$], ShapeMeta[T]]

final case class Reducing[T[_[_]]](func: ReduceFunc[FreeShape[T]]) extends ShapeMeta[T] with Product with Serializable

final case class RootShape[T[_[_]]]() extends ShapeMeta[T] with Product with Serializable

sealed trait ShapeMeta[T[_[_]]] extends AnyRef

final case class Shifting[T[_[_]]](id: IdStatus, struct: FreeShape[T]) extends ShapeMeta[T] with Product with Serializable

final case class UnknownShape[T[_[_]]]() extends ShapeMeta[T] with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object annotated

final def asInstanceOf[T0]: T0

def clone(): AnyRef

implicit def coenv[T[_[_]], F[_]](implicit F: DeepShape[T, F]): DeepShape[T, [γ$3$]CoEnv[Hole, F, γ$3$]]

implicit def constDeadEnd[T[_[_]]]: DeepShape[T, [β$24$]Const[DeadEnd, β$24$]]

implicit def constRead[T[_[_]], A]: DeepShape[T, [β$20$]Const[Read[A], β$20$]]

implicit def constShiftedRead[T[_[_]], A]: DeepShape[T, [β$22$]Const[ShiftedRead[A], β$22$]]

implicit def coproduct[T[_[_]], F[_], G[_]](implicit F: DeepShape[T, F], G: DeepShape[T, G]): DeepShape[T, [γ$0$]Coproduct[F, G, γ$0$]]

final def eq(arg0: AnyRef): Boolean

implicit def equal[T[_[_]]](implicit arg0: BirecursiveT[T], arg1: EqualT[T]): Equal[ShapeMeta[T]]

def equals(arg0: Any): Boolean

implicit def equiJoin[T[_[_]]]: DeepShape[T, [β$9$]EquiJoin[T, β$9$]]

def finalize(): Unit

def freeShape[T[_[_]]](shape: ShapeMeta[T]): FreeShape[T]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def normalize[T[_[_]]](shape: FreeShape[T])(implicit arg0: BirecursiveT[T], arg1: EqualT[T]): FreeShape[T]

final def notify(): Unit

final def notifyAll(): Unit

implicit def projectBucket[T[_[_]]](implicit QS: DeepShape[T, [β$15$]QScriptCore[T, β$15$]]): DeepShape[T, [β$16$]ProjectBucket[T, β$16$]]

implicit def qscriptCore[T[_[_]]]: DeepShape[T, [β$12$]QScriptCore[T, β$12$]]

implicit def renderTree[T[_[_]]](implicit arg0: RenderTreeT[T], arg1: ShowT[T]): RenderTree[ShapeMeta[T]]

implicit def show[T[_[_]]](implicit arg0: ShowT[T]): Show[ShapeMeta[T]]

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

implicit def thetaJoin[T[_[_]]]: DeepShape[T, [β$6$]ThetaJoin[T, β$6$]]

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from DeepShapeInstances

Inherited from AnyRef

Inherited from Any

Ungrouped