AlignPredicate

org.hungerford.generic.schema.utilities.AlignPredicate$
See theAlignPredicate companion trait

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Givens

Givens

given canMigratePredicate[V1, S1, O1, V2, S2, O2](using cm: Aux[V1, S1, O1, V2, S2, O2]): canMigratePredicate[V1, S1, O1, V2, S2, O2]
given nameEquivCanMigrate[V1, N <: String & Singleton, S1 <: Named[N], O1, V2, S2 <: Named[N], O2](using cm: Aux[V1, S1, O1, V2, S2, O2]): nameEquivCanMigrate[V1, N, S1, O1, V2, S2, O2]
given nameTypeEquiv[V, N <: String & Singleton, S1 <: Tpe[V] & Named[N], O1, S2 <: Tpe[V] & Named[N], O2](using cm: Aux[V, S1, O1, V, S2, O2]): nameTypeEquiv[V, N, S1, O1, S2, O2]
given typeEquiv[V, S1 <: Tpe[V], S2 <: Tpe[V], O1, O2](using cm: Aux[V, S1, O1, V, S2, O2]): typeEquiv[V, S1, S2, O1, O2]