constraintless/thaj.constraints.examples/Ops

Ops

object Ops
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Ops.type

Type members

Classlikes

final case class Pure[As <: HList, F[_], A](fa: F[A], constraint: Elem[A, As]) extends Ops[As, F, A]
final case class Ratio[As <: HList, F[_], B](left: Ops[As, F, B], right: Ops[As, F, B], elem1: Elem[B, As]) extends Ops[As, F, B]
final case class Zip[As <: HList, F[_], A, B](left: Ops[As, F, A], right: Ops[As, F, B], elem1: Elem[A, As], elem2: Elem[B, As]) extends Ops[As, F, (A, B)]

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