morphling/morphling/PropSchema

PropSchema

object PropSchema
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def contraNT[O, N, F[_]](f: N => O): FunctionK[[_] =>> PropSchema[O, F, _$51], [_] =>> PropSchema[N, F, _$52]]

Givens

Givens

given given_HFunctor_PropSchema[O]: HFunctor[[Y[_], Z] =>> PropSchema[O, Y, Z]]