magnolia
magnolia
magnolia1
AutoDerivation
CallByNeed
CallByNeed
CaseClass
Param
Param
CaseClass
CommonDerivation
Derivation
Macro
Monadic
Monadic
Monadic_Either
Monadic_Future
given_Monadic_List
given_Monadic_Option
given_Monadic_Try
ProductDerivation
SealedTrait
SealedTrait
Subtype
SubtypeValue
TypeInfo
magnolia
/
magnolia1
/
AutoDerivation
AutoDerivation
trait
AutoDerivation
[TypeClass[_]] extends
Derivation
[
TypeClass
]
Graph
Supertypes
trait
Derivation
[
TypeClass
]
trait
CommonDerivation
[
TypeClass
]
class
Object
trait
Matchable
class
Any
Type members
Value members
Givens
Type members
Inherited types
type
Typeclass
[T] =
TypeClass
[
T
]
Inherited from
CommonDerivation
Value members
Inherited methods
inline
def
derived
[A](using
Of
[A]):
TypeClass
[A]
Inherited from
Derivation
inline
def
derivedMirror
[A](using mirror:
Of
[A]):
TypeClass
[A]
Inherited from
Derivation
inline
def
derivedMirrorProduct
[A](product:
ProductOf
[A]):
TypeClass
[A]
Inherited from
CommonDerivation
inline
def
derivedMirrorSum
[A](sum:
SumOf
[A]):
TypeClass
[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
def
join
[T](ctx:
CaseClass
[
Typeclass
, T]):
TypeClass
[T]
Inherited from
CommonDerivation
def
split
[T](ctx:
SealedTrait
[
Typeclass
, T]):
TypeClass
[T]
Inherited from
Derivation
transparent inline
def
subtypes
[T, SubtypeTuple <:
Tuple
](m:
SumOf
[T], idx:
Int
):
List
[
Subtype
[
Typeclass
, T, _]]
Inherited from
Derivation
Givens
Givens
given
autoDerived
:
TypeClass
[
A
]