perspective.derivation

Members list

Type members

Classlikes

class ArrayProduct extends Product

Attributes

Companion
object
Source
ArrayProduct.scala
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object ArrayProduct

Attributes

Companion
class
Source
ArrayProduct.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object ArrayProductK

Attributes

Source
arrayProductK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait GenHKDGeneric[A]

Attributes

Source
hkdGeneric.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait GenHKDSumGeneric[A]
trait HKDSumGeneric[A]
trait HKDGeneric[A]
trait GenHKDProductGeneric[A] extends GenHKDGeneric[A]

A type somewhat like Mirror.ProductOf allowing manipulating a product type as if it was defined as a higher kinded type.

A type somewhat like Mirror.ProductOf allowing manipulating a product type as if it was defined as a higher kinded type.

Type parameters

A

The type being abstracted over.

Attributes

Source
hkdGeneric.scala
Supertypes
trait GenHKDGeneric[A]
class Object
trait Matchable
class Any
Known subtypes
trait GenHKDSumGeneric[A] extends GenHKDGeneric[A]

Attributes

Source
hkdGeneric.scala
Supertypes
trait GenHKDGeneric[A]
class Object
trait Matchable
class Any
Known subtypes
trait HKDSumGeneric[A]
sealed trait HKDExtraTypes[A]

Attributes

Companion
object
Source
hkdTypes.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object HKDExtraTypes

Attributes

Companion
trait
Source
hkdTypes.scala
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait HKDGeneric[A] extends GenHKDGeneric[A]

A type somewhat like Mirror.Of allowing manipulating a type as if it was defined as a higher kinded type.

A type somewhat like Mirror.Of allowing manipulating a type as if it was defined as a higher kinded type.

Type parameters

A

The type being abstracted over.

Attributes

Companion
object
Source
hkdGeneric.scala
Supertypes
trait GenHKDGeneric[A]
class Object
trait Matchable
class Any
Known subtypes
trait HKDSumGeneric[A]
object HKDGeneric

Attributes

Companion
trait
Source
hkdGeneric.scala
Supertypes
class Object
trait Matchable
class Any
Self type
HKDGeneric.type
trait HKDProductExtraTypes[A] extends HKDExtraTypes[A]

Attributes

Companion
object
Source
hkdTypes.scala
Supertypes
trait HKDExtraTypes[A]
class Object
trait Matchable
class Any

Attributes

Companion
trait
Source
hkdTypes.scala
Supertypes
class Object
trait Matchable
class Any
Self type

A type somewhat like Mirror.ProductOf allowing manipulating a product type as if it was defined as a higher kinded type.

A type somewhat like Mirror.ProductOf allowing manipulating a product type as if it was defined as a higher kinded type.

Type parameters

A

The type being abstracted over.

Attributes

Companion
object
Source
hkdGeneric.scala
Supertypes
trait HKDGeneric[A]
trait GenHKDGeneric[A]
class Object
trait Matchable
class Any
Show all

Attributes

Companion
trait
Source
hkdGeneric.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait HKDSumExtraTypes[A] extends HKDExtraTypes[A]

Attributes

Companion
object
Source
hkdTypes.scala
Supertypes
trait HKDExtraTypes[A]
class Object
trait Matchable
class Any

Attributes

Companion
trait
Source
hkdTypes.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait HKDSumGeneric[A] extends HKDGeneric[A], GenHKDSumGeneric[A]

A type somewhat like Mirror.SumOf allowing manipulating a sum type as if it was defined as a higher kinded type.

A type somewhat like Mirror.SumOf allowing manipulating a sum type as if it was defined as a higher kinded type.

Type parameters

A

The type being abstracted over.

Attributes

Companion
object
Source
hkdGeneric.scala
Supertypes
trait GenHKDSumGeneric[A]
trait HKDGeneric[A]
trait GenHKDGeneric[A]
class Object
trait Matchable
class Any
Show all
object HKDSumGeneric

Attributes

Companion
trait
Source
hkdGeneric.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object Helpers

Attributes

Source
Helpers.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Helpers.type
object ProductK

Attributes

Source
productK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
ProductK.type
trait TypeLength[A]

Attributes

Companion
object
Source
TypeLength.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class TypeLengthImpl[A, Length0]
object TypeLength

Attributes

Companion
trait
Source
TypeLength.scala
Supertypes
class Object
trait Matchable
class Any
Self type
TypeLength.type

Types

opaque type ArrayProductK[F[_], T <: Tuple]

Attributes

Source
arrayProductK.scala
type ArrayProductKPar[T <: Tuple] = [F[_]] =>> ArrayProductK[F, T]

Attributes

Source
arrayProductK.scala
opaque type ProductK[F[_], T <: Tuple]

A structure allowing higher kinded operations over a normal tuple. Equivalent but easier to work with than Tuple.Map. Also supports getting given instances of itself provided instances for all the types exists.

A structure allowing higher kinded operations over a normal tuple. Equivalent but easier to work with than Tuple.Map. Also supports getting given instances of itself provided instances for all the types exists.

Type parameters

F

The current type constructor of the value.

T

The tuple that we are working with.

Attributes

Source
productK.scala
type ProductKPar[T <: Tuple] = [F[_]] =>> ProductK[F, T]

A partially applied ProductK

A partially applied ProductK

Attributes

Source
productK.scala