Debugger

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val ACCEPT: String

val ACCEPTED: Int

val ACCEPT_CHARSET: String

val ACCEPT_ENCODING: String

val ACCEPT_LANGUAGE: String

val ACCEPT_RANGES: String

val ACCESS_CONTROL_ALLOW_CREDENTIALS: String

val ACCESS_CONTROL_ALLOW_HEADERS: String

val ACCESS_CONTROL_ALLOW_METHODS: String

val ACCESS_CONTROL_ALLOW_ORIGIN: String

val ACCESS_CONTROL_EXPOSE_HEADERS: String

val ACCESS_CONTROL_MAX_AGE: String

val ACCESS_CONTROL_REQUEST_HEADERS: String

val ACCESS_CONTROL_REQUEST_METHOD: String

val AGE: String

val ALLOW: String

val AUTHORIZATION: String

val Accepted: Status

def Action: ActionBuilder[Request, AnyContent]

object ArgumentNode extends Style with Product with Serializable

val BAD_GATEWAY: Int

val BAD_REQUEST: Int

val BINARY: String

val BadGateway: Status

val BadRequest: Status

val CACHE_CONTROL: String

val CACHE_MANIFEST: String

val CHUNKED: String

val CONFLICT: Int

val CONNECTION: String

val CONTENT_DISPOSITION: String

val CONTENT_ENCODING: String

val CONTENT_LANGUAGE: String

val CONTENT_LENGTH: String

val CONTENT_LOCATION: String

val CONTENT_MD5: String

val CONTENT_RANGE: String

val CONTENT_TRANSFER_ENCODING: String

val CONTENT_TYPE: String

val CONTINUE: Int

val COOKIE: String

val CREATED: Int

def CSS(implicit codec: Codec): String

object CombinatorNode extends Style with Product with Serializable

val Conflict: Status

val Continue: Result

val Created: Status

val DATE: String

val ETAG: String

def EVENT_STREAM(implicit codec: Codec): String

val EXPECT: String

val EXPECTATION_FAILED: Int

val EXPIRES: String

val EntityTooLarge: Status

val ExpectationFailed: Status

val FAILED_DEPENDENCY: Int

val FORBIDDEN: Int

val FORM: String

val FORWARDED: String

val FOUND: Int

val FROM: String

val FailedDependency: Status

val Forbidden: Status

def Found(url: String): Result

val GATEWAY_TIMEOUT: Int

val GONE: Int

val GatewayTimeout: Status

val Gone: Status

val HOST: String

def HTML(implicit codec: Codec): String

val HTTP_1_0: String

val HTTP_1_1: String

val HTTP_VERSION_NOT_SUPPORTED: Int

val HttpVersionNotSupported: Status

val IF_MATCH: String

val IF_MODIFIED_SINCE: String

val IF_NONE_MATCH: String

val IF_RANGE: String

val IF_UNMODIFIED_SINCE: String

val IM_A_TEAPOT: Int

val INSUFFICIENT_STORAGE: Int

val INTERNAL_SERVER_ERROR: Int

val ImATeapot: Status

val InsufficientStorage: Status

val InternalServerError: Status

object InvisibleCombinatorNode extends Style with Product with Serializable

object InvisibleTypeNode extends Style with Product with Serializable

def JAVASCRIPT(implicit codec: Codec): String

val JSON: String

val LAST_MODIFIED: String

val LENGTH_REQUIRED: Int

val LINK: String

val LOCATION: String

val LOCKED: Int

val Locked: Status

val MAX_FORWARDS: String

val METHOD_NOT_ALLOWED: Int

val MOVED_PERMANENTLY: Int

val MULTIPLE_CHOICES: Int

val MULTI_STATUS: Int

val MethodNotAllowed: Status

def MovedPermanently(url: String): Result

val MultiStatus: Status

val NON_AUTHORITATIVE_INFORMATION: Int

val NOT_ACCEPTABLE: Int

val NOT_FOUND: Int

val NOT_IMPLEMENTED: Int

val NOT_MODIFIED: Int

val NO_CONTENT: Int

val NoContent: Result

val NonAuthoritativeInformation: Status

val NotAcceptable: Status

val NotFound: Status

val NotImplemented: Status

val NotModified: Result

val OK: Int

val ORIGIN: String

val Ok: Status

val PARTIAL_CONTENT: Int

val PAYMENT_REQUIRED: Int

val PERMANENT_REDIRECT: Int

val PRAGMA: String

val PRECONDITION_FAILED: Int

val PROXY_AUTHENTICATE: String

val PROXY_AUTHENTICATION_REQUIRED: Int

val PROXY_AUTHORIZATION: String

val PartialContent: Status

val PaymentRequired: Status

def PermanentRedirect(url: String): Result

val PreconditionFailed: Status

val RANGE: String

val REFERER: String

val REQUESTED_RANGE_NOT_SATISFIABLE: Int

val REQUEST_ENTITY_TOO_LARGE: Int

val REQUEST_TIMEOUT: Int

val REQUEST_URI_TOO_LONG: Int

val RESET_CONTENT: Int

val RETRY_AFTER: String

def Redirect(call: Call, status: Int): Result

def Redirect(call: Call): Result

def Redirect(url: String, queryString: Map[String, Seq[String]], status: Int): Result

def Redirect(url: String, status: Int): Result

val RequestTimeout: Status

val ResetContent: Result

val SEE_OTHER: Int

val SERVER: String

val SERVICE_UNAVAILABLE: Int

val SET_COOKIE: String

val SET_COOKIE2: String

val STRICT_TRANSPORT_SECURITY: String

val SWITCHING_PROTOCOLS: Int

def SeeOther(url: String): Result

val ServiceUnavailable: Status

def Status(code: Int): Status

val SwitchingProtocols: Result

val TE: String

val TEMPORARY_REDIRECT: Int

def TEXT(implicit codec: Codec): String

lazy val TODO: Action[AnyContent]

val TOO_MANY_REQUESTS: Int

val TRAILER: String

val TRANSFER_ENCODING: String

object TargetNode extends Style with Product with Serializable

def TemporaryRedirect(url: String): Result

val TooManyRequests: Status

object TypeNode extends Style with Product with Serializable

val UNAUTHORIZED: Int

val UNPROCESSABLE_ENTITY: Int

val UNSUPPORTED_MEDIA_TYPE: Int

val UPGRADE: String

val UPGRADE_REQUIRED: Int

val USER_AGENT: String

val USE_PROXY: Int

val Unauthorized: Status

object UninhabitedTypeNode extends Style with Product with Serializable

val UnprocessableEntity: Status

val UnsupportedMediaType: Status

object UnusableCombinatorNode extends Style with Product with Serializable

val UriTooLong: Status

val VARY: String

val VIA: String

val WARNING: String

val WWW_AUTHENTICATE: String

def XHTML(implicit codec: Codec): String

def XML(implicit codec: Codec): String

val X_FORWARDED_FOR: String

val X_FORWARDED_HOST: String

val X_FORWARDED_PORT: String

val X_FORWARDED_PROTO: String

val X_REQUESTED_WITH: String

final def asInstanceOf[T0]: T0

val assets: Assets

lazy val bcl: BoundedCombinatoryLogicDebugger

def clone(): AnyRef

val combinators: Map[String, (Type, String)]

def computeRequest(request: String): Action[AnyContent]

Computes a new request

def controllerComponents: ControllerComponents

def countsSolutions: Action[AnyContent]

def defaultExecutionContext: ExecutionContext

implicit lazy val edgeFormat: OWrites[Edge]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def fallbackControllerComponents: ControllerComponents

implicit def fileMimeTypes: FileMimeTypes

def finalize(): Unit

def findEqualEntries(grammar: TreeGrammar, ty: Type): Option[Type]

implicit lazy val fullEdgeFormat: OWrites[FullEdge]

implicit lazy val fullNodeFormat: OWrites[FullNode]

final def getClass(): Class[_]

implicit lazy val graphFormat: OWrites[Graph]

var graphObj: JsValue

def hashCode(): Int

def index(): Action[AnyContent]

Renders an overview page

val infinite: Boolean

def inhabitantToGraph(index: Long): Action[AnyContent]

Generates a graph for an inhabitant

final def isInstanceOf[T0]: Boolean

implicit def messagesApi: MessagesApi

final def ne(arg0: AnyRef): Boolean

var newGraph: TreeGrammar

var newTargets: Seq[Type]

implicit lazy val nodeFormat: OWrites[Node]

final def notify(): Unit

final def notifyAll(): Unit

def parse: PlayBodyParsers

val projectName: String

implicit def request2flash(implicit request: RequestHeader): Flash

implicit def request2session(implicit request: RequestHeader): Session

val results: Results

def setControllerComponents(components: ControllerComponents): Unit

def showDebuggerMessages: Action[AnyContent]

Returns debugger messages

def showGraph: Action[AnyContent]

Returns a result overview

def showPosition(label: String): Action[AnyContent]

Shows in the debug overview the implementation of the combinator

def showRepo: Action[AnyContent]

Returns the repository

def showResult(index: Long): Action[AnyContent]

Shows a list of inhabitants

def showSteps(step: Int): Action[AnyContent]

Computes the steps for the step-wise visualisation

def showUninhabitedTy(): Action[AnyContent]

Returns the uninhabited types

def showUnusableBecauseOfTy(): Action[AnyContent]

def showUnusableCMsg(): Action[AnyContent]

Returns messages for unusable combinators

implicit lazy val styleFormat: Writes[Style]

val substitutionSpace: FiniteSubstitutionSpace

val subtypes: SubtypeEnvironment

implicit def supportedLangs: Langs

final def synchronized[T0](arg0: ⇒ T0): T0

var targets: Seq[Type]

val testChannel: TestChannel

def toGraph(treeGrammar: TreeGrammar, tgts: Set[Type], uninhabitedTypes: Set[Type], cannotUseCombinator: Set[(String, Seq[Type])]): Graph

Generates a hypergraph

def toString(): String

def toggleCycles(step: Int): Action[AnyContent]

Toggles all unproductive cycles and provides a clean view

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

val webjarsUtil: WebJarsUtil

def withCharset(mimeType: String)(implicit codec: Codec): String

val TOO_MANY_REQUEST: Int

val TooManyRequest: Status