scalus.sir.SIRType.TypeLambda
See theTypeLambda companion object
case class TypeLambda(params: List[TypeVar], body: SIRType) extends SIRType
Type lambda (always curried).
Attributes
- Companion
- object
- Graph
-
- Supertypes
Members list
In this article