americium/com.sageserpent.americium/Factory

Factory

object Factory extends AutoDerivation[Factory]
Companion:
class
trait AutoDerivation[Factory]
trait Derivation[Factory]
trait CommonDerivation[Factory]
class Object
trait Matchable
class Any
Factory.type

Type members

Inherited types

type Typeclass[T] = TypeClass[T]
Inherited from:
CommonDerivation

Value members

Concrete methods

def join[Case](caseClass: CaseClass[Typeclass, Case]): Factory[Case]
def lift[Case](unlifted: Trials[Case]): Factory[Case]
def split[Case](sealedTrait: SealedTrait[Typeclass, Case]): Factory[Case]

Inherited methods

inline def derived[A](using Of[A]): Factory[A]
Inherited from:
Derivation
inline def derivedMirror[A](using mirror: Of[A]): Factory[A]
Inherited from:
Derivation
inline def derivedMirrorProduct[A](product: ProductOf[A]): Factory[A]
Inherited from:
CommonDerivation
inline def derivedMirrorSum[A](sum: SumOf[A]): Factory[A]
Inherited from:
Derivation
inline def getParams[T, Labels <: Tuple, Params <: Tuple](annotations: Map[String, List[Any]], typeAnnotations: Map[String, List[Any]], repeated: Map[String, Boolean], idx: Int): List[Param[Typeclass, T]]
Inherited from:
CommonDerivation
inline def getParams_[T, Labels <: Tuple, Params <: Tuple](annotations: Map[String, List[Any]], inheritedAnnotations: Map[String, List[Any]], typeAnnotations: Map[String, List[Any]], repeated: Map[String, Boolean], idx: Int): List[Param[Typeclass, T]]
Inherited from:
CommonDerivation
transparent inline def subtypes[T, SubtypeTuple <: Tuple](m: SumOf[T], idx: Int): List[Subtype[Typeclass, T, _]]
Inherited from:
Derivation

Givens

Givens

given evidence: Monadic[Trials]

Inherited givens

given autoDerived[A](using Of[A]): TypeClass[A]
Inherited from:
AutoDerivation