io.github.iltotore.iron.macros
Members list
Type members
Classlikes
A FromExpr[Boolean] that can extract value from partially inlined || and && operations.
A FromExpr[Boolean] that can extract value from partially inlined || and && operations.
inline val x = true
val y: Boolean = ???
x || y //inlined to `true`
y || x //inlined to `true`
inline val a = false
val b: Boolean = ???
a && b //inlined to `false`
b && a //inlined to `false`
Attributes
- Graph
- Supertypes
- trait FromExpr[Boolean]class Objecttrait Matchableclass Any
- Self type
A FromExpr[String] that can extract value from concatenated strings if all arguments are compile-time-extractable strings.
A FromExpr[String] that can extract value from concatenated strings if all arguments are compile-time-extractable strings.
inline val x = "a"
inline val y = "b"
val z = "c"
x + y //"ab"
x + z //None
z + x //None
Attributes
- Graph
- Supertypes
- trait FromExpr[String]class Objecttrait Matchableclass Any
- Self type
Internal macros for intersection types
Internal macros for intersection types
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- intersection.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.
Attributes
- A
the input type.
- 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.
Checks if the given value is constant (aka evaluable at compile time).
Checks if the given value is constant (aka evaluable at compile time).
Attributes
- A
the type of
value.- value
the value to test.
- Returns:
trueif the given value is constant,falseotherwise.
Throw compile-time error indicating that the given value is not constant.
Throw compile-time error indicating that the given value is not constant.
Attributes
- A
the type of
value.- value
the non-constant value, used in the error message.
Givens
Givens
A FromExpr[Boolean] that can extract value from partially inlined || and && operations.
A FromExpr[Boolean] that can extract value from partially inlined || and && operations.
inline val x = true
val y: Boolean = ???
x || y //inlined to `true`
y || x //inlined to `true`
inline val a = false
val b: Boolean = ???
a && b //inlined to `false`
b && a //inlined to `false`
Attributes
A FromExpr[String] that can extract value from concatenated strings if all arguments are compile-time-extractable strings.
A FromExpr[String] that can extract value from concatenated strings if all arguments are compile-time-extractable strings.
inline val x = "a"
inline val y = "b"
val z = "c"
x + y //"ab"
x + z //None
z + x //None