derivation
API
Generated with
derivation/perspective.derivation/GenHKDSumGeneric

GenHKDSumGeneric

perspective.derivation.GenHKDSumGeneric
trait GenHKDSumGeneric[A] extends GenHKDGeneric[A]

Attributes

Graph
Supertypes
trait GenHKDGeneric[A]
class Object
trait Matchable
class Any
Known subtypes

Members list

Type members

Inherited classlikes

case class IdxWrapper[X](idx: Index[X])

A wrapper for Index where we want wildcards of it.

A wrapper for Index where we want wildcards of it.

Attributes

Inherited from:
GenHKDGeneric
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Types

override type ElemTop <: A

The top type for the inner type of Index and Gen.

The top type for the inner type of Index and Gen.

Attributes

Inherited types

type Cat[_]

Attributes

Inherited from:
GenHKDGeneric
type Gen[_[_]]

A representation of A supporting higher kinded types.

A representation of A supporting higher kinded types.

Attributes

Inherited from:
GenHKDGeneric
type Index[B]

The index of the Gen type.

The index of the Gen type.

Attributes

Inherited from:
GenHKDGeneric
type Names <: String

The name of the fields of A type. Field in this case can mean either the children of a sum type, or the fields of a product type.

The name of the fields of A type. Field in this case can mean either the children of a sum type, or the fields of a product type.

Attributes

Inherited from:
GenHKDGeneric
type TupleRep <: Tuple

A tuple representation of A.

A tuple representation of A.

Attributes

Inherited from:
GenHKDGeneric
type TypeName <: String

The name of the A type.

The name of the A type.

Attributes

Inherited from:
GenHKDGeneric

Value members

Inherited methods

def catFrom(gen: Gen[Cat]): Cat[A]

Convert a value of the higher kinded representation to Cat[A].

Convert a value of the higher kinded representation to Cat[A].

Attributes

Inherited from:
GenHKDGeneric
def catTo(a: Cat[A]): Gen[Cat]

Convert a value of Cat[A] to the higher kinded representation.

Convert a value of Cat[A] to the higher kinded representation.

Attributes

Inherited from:
GenHKDGeneric
def genToScalaTuple[F[_]](gen: Gen[F]): Map[TupleRep, F]

Converts Gen to the scala tuple representation.

Converts Gen to the scala tuple representation.

Attributes

Inherited from:
GenHKDGeneric
def genToTuple[F[_]](gen: Gen[F]): TupleMap[TupleRep, F]

Converts Gen to the tuple representation.

Converts Gen to the tuple representation.

Attributes

Inherited from:
GenHKDGeneric
def indexToName[X](idx: Index[X]): Names

Given a index, return the name of the index.

Given a index, return the name of the index.

Attributes

Inherited from:
GenHKDGeneric
def nameToIndex(name: Names): IdxWrapper[_ <: ElemTop]

Returns the index of the field a name corresponds to.

Returns the index of the field a name corresponds to.

Attributes

Inherited from:
GenHKDGeneric
def names: Gen[Const[Names]]

The name of the fields of A type. Field in this case can mean either the children of a sum type, or the fields of a product type.

The name of the fields of A type. Field in this case can mean either the children of a sum type, or the fields of a product type.

Attributes

Inherited from:
GenHKDGeneric
def scalaTupleToGen[F[_]](tuple: Map[TupleRep, F]): Gen[F]

Converts the scala tuple representation to Gen.

Converts the scala tuple representation to Gen.

Attributes

Inherited from:
GenHKDGeneric
def stringToName(s: String): Option[Names]

Validates a string as a name if it matches the name of a field.

Validates a string as a name if it matches the name of a field.

Attributes

Inherited from:
GenHKDGeneric
def tabulateFoldLeft[B](start: B)(f: B => [X] => (x$1: Index[X]) => B): B

Attributes

Inherited from:
GenHKDGeneric
def tabulateTraverseK[G[_], B[_]](f: [X] => (x$1: Index[X]) => G[B[X]])(using Applicative[G]): G[Gen[B]]

Attributes

Inherited from:
GenHKDGeneric
def tabulateTraverseKEither[E, B[_]](f: [X] => (x$1: Index[X]) => Either[E, B[X]]): Either[E, Gen[B]]

Attributes

Inherited from:
GenHKDGeneric
def tabulateTraverseKOption[B[_]](f: [X] => (x$1: Index[X]) => Option[B[X]]): Option[Gen[B]]

Attributes

Inherited from:
GenHKDGeneric
def tupleToGen[F[_]](tuple: TupleMap[TupleRep, F]): Gen[F]

Converts the tuple representation to Gen.

Converts the tuple representation to Gen.

Attributes

Inherited from:
GenHKDGeneric
def typeName: TypeName

The name of the A type.

The name of the A type.

Attributes

Inherited from:
GenHKDGeneric
inline def upcastIndex[X](idx: Index[X]): IdxWrapper[_ <: ElemTop]

Upcast an index to its bound.

Upcast an index to its bound.

Attributes

Inherited from:
GenHKDGeneric

Inherited fields

val representable: Aux[Gen, Index]

Attributes

Inherited from:
GenHKDGeneric
val traverse: TraverseKC[Gen]

Attributes

Inherited from:
GenHKDGeneric

Givens

Inherited givens

given given_Aux_Gen_Index: Aux[Gen, Index]

Attributes

Inherited from:
GenHKDGeneric
given given_Conversion_IdxWrapper_Index[X]: Conversion[IdxWrapper[X], Index[X]]

Attributes

Inherited from:
GenHKDGeneric
given given_Conversion_Index_IdxWrapper[X]: Conversion[Index[X], IdxWrapper[X]]

Attributes

Inherited from:
GenHKDGeneric
given given_TraverseKC_Gen: TraverseKC[Gen]

Attributes

Inherited from:
GenHKDGeneric

Extensions

Inherited extensions

extension (a: Cat[A])
def productElementCat[X](index: Index[X]): Cat[X]

Attributes

Inherited from:
GenHKDGeneric

Exports

Inherited defined exports

final type ReprWrapper = ReprWrapper
Exported from BoundedRepresentableK

Attributes

Inherited from:
GenHKDGeneric
final type RepresentationK = RepresentationK
Exported from RepresentableK

Attributes

Inherited from:
GenHKDGeneric
val boundedRepresentableK: BoundedEnumerable[ReprWrapper[_]]
Exported from BoundedRepresentableK

Attributes

Inherited from:
GenHKDGeneric
def indicesK[C]: F[RepresentationK, C]
Exported from RepresentableK

Access the indices or the representation of this type.

Access the indices or the representation of this type.

Attributes

Inherited from:
GenHKDGeneric
def tabulateConst[A, C](f: RepresentationK :~>#: A): F[Const[A], C]
Exported from RepresentableK

Helper function that calls tabulateK with Const.

Helper function that calls tabulateK with Const.

Attributes

Inherited from:
GenHKDGeneric
def tabulateK[A[_], C](f: FunctionK[RepresentationK, A]): F[A, C]
Exported from RepresentableK

A higher kinded equivalent of cats.Representable.tabulate.

A higher kinded equivalent of cats.Representable.tabulate.

Attributes

Inherited from:
GenHKDGeneric
def unitK[C]: F[Const[Unit], C]
Exported from ApplicativeK

A higher kinded equivalent of cats.Applicative.unit.

A higher kinded equivalent of cats.Applicative.unit.

Attributes

Inherited from:
GenHKDGeneric
Generated with