reqt-lang
API
Generated with
reqt-lang/reqt

reqt

package reqt

Members list

Packages

package reqt.examples

Type members

Classlikes

sealed trait Attr[T] extends Node

Attributes

Supertypes
trait Node
trait Elem
class Object
trait Matchable
class Any
Known subtypes
class IntAttr
class StrAttr
class Undefined[T]
final case class AttrPath[T](links: Vector[Link], dest: Attr[T]) extends Path

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Path
class Object
trait Matchable
class Any
Show all
sealed trait AttrType[T] extends NodeType

Attributes

Supertypes
trait NodeType
trait ElemType
class Object
trait Matchable
class Any
Known subtypes
final case class AttrTypePath[T](links: Vector[Link], dest: AttrType[T]) extends Path

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Path
class Object
trait Matchable
class Any
Show all
sealed trait Elem

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Node
trait Attr[T]
class IntAttr
class StrAttr
class Undefined[T]
class Ent
class Rel
Show all
object Elem

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Elem.type
sealed trait ElemType

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait NodeType
trait AttrType[T]
enum EntType
enum RelType
Show all
final case class Ent extends Node

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait Node
trait Elem
class Object
trait Matchable
class Any
Show all
object Ent

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Ent.type
final case class EntPath(links: Vector[Link], dest: Ent) extends Path

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Path
class Object
trait Matchable
class Any
Show all
enum EntType extends NodeType

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
trait NodeType
trait ElemType
class Object
trait Matchable
class Any
Show all
final case class EntTypePath(links: Vector[Link], dest: EntType) extends Path

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Path
class Object
trait Matchable
class Any
Show all
object GraphvizGen

https://graphviz.org/

https://graphviz.org/

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object HtmlGen

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
HtmlGen.type
final case class IntAttr(t: IntAttrType, value: Int) extends Attr[Int]

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait Attr[Int]
trait Node
trait Elem
class Object
trait Matchable
class Any
Show all
case object IntAttr extends ConceptGroup

Attributes

Companion
class
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ConceptGroup
class Object
trait Matchable
class Any
Show all
Self type
IntAttr.type
enum IntAttrType extends AttrType[Int]

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
trait AttrType[Int]
trait NodeType
trait ElemType
class Object
trait Matchable
class Any
Show all
object LatexGen

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
LatexGen.type
final case class Link(e: Ent, t: RelType)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class LinkPath(links: Vector[Link]) extends Path

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Path
class Object
trait Matchable
class Any
Show all
final case class LinkType(et: EntType, rt: RelType)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object MarkdownParser

A parser from Markdown-valid bullet lists with reqt.Elem. Unknown stuff is kept in Text attributes. *

A parser from Markdown-valid bullet lists with reqt.Elem. Unknown stuff is kept in Text attributes. *

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
final case class Model(elems: Vector[Elem]) extends ModelMembers

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait ModelMembers
class Object
trait Matchable
class Any
Show all
case object Model extends ModelCompanion

Attributes

Companion
class
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Model.type
transparent trait ModelCompanion

Operations of companion to trait Model *

Operations of companion to trait Model *

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Model
Self type
Model.type
transparent trait ModelMembers

Operations of trait Model *

Operations of trait Model *

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Model
Self type
sealed trait Node extends Elem

Attributes

Supertypes
trait Elem
class Object
trait Matchable
class Any
Known subtypes
trait Attr[T]
class IntAttr
class StrAttr
class Undefined[T]
class Ent
sealed trait NodeType extends ElemType

Attributes

Supertypes
trait ElemType
class Object
trait Matchable
class Any
Known subtypes
trait AttrType[T]
enum EntType
sealed trait Path

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class AttrPath[T]
class AttrTypePath[T]
class EntPath
class EntTypePath
class LinkPath
case object Path

Attributes

Companion
trait
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Path.type
object PrintUtils

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
PrintUtils.type
final case class Rel(e: Ent, t: RelType, sub: Model) extends Elem

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Elem
class Object
trait Matchable
class Any
Show all
enum RelType extends ElemType

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
trait ElemType
class Object
trait Matchable
class Any
Show all
object Selection

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Selection.type
object Settings

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Settings.type
trait Show[-A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object showElem
object showElemType
object showEmptyPath
object showInt
object showLink
object showModel
object showNode
object showPath
object showRelType
object showString
Show all
object Show

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Show.type
final case class StrAttr(t: StrAttrType, value: String) extends Attr[String]

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait Attr[String]
trait Node
trait Elem
class Object
trait Matchable
class Any
Show all
case object StrAttr extends ConceptGroup

Attributes

Companion
class
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ConceptGroup
class Object
trait Matchable
class Any
Show all
Self type
StrAttr.type
enum StrAttrType extends AttrType[String]

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
trait AttrType[String]
trait NodeType
trait ElemType
class Object
trait Matchable
class Any
Show all
object StringUtils

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
final case class Undefined[T](t: AttrType[T]) extends Attr[T]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Attr[T]
trait Node
trait Elem
class Object
trait Matchable
class Any
Show all
object csp

A Scala-embedded DSL for expressing integer constraint satisfaction problems.

A Scala-embedded DSL for expressing integer constraint satisfaction problems.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
csp.type
object err

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
err.type
object meta

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
meta.type
object parseUtils

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
parseUtils.type
object quiz

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
quiz.type
object quper

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
quper.type

Extensions

Extensions

extension (e: Ent)
infix def binds(sub: Elem*): Rel
infix def binds: Link
infix def deprecates(sub: Elem*): Rel
infix def deprecates: Link
infix def excludes(sub: Elem*): Rel
infix def excludes: Link
infix def has(sub: Elem*): Rel
infix def has: Link
infix def helps(sub: Elem*): Rel
infix def helps: Link
infix def hurts(sub: Elem*): Rel
infix def hurts: Link
infix def impacts(sub: Elem*): Rel
infix def impacts: Link
infix def implements(sub: Elem*): Rel
infix def implements: Link
infix def interactsWith(sub: Elem*): Rel
infix def interactsWith: Link
infix def is(sub: Elem*): Rel
infix def is: Link
infix def precedes(sub: Elem*): Rel
infix def precedes: Link
infix def relatesTo(sub: Elem*): Rel
infix def relatesTo: Link
infix def requires(sub: Elem*): Rel
infix def requires: Link
infix def verifies(sub: Elem*): Rel
infix def verifies: Link

Exports

Defined exports

final type AbsXeqY = AbsXeqY
Exported from csp$
final type AllDifferent = AllDifferent
Exported from csp$
final val And: And
Exported from csp
final type And = And
Exported from csp$
final type Binpacking = Binpacking
Exported from csp$
final type Bounds = Bounds
Exported from csp$
final type CompoundConstr = CompoundConstr
Exported from csp$
final type CompoundConstr1 = CompoundConstr1
Exported from csp$
final type CompoundConstr1Var1 = CompoundConstr1Var1
Exported from csp$
final type CompoundConstr2 = CompoundConstr2
Exported from csp$
final type CompoundConstr3 = CompoundConstr3
Exported from csp$
final type Constr = Constr
Exported from csp$
final type Constr1BoolConst = Constr1BoolConst
Exported from csp$
final type Constr1IntConst = Constr1IntConst
Exported from csp$
final type Constr1Seq1 = Constr1Seq1
Exported from csp$
final type Constr1Seq1IntConst = Constr1Seq1IntConst
Exported from csp$
final type Constr2 = Constr2
Exported from csp$
final type Constr2Seq1 = Constr2Seq1
Exported from csp$
final type Constr3 = Constr3
Exported from csp$
final type ConstrMatrix = ConstrMatrix
Exported from csp$
final type ConstrSeq1 = ConstrSeq1
Exported from csp$
final type ConstrSeq2ConstSeq1 = ConstrSeq2ConstSeq1
Exported from csp$
final type Count = Count
Exported from csp$
final val Diff2: Diff2
Exported from csp
final type Diff2 = Diff2
Exported from csp$
final type Distance = Distance
Exported from csp$
final type EntGroup = EntGroup
Exported from meta$
final val EnumVar: EnumVar
Exported from csp
final type EnumVar = EnumVar
Exported from csp$
final type Expr = Expr
Exported from Selection$
final type HasVariables = HasVariables
Exported from csp$
final type IfThen = IfThen
Exported from csp$
final type IfThenBool = IfThenBool
Exported from csp$
final type IfThenElse = IfThenElse
Exported from csp$
final type Indexed = Indexed
Exported from csp$
final type IntVar = IntVar
Exported from csp$
final type MulBuilder = MulBuilder
Exported from csp$
final type Or = Or
Exported from Selection$
final type PlusBuilder = PlusBuilder
Exported from csp$
final type PrimitiveConstr = PrimitiveConstr
Exported from csp$
final type Rectangle = Rectangle
Exported from csp$
final type Reified = Reified
Exported from csp$
final type RelGroup = RelGroup
Exported from meta$
final type SumBuilder = SumBuilder
Exported from csp$
final type SumEq = SumEq
Exported from csp$
final type Term = Term
Exported from Selection$
final val Var: Var
Exported from csp
final type Var = Var
Exported from csp$
final type XdivYeqZ = XdivYeqZ
Exported from csp$
final type XeqBool = XeqBool
Exported from csp$
final type XeqC = XeqC
Exported from csp$
final type XeqY = XeqY
Exported from csp$
final type XexpYeqZ = XexpYeqZ
Exported from csp$
final type XgtC = XgtC
Exported from csp$
final type XgtY = XgtY
Exported from csp$
final type XgteqC = XgteqC
Exported from csp$
final type XgteqY = XgteqY
Exported from csp$
final type XltC = XltC
Exported from csp$
final type XltY = XltY
Exported from csp$
final type XlteqC = XlteqC
Exported from csp$
final type XlteqY = XlteqY
Exported from csp$
final type XmulYeqZ = XmulYeqZ
Exported from csp$
final type XneqC = XneqC
Exported from csp$
final type XneqY = XneqY
Exported from csp$
final type XplusYeqZ = XplusYeqZ
Exported from csp$
final type XplusYlteqZ = XplusYlteqZ
Exported from csp$
def intVarIds[T](ids: T*): Seq[Var]
Exported from csp
val nl: String
Exported from StringUtils
def nlLiteral: String
Exported from StringUtils
final val parseConstraints: parseConstraints
Exported from csp
val q: String
Exported from StringUtils
val q3: String
Exported from StringUtils
Generated with