Attributes
Members list
Type members
Classlikes
Attributes
- Graph
- Supertypes
Inherited types
requirement typeclass for the each of the object fields
requirement typeclass for the each of the object fields
Attributes
- Inherited from:
- ConsistentTemplate
requirement typeclass for base type wrapped in new type or value class
requirement typeclass for base type wrapped in new type or value class
Attributes
- Inherited from:
- ConsistentTemplate
requirement typeclass for the each of the enum subtypes
requirement typeclass for the each of the enum subtypes
Attributes
- Inherited from:
- ConsistentTemplate
resulting typeclass, usually equvalent to the type, your companion is bound
resulting typeclass, usually equvalent to the type, your companion is bound
Attributes
- Inherited from:
- ConsistentTemplate
Value members
Concrete methods
called for the newtype \ value class derivation
called for the newtype \ value class derivation
Attributes
called for the case classes derivation
called for the case classes derivation
Attributes
called for the sealed trait \ enum derivation
called for the sealed trait \ enum derivation
WARNING: mkSubMap makes assumption that you can use your subtype instances as instances for the target type, use with great caution!
Attributes
Inherited methods
this is the method that would be called when the derivation occurs you can redefine it to add some custom logic
this is the method that would be called when the derivation occurs you can redefine it to add some custom logic
Attributes
- Inherited from:
- Template
Attributes
- Inherited from:
- Template
Givens
Inherited givens
Attributes
- Inherited from:
- SummonForProduct