io.github.iltotore.iron.macros
package io.github.iltotore.iron.macros
Members list
Type members
Classlikes
Low AST related utils.
Low AST related utils.
Type parameters
- Q
-
the type of
_quotesto ensure the path is valid to import.
Value parameters
- _quotes
-
the metaprogramming information
Attributes
- Source
- ReflectUtil.scala
- Supertypes
-
class Objecttrait Matchableclass Any
object intersection
Internal macros for intersection types
Internal macros for intersection types
Attributes
- Source
- intersection.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
intersection.type
object union
Internal macros for union types
Internal macros for union types
Attributes
- Source
- union.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
union.type
Value members
Concrete methods
Asserts at compile time if the given condition is true.
Asserts at compile time if the given condition is true.
Type parameters
- A
-
the input type.
Value parameters
- cond
-
the tested condition. Should be evaluable at compile time.
- input
-
the tested input, used in the error message if the assertion fails.
- message
-
the message/description of this assertion.
Attributes
- Source
- package.scala
Attributes
- Source
- package.scala
Attributes
- Source
- package.scala
def isIronTypeImpl[T : Type, C : Type](implicit evidence$1: Type[T], evidence$2: Type[C], Quotes): Expr[Boolean]
Attributes
- Source
- package.scala
Low AST related utils.
Low AST related utils.
Type parameters
- Q
-
the type of
_quotesto ensure the path is valid to import.
Value parameters
- q
-
the metaprogramming information
Attributes
- Source
- ReflectUtil.scala
In this article