package annotations
Type Members
- class effect extends Annotation with StaticAnnotation
If a type variable
F[_]
of a module class is annotated with this, then it is taken as the effect type for functions and module lookup.If a type variable
F[_]
of a module class is annotated with this, then it is taken as the effect type for functions and module lookup.It requires a
MonadError[F, Throwable]
.. - class effectful extends Annotation with StaticAnnotation
def
members marked with this annotation are exported as a functiondef
members marked with this annotation are exported as a functionThe parameter and return types must have a SimpleValueFormatter.
Providing the
name
parameter will override the export name. By default the member name is taken. - class global extends Annotation with StaticAnnotation
val
andvar
members marked with this annotation are exported as a global field.val
andvar
members marked with this annotation are exported as a global field.val
s are exported as constant global, andvar
s as mutable global.The member type must have a SimpleValueFormatter.
Providing the
name
parameter will override the export name. By default the member name is taken. - macro class module extends Annotation with StaticAnnotation
Classes annotated with this annotation get an automatic AsInstance with exported members annotated with global
Classes annotated with this annotation get an automatic AsInstance with exported members annotated with global
- Annotations
- @compileTimeOnly("macro paradise plugin must be enabled")
- class pure extends Annotation with StaticAnnotation
def
members marked with this annotation are exported as pure functions.def
members marked with this annotation are exported as pure functions. If you want to make side-effects, throw exctpion, and so on, please use effectful instead.The parameter and return types must have a SimpleValueFormatter.
Providing the
name
parameter will override the export name. By default the member name is taken.