docs
API
Generated with
docs/de.uni_luebeck.isp.tessla.tessladoc/TesslaDoc

TesslaDoc

de.uni_luebeck.isp.tessla.tessladoc.TesslaDoc$
See theTesslaDoc companion trait
object TesslaDoc

Contains the data structures for different documentation elements

Attributes

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

Members list

Concise view

Type members

Classlikes

case class AnnotationDoc(name: String, parameters: Seq[Param], global: Boolean, doc: String, inModule: Option[String], loc: Location) extends TesslaDoc

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TesslaDoc
trait Statement
class Object
trait Matchable
class Any
case class DefDoc(name: String, src: String, typeParameters: Seq[String], parameters: Seq[Param], returnType: Option[Type], doc: String, loc: Location, isLiftable: Boolean) extends TesslaDoc

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TesslaDoc
trait Statement
class Object
trait Matchable
class Any
case class Docs(items: Seq[TesslaDoc], imports: Seq[Import])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class EvalType(eval: String, typ: Type)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class FunctionType(parameters: Seq[EvalType], result: Type) extends Type

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Type
class Object
trait Matchable
class Any
case class Import(path: Seq[String]) extends Statement

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Statement
class Object
trait Matchable
class Any
case class ModuleDoc(name: String, doc: String, members: Seq[TesslaDoc], imports: Seq[Import], loc: Location) extends TesslaDoc

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TesslaDoc
trait Statement
class Object
trait Matchable
class Any
case class ObjectType(members: Map[String, Type]) extends Type

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Type
class Object
trait Matchable
class Any
case class Param(name: String, typ: EvalType)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class SimpleType(name: String) extends Type

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Type
class Object
trait Matchable
class Any
case class TupleType(members: Seq[Type]) extends Type

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Type
class Object
trait Matchable
class Any
sealed abstract class Type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class TupleType
case class TypeApplication(constructor: Type, arguments: Seq[Type]) extends Type

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Type
class Object
trait Matchable
class Any
case class TypeDoc(name: String, typeParameters: Seq[String], doc: String, inModule: Option[String], loc: Location) extends TesslaDoc

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TesslaDoc
trait Statement
class Object
trait Matchable
class Any

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Generated with