GHC.Iface.Errors.Types

Safe Haskell	None
Language	GHC2021

Constructors

BadSourceImport !Module
HomeModError !InstalledModule !ModLocation
DynamicHashMismatchError !Module !ModLocation
CantFindErr !UnitState FindingModuleOrInterface CantFindInstalled
BadIfaceFile ReadInterfaceError
FailedToLoadDynamicInterface Module ReadInterfaceError

Instances

Instances details

Generic MissingInterfaceError Source #

Instance details

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep MissingInterfaceError

Instance details

Defined in GHC.Iface.Errors.Types

Methods

from :: MissingInterfaceError -> Rep MissingInterfaceError x #

to :: Rep MissingInterfaceError x -> MissingInterfaceError #

type Rep MissingInterfaceError Source #

Instance details

Defined in GHC.Iface.Errors.Types

data InterfaceLookingFor Source #

Constructors

LookingForName !Name
LookingForHiBoot !Module
LookingForModule !ModuleName !IsBootInterface
LookingForSig !InstalledModule

data IfaceMessage Source #

Constructors

Can'tFindInterface MissingInterfaceError InterfaceLookingFor
Can'tFindNameInInterface Name [TyThing]
CircularImport !Module

Instances

Instances details

Diagnostic IfaceMessage Source #

Instance details

Defined in GHC.Iface.Errors.Ppr

Associated Types

type DiagnosticOpts IfaceMessage
Instance details Defined in GHC.Iface.Errors.Ppr type DiagnosticOpts IfaceMessage = IfaceMessageOpts

Methods

diagnosticMessage :: DiagnosticOpts IfaceMessage -> IfaceMessage -> DecoratedSDoc Source #

diagnosticReason :: IfaceMessage -> DiagnosticReason Source #

diagnosticHints :: IfaceMessage -> [GhcHint] Source #

diagnosticCode :: IfaceMessage -> Maybe DiagnosticCode Source #

Generic IfaceMessage Source #

Instance details

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep IfaceMessage

Instance details

Defined in GHC.Iface.Errors.Types

type Rep IfaceMessage = D1 ('MetaData "IfaceMessage" "GHC.Iface.Errors.Types" "ghc-9.13-inplace" 'False) (C1 ('MetaCons "Can'tFindInterface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MissingInterfaceError) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InterfaceLookingFor)) :+: (C1 ('MetaCons "Can'tFindNameInInterface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyThing])) :+: C1 ('MetaCons "CircularImport" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module))))

Methods

from :: IfaceMessage -> Rep IfaceMessage x #

to :: Rep IfaceMessage x -> IfaceMessage #

type DiagnosticOpts IfaceMessage Source #

Instance details

Defined in GHC.Iface.Errors.Ppr

type DiagnosticOpts IfaceMessage = IfaceMessageOpts

type Rep IfaceMessage Source #

Instance details

Defined in GHC.Iface.Errors.Types

type Rep IfaceMessage = D1 ('MetaData "IfaceMessage" "GHC.Iface.Errors.Types" "ghc-9.13-inplace" 'False) (C1 ('MetaCons "Can'tFindInterface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MissingInterfaceError) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InterfaceLookingFor)) :+: (C1 ('MetaCons "Can'tFindNameInInterface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyThing])) :+: C1 ('MetaCons "CircularImport" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module))))

data ReadInterfaceError Source #

Constructors

ExceptionOccurred FilePath SomeException
HiModuleNameMismatchWarn FilePath Module Module

Instances

Instances details

Generic ReadInterfaceError Source #

Instance details

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep ReadInterfaceError

Instance details

Defined in GHC.Iface.Errors.Types

type Rep ReadInterfaceError = D1 ('MetaData "ReadInterfaceError" "GHC.Iface.Errors.Types" "ghc-9.13-inplace" 'False) (C1 ('MetaCons "ExceptionOccurred" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SomeException)) :+: C1 ('MetaCons "HiModuleNameMismatchWarn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module))))

Methods

from :: ReadInterfaceError -> Rep ReadInterfaceError x #

to :: Rep ReadInterfaceError x -> ReadInterfaceError #

type Rep ReadInterfaceError Source #

Instance details

Defined in GHC.Iface.Errors.Types

type Rep ReadInterfaceError = D1 ('MetaData "ReadInterfaceError" "GHC.Iface.Errors.Types" "ghc-9.13-inplace" 'False) (C1 ('MetaCons "ExceptionOccurred" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SomeException)) :+: C1 ('MetaCons "HiModuleNameMismatchWarn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module))))

data CantFindInstalled Source #

Constructors

CantFindInstalled ModuleName CantFindInstalledReason

Instances

Instances details

Generic CantFindInstalled Source #

Instance details

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep CantFindInstalled

Instance details

Defined in GHC.Iface.Errors.Types

type Rep CantFindInstalled = D1 ('MetaData "CantFindInstalled" "GHC.Iface.Errors.Types" "ghc-9.13-inplace" 'False) (C1 ('MetaCons "CantFindInstalled" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CantFindInstalledReason)))

Methods

from :: CantFindInstalled -> Rep CantFindInstalled x #

to :: Rep CantFindInstalled x -> CantFindInstalled #

type Rep CantFindInstalled Source #

Instance details

Defined in GHC.Iface.Errors.Types

type Rep CantFindInstalled = D1 ('MetaData "CantFindInstalled" "GHC.Iface.Errors.Types" "ghc-9.13-inplace" 'False) (C1 ('MetaCons "CantFindInstalled" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CantFindInstalledReason)))

data CantFindInstalledReason Source #

Instances

Instances details

Generic CantFindInstalledReason Source #

Instance details

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep CantFindInstalledReason

Instance details

Defined in GHC.Iface.Errors.Types

Methods

from :: CantFindInstalledReason -> Rep CantFindInstalledReason x #

to :: Rep CantFindInstalledReason x -> CantFindInstalledReason #

type Rep CantFindInstalledReason Source #

Instance details

Defined in GHC.Iface.Errors.Types

data FindingModuleOrInterface Source #

Constructors

FindingModule
FindingInterface

data BuildingCabalPackage Source #

Pass to a DriverMessage the information whether or not the '-fbuilding-cabal-package' flag is set.

Constructors

YesBuildingCabalPackage
NoBuildingCabalPackage

Instances

Instances details

Eq BuildingCabalPackage Source #
Instance details Defined in GHC.Iface.Errors.Types Methods (==) :: BuildingCabalPackage -> BuildingCabalPackage -> Bool # (/=) :: BuildingCabalPackage -> BuildingCabalPackage -> Bool #

data IfaceMessageOpts Source #

Constructors

IfaceMessageOpts
Fields ifaceShowTriedFiles :: !Bool Whether to show files we tried to look for or not when printing loader errors ifaceBuildingCabalPackage :: !BuildingCabalPackage

Instances

Instances details

HasDefaultDiagnosticOpts IfaceMessageOpts Source #
Instance details Defined in GHC.Iface.Errors.Ppr Methods defaultOpts :: IfaceMessageOpts Source #

NoUnitIdMatching UnitId [UnitInfo]
MissingPackageFiles UnitId [FilePath]
MissingPackageWayFiles String UnitId [FilePath]
ModuleSuggestion [ModuleSuggestion] [FilePath]
NotAModule
CouldntFindInFiles [FilePath]
GenericMissing [(Unit, Maybe UnitInfo)] [Unit] [UnusableUnit] [FilePath]
MultiplePackages [(Module, ModuleOrigin)]

Documentation

Instances

Instances

Instances

Instances

Instances

Instances

Instances