Language.PureScript.Ide.Reexports

Resolves reexports for psc-ide

Documentation

resolveReexports

Arguments

:: ModuleMap [(ModuleName, DeclarationRef)]

the references to resolve

-> ModuleMap [IdeDeclarationAnn]

Modules to search for the reexported declarations

-> ModuleMap (ReexportResult [IdeDeclarationAnn])

Resolves Reexports for the given Modules, by looking up the reexported values from the passed in DeclarationRefs

prettyPrintReexportResult

Arguments

:: (a -> Text)

Formatter for the resolved result

-> ReexportResult a

The Result to be pretty printed

-> Text

Uses the passed formatter to format the resolved module, and adds possible failures

reexportHasFailures :: ReexportResult a -> Bool

Whether any Refs couldn't be resolved

data ReexportResult a

Contains the module with resolved reexports, and possible failures

Constructors

ReexportResult

Fields

• reResolved :: a
• reFailed :: [(ModuleName, DeclarationRef)]

Instances

Functor ReexportResult

Methods

fmap :: (a -> b) -> ReexportResult a -> ReexportResult b

(<$) :: a -> ReexportResult b -> ReexportResult a

Eq a => Eq (ReexportResult a)

Methods

(==) :: ReexportResult a -> ReexportResult a -> Bool

(/=) :: ReexportResult a -> ReexportResult a -> Bool

Show a => Show (ReexportResult a)

Methods

showsPrec :: Int -> ReexportResult a -> ShowS

show :: ReexportResult a -> String

showList :: [ReexportResult a] -> ShowS

Generic (ReexportResult a)

Associated Types

type Rep (ReexportResult a) :: * -> *

Methods

from :: ReexportResult a -> Rep (ReexportResult a) x

to :: Rep (ReexportResult a) x -> ReexportResult a

NFData a => NFData (ReexportResult a)

Methods

rnf :: ReexportResult a -> ()

type Rep (ReexportResult a)

type Rep (ReexportResult a) = D1 (MetaData "ReexportResult" "Language.PureScript.Ide.Reexports" "purescript-0.11.7-LYkkdaNPe76o3Ss2KvZX" False) (C1 (MetaCons "ReexportResult" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "reResolved") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Just Symbol "reFailed") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(ModuleName, DeclarationRef)]))))

resolveReexports' :: ModuleMap [IdeDeclarationAnn] -> [(ModuleName, DeclarationRef)] -> ReexportResult [IdeDeclarationAnn]