Module aya.base

Package org.aya.core.repr

Interface CodeShape.ParamShape

All Known Implementing Classes:

CodeShape.ParamShape.Any, CodeShape.ParamShape.Licit, CodeShape.ParamShape.Optional

Enclosing interface:

CodeShape

public static sealed interface CodeShape.ParamShape
permits CodeShape.ParamShape.Any, CodeShape.ParamShape.Licit, CodeShape.ParamShape.Optional

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	CodeShape.ParamShape.Any
static final record	CodeShape.ParamShape.Licit
static final record	CodeShape.ParamShape.Optional

Method Summary

Static Methods

Modifier and Type	Method	Description
static CodeShape.ParamShape	anyEx()
static CodeShape.ParamShape	anyIm()
static CodeShape.ParamShape	anyLicit(CodeShape.TermShape type)
static CodeShape.ParamShape	explicit(CodeShape.TermShape type)
static CodeShape.ParamShape	implicit(CodeShape.TermShape type)

Method Details

explicit

@NotNull
static CodeShape.ParamShape explicit(@NotNull
 CodeShape.TermShape type)

implicit

@NotNull
static CodeShape.ParamShape implicit(@NotNull
 CodeShape.TermShape type)

anyLicit

@NotNull
static CodeShape.ParamShape anyLicit(@NotNull
 CodeShape.TermShape type)

anyEx

@NotNull
static CodeShape.ParamShape anyEx()

anyIm

@NotNull
static CodeShape.ParamShape anyIm()