docs
API
Generated with
docs/de.uni_luebeck.isp.tessla/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
TesslaDoc.type

Members list

Type members

Classlikes

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

Attributes

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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait TesslaDoc
trait Statement
class Object
trait Matchable
class Any
Show all

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