hydra-kernel package
API
Generated with
hydra-kernel/hydra/hydra.typing

hydra.typing

package hydra.typing

Members list

Type members

Classlikes

case class FunctionStructure[Env](typeParams: Seq[Name], params: Seq[Name], bindings: Seq[Binding], body: Term, domains: Seq[Type], codomain: Option[Type], environment: Env)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class InferenceContext(freshTypeVariableCount: Int, trace: Seq[SubtermStep])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class InferenceResult(term: Term, `type`: Type, subst: TypeSubst, classConstraints: Map[Name, TypeVariableConstraints], context: InferenceContext)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Parameter(name: Name, description: Option[String], `type`: Type, isLazy: Boolean)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Result(description: Option[String], `type`: Type)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class TermSignature(typeParameters: Seq[TypeParameter], parameters: Seq[Parameter], result: Result)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class TypeClass(description: String)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class TypeConstraint(left: Type, right: Type, comment: String)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class TypeParameter(name: Name, constraints: Seq[TypeClassConstraint])

Attributes

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

Types

type TermSubst = Map[Name, Term]
type TypeSubst = Map[Name, Type]
Generated with