libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/libretto.lambda.util/TypeEqK/Refl

Refl

libretto.lambda.util.TypeEqK.Refl
case class Refl[F[_]]() extends TypeEqK[F, F]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeEqK[F, F]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def subst[H[_[_]]](hf: H[F]): H[F]

Attributes

Definition Classes

Inherited methods

def at[X]: F[X] =:= F[X]

Attributes

Inherited from:
TypeEqK
def flip: TypeEqK[F, F]

Attributes

Inherited from:
TypeEqK
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with