dupin-core
dupin-core
API
dupin
DupinCoreDsl
dupin.basic
DupinBasicDsl
dupin.basic.all
dupin.core
Context
FieldPart
IndexPart
Parser
Parser
PartiallyAppliedConstructor
ParserBinCompat
ParserInstance0
ParserInstances
PartiallyAppliedValidatorConstructorBinCompat
Path
Path
PathPart
Validator
Validator
PartiallyAppliedCombineP
PartiallyAppliedCombinePC
PartiallyAppliedCombinePR
PartiallyAppliedCombinePRF
PartiallyAppliedConstructor
ValidatorBinCompat
ValidatorInstances
ValidatorMacro
dupin.syntax
DupinSyntax
ParsableOps
ValidatableOps
dupin-core
/
dupin.core
/
ValidatorMacro
ValidatorMacro
dupin.core.ValidatorMacro$
object
ValidatorMacro
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
ValidatorMacro
.type
Clear all
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
]