ValidatorMacro

dupin.core.ValidatorMacro$

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def derive[F[_] : Type, E : Type, A : Type](using q: Quotes)(A: Expr[Applicative[F]]): Expr[Validator[F, E, A]]
def getFieldPath(using q: Quotes)(f: Expr[() => ]): Expr[Path]
def runWithFieldPath[A : Type](using q: Quotes)(run: Expr[Path => A], f: Expr[() => ]): Expr[A]