ZIOSpecAbstractSpecificMacros

Companion:
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def flattenAnd(typeRepr: TypeRepr): List[TypeRepr]
def validate[Provided : Type, Required : Type, E : Type](spec: Expr[Spec[Required, E]]): Expr[Spec[Provided, E]]

Concrete fields

val ctx: Quotes

Givens

Givens