constraintless/thaj.constraints.examples/Ops/Pure

Pure

final case class Pure[As <: HList, F[_], A](fa: F[A], constraint: Elem[A, As]) extends Ops[As, F, A]
trait Serializable
trait Product
trait Equals
trait Ops[As, F, A]
class Object
trait Matchable
class Any

Value members

Inherited methods

def /(that: Ops[As, F, A])(implicit elem: Elem[A, As]): Ops[As, F, A]
Inherited from:
Ops
def <*>[B](that: Ops[As, F, B])(implicit elem1: Elem[A, As], elem2: Elem[B, As]): Ops[As, F, (A, B)]
Inherited from:
Ops
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product