seals

Type Members

1. type Atomic[A] = seals.core.Atomic[A]

   

2. type Compat[A, B] = seals.core.Compat[A, B]

   

3. type Envelope[A] = seals.core.Envelope[A]

   

4. type Kleene[F[_]] = seals.core.Kleene[F]

   

5. type Model = seals.core.Model

   

6. type Reified[A] = seals.core.Reified[A]

   

7. type Wire[A] = seals.core.Wire[A]

   

8. final macro class schema extends Annotation with StaticAnnotation

   

   Macro annotation to designate a type as a schema.

   Macro annotation to designate a type as a schema.

   When used on a class or trait, it

   • marks the class or trait as a schema (with schemaMarker);
   • and injects a cached implicit into the companion object which can retrieve a Reified instance for the class or trait.

   Annotations

   @compileTimeOnly( ... ) @compileTimeOnly( ... )

9. final class schemaMarker extends Annotation with StaticAnnotation

   

   Don't use this directly.

   Don't use this directly.

   See also

   schema for marking schemata