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

TypeEqK

libretto.lambda.util.TypeEqK
See theTypeEqK companion object
sealed trait TypeEqK[F[_], G[_]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Refl[F]

Members list

Value members

Abstract methods

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

Concrete methods

def at[X]: F[X] =:= G[X]
def flip: TypeEqK[G, F]
Generated with