Agda-2.6.3.20230914: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.TypeChecking.Monad.Base.Warning

Description

Types related to warnings raised by Agda.

Documentation

data RecordFieldWarning Source #

Constructors

DuplicateFields [(Name, Range)]

Each redundant field comes with a range of associated dead code.

TooManyFields QName [Name] [(Name, Range)]

Record type, fields not supplied by user, non-fields but supplied. The redundant fields come with a range of associated dead code.

Instances

Instances details
EmbPrj RecordFieldWarning Source # 
Instance details

Defined in Agda.TypeChecking.Serialise.Instances.Errors

Generic RecordFieldWarning Source # 
Instance details

Defined in Agda.TypeChecking.Monad.Base.Warning

Associated Types

type Rep RecordFieldWarning :: Type -> Type #

Show RecordFieldWarning Source # 
Instance details

Defined in Agda.TypeChecking.Monad.Base.Warning

NFData RecordFieldWarning Source # 
Instance details

Defined in Agda.TypeChecking.Monad.Base

Methods

rnf :: RecordFieldWarning -> () #

type Rep RecordFieldWarning Source # 
Instance details

Defined in Agda.TypeChecking.Monad.Base.Warning