Outline

Type Members

trait AllOps[F[_], A] extends Ops[F, A]
sealed abstract class Figure extends AnyRef
trait Ops[F[_], A] extends AnyRef
type Shape = Free[EJson, Figure]
trait ToOutlineOps extends AnyRef

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 Figure
def apply[F[_]](implicit instance: Outline[F]): Outline[F]

Annotations
@inline()
val arrF: Shape
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def constDeadEnd: Outline[[β$19$]Const[DeadEnd, β$19$]]

Definition Classes
OutlineInstances
implicit def constRead[A]: Outline[[β$17$]Const[Read[A], β$17$]]

Definition Classes
OutlineInstances
implicit def constShiftedRead[A]: Outline[[β$18$]Const[ShiftedRead[A], β$18$]]

Definition Classes
OutlineInstances
implicit def coproduct[F[_], G[_]](implicit F: Outline[F], G: Outline[G]): Outline[[γ$0$]Coproduct[F, G, γ$0$]]

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

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
implicit def equiJoin[T[_[_]]](implicit arg0: BirecursiveT[T]): Outline[[β$12$]EquiJoin[T, β$12$]]

Definition Classes
OutlineInstances
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
implicit def freeEJsonEqual[A](implicit arg0: Equal[A]): Equal[Free[EJson, A]]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
val mapF: Shape
implicit def mapFuncCore[T[_[_]]](implicit arg0: BirecursiveT[T]): Outline[[β$3$]MapFuncCore[T, β$3$]]

Definition Classes
OutlineInstances
implicit def mapFuncDerived[T[_[_]]]: Outline[[β$15$]MapFuncDerived[T, β$15$]]

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

Definition Classes
AnyRef
object nonInheritedOps extends ToOutlineOps
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
object ops
object outline
def outlineF[F[_], A](fa: Free[F, A])(f: (A) ⇒ Shape)(implicit arg0: Functor[F], O: Outline[F]): Shape
object outlined

Annotate a structure with its Shape.
Annotate a structure with its Shape.
TODO{matryoshka}: Generalize once matryoshka is updated to 0.21.0+
implicit def projectBucket[T[_[_]]]: Outline[[β$16$]ProjectBucket[T, β$16$]]

Definition Classes
OutlineInstances
implicit def qScriptCore[T[_[_]]](implicit arg0: BirecursiveT[T]): Outline[[β$6$]QScriptCore[T, β$6$]]

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

Definition Classes
AnyRef
implicit def thetaJoin[T[_[_]]](implicit arg0: BirecursiveT[T]): Outline[[β$9$]ThetaJoin[T, β$9$]]

Definition Classes
OutlineInstances
def toString(): String

Definition Classes
AnyRef → Any
val undefinedF: Shape
val unknownF: Shape
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 Outline | package analysis

object Outline extends OutlineInstances with Serializable

Type Members

trait AllOps[F[_], A] extends Ops[F, A]

sealed abstract class Figure extends AnyRef

trait Ops[F[_], A] extends AnyRef

type Shape = Free[EJson, Figure]

trait ToOutlineOps extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Figure

def apply[F[_]](implicit instance: Outline[F]): Outline[F]

val arrF: Shape

final def asInstanceOf[T0]: T0

def clone(): AnyRef

implicit def constDeadEnd: Outline[[β$19$]Const[DeadEnd, β$19$]]

implicit def constRead[A]: Outline[[β$17$]Const[Read[A], β$17$]]

implicit def constShiftedRead[A]: Outline[[β$18$]Const[ShiftedRead[A], β$18$]]

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

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

implicit def equiJoin[T[_[_]]](implicit arg0: BirecursiveT[T]): Outline[[β$12$]EquiJoin[T, β$12$]]

def finalize(): Unit

implicit def freeEJsonEqual[A](implicit arg0: Equal[A]): Equal[Free[EJson, A]]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

val mapF: Shape

implicit def mapFuncCore[T[_[_]]](implicit arg0: BirecursiveT[T]): Outline[[β$3$]MapFuncCore[T, β$3$]]

implicit def mapFuncDerived[T[_[_]]]: Outline[[β$15$]MapFuncDerived[T, β$15$]]

final def ne(arg0: AnyRef): Boolean

object nonInheritedOps extends ToOutlineOps

final def notify(): Unit

final def notifyAll(): Unit

object ops

object outline

def outlineF[F[_], A](fa: Free[F, A])(f: (A) ⇒ Shape)(implicit arg0: Functor[F], O: Outline[F]): Shape

object outlined

implicit def projectBucket[T[_[_]]]: Outline[[β$16$]ProjectBucket[T, β$16$]]

implicit def qScriptCore[T[_[_]]](implicit arg0: BirecursiveT[T]): Outline[[β$6$]QScriptCore[T, β$6$]]

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

implicit def thetaJoin[T[_[_]]](implicit arg0: BirecursiveT[T]): Outline[[β$9$]ThetaJoin[T, β$9$]]

def toString(): String

val undefinedF: Shape

val unknownF: Shape

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from OutlineInstances

Inherited from AnyRef

Inherited from Any

Ungrouped