Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.UnisonFile.Summary

Synopsis

data FileSummary = FileSummary {
- dataDeclsBySymbol :: Map Symbol (Id, DataDeclaration Symbol Ann)
- dataDeclsByReference :: Map Id (Map Symbol (DataDeclaration Symbol Ann))
- effectDeclsBySymbol :: Map Symbol (Id, EffectDeclaration Symbol Ann)
- effectDeclsByReference :: Map Id (Map Symbol (EffectDeclaration Symbol Ann))
- termsBySymbol :: Map Symbol (Ann, Maybe Id, Term Symbol Ann, Maybe (Type Symbol Ann))
- termsByReference :: Map (Maybe Id) (Map Symbol (Ann, Term Symbol Ann, Maybe (Type Symbol Ann)))
- testWatchSummary :: [(Ann, Maybe Symbol, Maybe Id, Term Symbol Ann, Maybe (Type Symbol Ann))]
- exprWatchSummary :: [(Ann, Maybe Symbol, Maybe Id, Term Symbol Ann, Maybe (Type Symbol Ann), Maybe WatchKind)]
- fileNames :: Names
}
allWatches :: FileSummary -> [(Ann, Maybe Symbol, Maybe Id, Term Symbol Ann, Maybe (Type Symbol Ann), Maybe WatchKind)]
allTypeDecls :: FileSummary -> Map Symbol (Id, Either (EffectDeclaration Symbol Ann) (DataDeclaration Symbol Ann))
mkFileSummary :: Maybe (UnisonFile Symbol Ann) -> Maybe (TypecheckedUnisonFile Symbol Ann) -> Maybe FileSummary
fileDefLocations :: FileSummary -> Map Symbol (Set Ann)

Documentation

data FileSummary Source #

A file that parses might not always type-check, but often we just want to get as much information as we have available. This provides a type where we can summarize the information available in a Unison file.

If the file typechecked then all the Ref Ids and types will be filled in, otherwise they will be Nothing.

Constructors

FileSummary

Fields

dataDeclsBySymbol :: Map Symbol (Id, DataDeclaration Symbol Ann)
dataDeclsByReference :: Map Id (Map Symbol (DataDeclaration Symbol Ann))
effectDeclsBySymbol :: Map Symbol (Id, EffectDeclaration Symbol Ann)
effectDeclsByReference :: Map Id (Map Symbol (EffectDeclaration Symbol Ann))
termsBySymbol :: Map Symbol (Ann, Maybe Id, Term Symbol Ann, Maybe (Type Symbol Ann))
termsByReference :: Map (Maybe Id) (Map Symbol (Ann, Term Symbol Ann, Maybe (Type Symbol Ann)))
testWatchSummary :: [(Ann, Maybe Symbol, Maybe Id, Term Symbol Ann, Maybe (Type Symbol Ann))]
exprWatchSummary :: [(Ann, Maybe Symbol, Maybe Id, Term Symbol Ann, Maybe (Type Symbol Ann), Maybe WatchKind)]
fileNames :: Names

Instances

Instances details

Show FileSummary Source #
Instance details Defined in Unison.UnisonFile.Summary Methods showsPrec :: Int -> FileSummary -> ShowS # show :: FileSummary -> String # showList :: [FileSummary] -> ShowS #

allWatches :: FileSummary -> [(Ann, Maybe Symbol, Maybe Id, Term Symbol Ann, Maybe (Type Symbol Ann), Maybe WatchKind)] Source #

allTypeDecls :: FileSummary -> Map Symbol (Id, Either (EffectDeclaration Symbol Ann) (DataDeclaration Symbol Ann)) Source #

mkFileSummary :: Maybe (UnisonFile Symbol Ann) -> Maybe (TypecheckedUnisonFile Symbol Ann) -> Maybe FileSummary Source #

Summarize the information available to us from the current state of the file. See FileSummary for more information.

fileDefLocations :: FileSummary -> Map Symbol (Set Ann) Source #

Compute the location of user defined definitions within the file