info.hupel.isabelle

setup

package setup

Tools for setting up an Isabelle installation and managing Isabelle sources and environments at runtime. Most functions in this package have some effect on the local file system and may download content from the Internet.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. setup
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class OfficialPlatform extends Platform

    A Platform with known archive location.

  2. sealed abstract class Platform extends AnyRef

    The underlying operating system platform with knowlege of a local storage path.

  3. trait Resolver extends AnyRef

    Function preparing a classpath containing an appropriate environment.

  4. final case class Resources extends Product with Serializable

    A file system location containing Isabelle sources.

  5. final case class Setup(home: Path, platform: Platform, version: Version) extends Product with Serializable

    A state-less, logic-less representation of a file system location containing an Isabelle installation with a specified version.

  6. implicit class TaskOps[T] extends AnyRef

Value Members

  1. object Platform

    Detection of the machine's platform.

  2. object Resolver

    resolver instances.

  3. object Resources extends Serializable

    Utilities to extract resources from the classpath.

  4. object Setup extends Serializable

    Detecting and creating setups.

  5. object Tar

    Downloading and unpacking tar archives.

Inherited from AnyRef

Inherited from Any

Ungrouped