class
Transform[T[_[_]], F[_]] extends Helpers[T]
Instance Constructors
-
new
Transform()(implicit arg0: Recursive[T], arg1: Corecursive[T], arg2: EqualT[T], arg3: ShowT[T], arg4: Traverse[F], DE: :<:[[β]Const[DeadEnd, β], F], SP: :<:[[β]SourcedPathable[T, β], F], QC: :<:[[β]QScriptCore[T, β], F], TJ: :<:[[β]ThetaJoin[T, β], F], QB: :<:[[β]QScriptBucket[T, β], F], FI: :<:[F, [β]Coproduct[[β]QScriptBucket[T, β], [β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β], β]], bucketable: Aux[T, F], mergeable: Aux[T, F[Unit]], eq: Delay[Equal, F])
Type Members
-
type
Fs[A] = List[F[A]]
-
type
Inner = T[F]
-
type
InnerPure = T[[β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β]]
-
-
-
-
-
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
val
consZipped: Algebra[[β]ListF[F[Unit], β], ZipperAcc]
-
def
delinearizeFreeQS[F[_], A](implicit arg0: Functor[F]): ElgotCoalgebra[[β]\/[Unit, β], F, List[F[A]]]
-
def
delinearizeInner[F[_], A](implicit arg0: Functor[F], DE: :<:[[β]Const[DeadEnd, β], F]): Coalgebra[F, List[F[A]]]
-
-
-
-
def
finalize(): Unit
-
-
def
fromData[T[_[_]]](data: Data)(implicit arg0: Corecursive[T]): \/[String, T[EJson]]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
invokeExpansion1(func: UnaryFunc, values: Input[Inner, shapeless.Nat._1]): F[Inner]
-
-
-
-
-
-
-
final
def
isInstanceOf[T0]: Boolean
-
def
linearize[F[_]](implicit arg0: Functor[F], arg1: Foldable[F]): Algebra[F, List[F[Unit]]]
-
-
def
makeBasicTheta[A](src: A, left: Free[F, Unit], right: Free[F, Unit]): QSState[SrcMerge[ThetaJoin[T, A], FreeMap[T]]]
-
-
-
-
-
-
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
pathToProj(path: Path[_, _, _]): FreeMap[T]
-
def
substitute[T[_[_]], F[_]](original: T[F], replacement: T[F])(implicit T: Equal[T[F]]): (T[F]) ⇒ \/[T[F], T[F]]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
transApoT[T[_[_]], F[_]](t: T[F])(f: (T[F]) ⇒ \/[T[F], T[F]])(implicit arg0: FunctorT[T], arg1: Functor[F]): T[F]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-