Stan.FileInfo

Description

File (or module) specific information.

Synopsis

Documentation

File specific information.

Constructors

FileInfo
Fields fileInfoPath :: !FilePath fileInfoModuleName :: !ModuleName fileInfoLoc :: !Int fileInfoCabalExtensions :: !(Either ExtensionsError ParsedExtensions) fileInfoExtensions :: !(Either ExtensionsError ParsedExtensions) fileInfoMergedExtensions :: !ExtensionsResult fileInfoObservations :: !Observations

Instances details

Show FileInfo Source #
Instance details Defined in Stan.FileInfo Methods showsPrec :: Int -> FileInfo -> ShowS # show :: FileInfo -> String # showList :: [FileInfo] -> ShowS #
Eq FileInfo Source #
Instance details Defined in Stan.FileInfo Methods (==) :: FileInfo -> FileInfo -> Bool # (/=) :: FileInfo -> FileInfo -> Bool #
ToJSON FileInfo Source #
Instance details Defined in Stan.FileInfo Methods toJSON :: FileInfo -> Value #

Return the list of pretty-printed extensions.

Check whether the given extension is disabled