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
defmembers marked with this annotation are exported as a functiondefmembers marked with this annotation are exported as a functionThe parameter and return types must have a SimpleValueFormatter.
Providing the
nameparameter will override the export name. By default the member name is taken. - class global extends Annotation with StaticAnnotation
valandvarmembers marked with this annotation are exported as a global field.valandvarmembers marked with this annotation are exported as a global field.vals are exported as constant global, andvars as mutable global.The member type must have a SimpleValueFormatter.
Providing the
nameparameter 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
defmembers marked with this annotation are exported as pure functions.defmembers 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
nameparameter will override the export name. By default the member name is taken.