Module aya.base
Package org.aya.tyck.error

Interface LicitError

All Superinterfaces:
org.aya.util.reporter.Problem, SourceNodeProblem, TyckError
All Known Implementing Classes:
LicitError.BadImplicitArg, LicitError.BadNamedArg, LicitError.ImplicitLam
public sealed interface LicitError extends TyckError, SourceNodeProblem permits LicitError.BadImplicitArg, LicitError.BadNamedArg, LicitError.ImplicitLam

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    LicitError.BadImplicitArg
     
    static final record 
    LicitError.BadNamedArg
     
    static final record 
    LicitError.ImplicitLam
     

    Nested classes/interfaces inherited from interface org.aya.util.reporter.Problem

    org.aya.util.reporter.Problem.Severity, org.aya.util.reporter.Problem.Stage

  • Field Summary

    Fields inherited from interface org.aya.util.reporter.Problem

    ERROR, NOTE

  • Method Summary

    Methods inherited from interface org.aya.util.reporter.Problem

    brief, describe, hint, inlineHints, isError, toPrettyError

    Methods inherited from interface org.aya.tyck.error.SourceNodeProblem

    expr, sourcePos

    Methods inherited from interface org.aya.tyck.error.TyckError

    level, stage