Module aya.base

Package org.aya.core.repr

Interface ParamShape

All Known Implementing Classes:

ParamShape.Any, ParamShape.Licit

public sealed interface ParamShape
permits ParamShape.Licit, ParamShape.Any

Nested Class Summary

Nested Classes

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

Method Summary

Static Methods

Modifier and Type	Method	Description
static @NotNull ParamShape	anyEx()
static @NotNull ParamShape	anyIm()
static @NotNull ParamShape	anyLicit(@NotNull TermShape type)
static @NotNull ParamShape	anyLicit(CodeShape.LocalId name, @NotNull TermShape type)
static @NotNull ParamShape	explicit(@NotNull TermShape type)
static @NotNull ParamShape	explicit(CodeShape.LocalId name, @NotNull TermShape type)
static @NotNull ParamShape	implicit(@NotNull TermShape type)

Method Details

explicit

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

explicit

@NotNull
static @NotNull ParamShape explicit(@NotNull
 CodeShape.LocalId name,
 @NotNull
 @NotNull TermShape type)

implicit

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

anyLicit

@NotNull
static @NotNull ParamShape anyLicit(@NotNull
 CodeShape.LocalId name,
 @NotNull
 @NotNull TermShape type)

anyLicit

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

anyEx

@NotNull
static @NotNull ParamShape anyEx()

anyIm

@NotNull
static @NotNull ParamShape anyIm()