perspective.derivation
Members list
Type members
Classlikes
Attributes
- Companion
- object
- Source
- ArrayProduct.scala
- Supertypes
Attributes
- Companion
- class
- Source
- ArrayProduct.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ArrayProduct.type
Attributes
- Source
- arrayProductK.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ArrayProductK.type
Attributes
- Source
- hkdGeneric.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait GenHKDProductGeneric[A]trait HKDProductGeneric[A]trait GenHKDSumGeneric[A]trait HKDSumGeneric[A]trait HKDGeneric[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
- Known subtypes
-
trait HKDProductGeneric[A]
Attributes
- Source
- hkdGeneric.scala
- Supertypes
- Known subtypes
-
trait HKDSumGeneric[A]
Attributes
- Companion
- object
- Source
- hkdTypes.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait HKDProductExtraTypes[A]trait HKDSumExtraTypes[A]
Attributes
- Companion
- trait
- Source
- hkdTypes.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
HKDExtraTypes.type
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
- Known subtypes
-
trait HKDProductGeneric[A]trait HKDSumGeneric[A]
Attributes
- Companion
- trait
- Source
- hkdGeneric.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
HKDGeneric.type
Attributes
- Companion
- object
- Source
- hkdTypes.scala
- Supertypes
Attributes
- Companion
- trait
- Source
- hkdTypes.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
HKDProductExtraTypes.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 GenHKDProductGeneric[A]trait GenHKDGeneric[A]class Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- trait
- Source
- hkdGeneric.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
HKDProductGeneric.type
Attributes
- Companion
- object
- Source
- hkdTypes.scala
- Supertypes
Attributes
- Companion
- trait
- Source
- hkdTypes.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
HKDSumExtraTypes.type
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 Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- trait
- Source
- hkdGeneric.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
HKDSumGeneric.type
Attributes
- Source
- Helpers.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Helpers.type
Attributes
- Source
- productK.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ProductK.type
Attributes
- Companion
- object
- Source
- TypeLength.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
Attributes
- Companion
- trait
- Source
- TypeLength.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
TypeLength.type
Types
Attributes
- Source
- arrayProductK.scala
Attributes
- Source
- arrayProductK.scala
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
A partially applied ProductK