magnolia
API
Generated with
magnolia/magnolia1

magnolia1

package magnolia1

Members list

Concise view

Type members

Classlikes

trait AutoDerivation[TypeClass[_]] extends Derivation[TypeClass]

Attributes

Graph
Supertypes
trait Derivation[TypeClass]
trait CommonDerivation[TypeClass]
class Object
trait Matchable
class Any
object CallByNeed

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final class CallByNeed[+A](var eval: () => A) extends Serializable

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
class Object
trait Matchable
class Any
object CaseClass

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
abstract class CaseClass[Typeclass[_], Type](val typeInfo: TypeInfo, val isObject: Boolean, val isValueClass: Boolean, val parameters: IArray[Param[Typeclass, Type]], val annotations: IArray[Any], val inheritedAnnotations: IArray[Any], val typeAnnotations: IArray[Any]) extends Serializable

In the terminology of Algebraic Data Types (ADTs), case classes are known as 'product types'.

In the terminology of Algebraic Data Types (ADTs), case classes are known as 'product types'.

Attributes

parameters

an array giving information about the parameters of the case class. Each Param element has a very useful CaseClass.Param.typeclass field giving the constructed typeclass for the parameter's type. Eg for a case class Foo(bar: String, baz: Int), you can obtain Typeclass[String], Typeclass[Int].

Companion:
object
Graph
Supertypes
trait Serializable
class Object
trait Matchable
class Any
object CaseClassDerivation

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait CommonDerivation[TypeClass[_]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Derivation[TypeClass]
trait AutoDerivation[TypeClass]
trait ProductDerivation[TypeClass]
trait Derivation[TypeClass[_]] extends CommonDerivation[TypeClass] with SealedTraitDerivation

Attributes

Graph
Supertypes
trait CommonDerivation[TypeClass]
class Object
trait Matchable
class Any
Known subtypes
trait AutoDerivation[TypeClass]
object Macro

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Macro.type
trait Monadic[F[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object given_Monadic_List.type
object given_Monadic_Try.type
object Monadic

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Monadic.type
trait ProductDerivation[TypeClass[_]] extends CommonDerivation[TypeClass]

Attributes

Graph
Supertypes
trait CommonDerivation[TypeClass]
class Object
trait Matchable
class Any
case class SealedTrait[Typeclass[_], Type](typeInfo: TypeInfo, subtypes: IArray[Subtype[Typeclass, Type, _]], annotations: IArray[Any], typeAnnotations: IArray[Any], isEnum: Boolean, inheritedAnnotations: IArray[Any]) extends Serializable

Represents a Sealed-Trait or a Scala 3 Enum.

Represents a Sealed-Trait or a Scala 3 Enum.

In the terminology of Algebraic Data Types (ADTs), sealed-traits/enums are termed 'sum types'.

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait Serializable
class Object
trait Matchable
class Any
object SealedTrait

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
trait SealedTraitDerivation

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Derivation[TypeClass]
trait AutoDerivation[TypeClass]
case class TypeInfo(owner: String, short: String, typeParams: Iterable[TypeInfo])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Generated with