magnolia
API
Generated with
magnolia/magnolia1

magnolia1

package magnolia1

Members list

Type members

Classlikes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
CaseClass.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'.

Value parameters

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].

Attributes

Companion
object
Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
class ProductCaseClass[Typeclass, A]
object CaseClassDerivation

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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
Supertypes
trait Product
trait Equals
trait Serializable
class Object
trait Matchable
class Any
Show all
object SealedTrait

Attributes

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

Attributes

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

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Generated with