package metaprog
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- sealed trait Collect extends AnyRef
- sealed trait InfoBehavior extends AnyRef
- case class Instructions(info: InfoBehavior, collect: Collect, verify: Verify, typeUnion: TypeUnion, linearity: Linearity, traceTypes: List[TraceType]) extends Product with Serializable
- sealed trait Linearity extends AnyRef
- trait MacroBase extends AnyRef
- sealed trait TypeUnion extends AnyRef
- sealed trait Verify extends AnyRef
- trait WithAllowed extends MacroBase
- trait WithIR extends MacroBase
- trait WithPrintIR extends MacroBase
- trait WithUseParser extends MacroBase
- trait WithZioType extends MacroBase
Value Members
- object Collect
- object DropImplicitArgs
Drop all implicit args of some converting a method: something.foo(x, y)(implicit foo, bar) to: something.foo(x, y)(implicit foo, bar)
Drop all implicit args of some converting a method: something.foo(x, y)(implicit foo, bar) to: something.foo(x, y)(implicit foo, bar)
If there are only implicit args e.g. something.foo(implicit, foo, bar) Then only the thing on which the function is called will remain something.foo(implicit, foo, bar) // will become: something
- object InfoBehavior
- object Instructions extends Serializable
- object Linearity
- object TypeUnion
- object Verify