scaladoc
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scaladoc/dotty.tools/dotty.tools.scaladoc/dotty.tools.scaladoc.renderers/Resource

Resource

dotty.tools.scaladoc.renderers.Resource
enum Resource(val path: String)

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
case Text
case Classpath
case File
case URL
case URLToCopy

Members list

Type members

Enum entries

final case class Classpath(path: String, name: String) extends Resource
final case class File(path: String, file: Path) extends Resource
final case class Text(path: String, content: String) extends Resource
final case class URL(url: String) extends Resource
final case class URLToCopy(url: String, dest: String) extends Resource
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL