Safe Haskell	Safe-Inferred
Language	Haskell2010

Graphmod.Utils

Synopsis

parseFile :: FilePath -> IO (ModName, [Import])
parseString :: String -> (ModName, [Import])
data Qualifier
qualifierNodes :: Qualifier -> [String]
fromHierarchy :: [String] -> Qualifier
data Import = Import {
- impMod :: ModName
- impType :: ImpType
}
data ImpType
- = NormalImp
- | SourceImp
splitQualifier :: String -> Qualifier
type ModName = (Qualifier, String)
splitModName :: String -> ModName
joinModName :: ModName -> String
relPaths :: ModName -> [FilePath]
modToFile :: [FilePath] -> ModName -> IO [FilePath]
suffixes :: [String]

Documentation

parseFile :: FilePath -> IO (ModName, [Import]) Source #

Get the imports of a file.

parseString :: String -> (ModName, [Import]) Source #

Get the imports from a string that represents a program.

data Qualifier Source #

A hierarchical module name. We make this an opaque type with accessors qualifierNodes and fromHierarchy so that we can transparently add new structure to this type.

Instances

Instances details

Show Qualifier Source #
Instance details Defined in Graphmod.Utils Methods showsPrec :: Int -> Qualifier -> ShowS # show :: Qualifier -> String # showList :: [Qualifier] -> ShowS #
Eq Qualifier Source #
Instance details Defined in Graphmod.Utils Methods (==) :: Qualifier -> Qualifier -> Bool # (/=) :: Qualifier -> Qualifier -> Bool #

qualifierNodes :: Qualifier -> [String] Source #

fromHierarchy :: [String] -> Qualifier Source #

data Import Source #

Constructors

Import
Fields impMod :: ModName impType :: ImpType

Instances

Instances details

Show Import Source #
Instance details Defined in Graphmod.Utils Methods showsPrec :: Int -> Import -> ShowS # show :: Import -> String # showList :: [Import] -> ShowS #
Eq Import Source #
Instance details Defined in Graphmod.Utils Methods (==) :: Import -> Import -> Bool # (/=) :: Import -> Import -> Bool #

data ImpType Source #

Constructors

NormalImp
SourceImp

Instances

Instances details

Show ImpType Source #
Instance details Defined in Graphmod.Utils Methods showsPrec :: Int -> ImpType -> ShowS # show :: ImpType -> String # showList :: [ImpType] -> ShowS #
Eq ImpType Source #
Instance details Defined in Graphmod.Utils Methods (==) :: ImpType -> ImpType -> Bool # (/=) :: ImpType -> ImpType -> Bool #
Ord ImpType Source #
Instance details Defined in Graphmod.Utils Methods compare :: ImpType -> ImpType -> Ordering # (<) :: ImpType -> ImpType -> Bool # (<=) :: ImpType -> ImpType -> Bool # (>) :: ImpType -> ImpType -> Bool # (>=) :: ImpType -> ImpType -> Bool # max :: ImpType -> ImpType -> ImpType # min :: ImpType -> ImpType -> ImpType #

splitQualifier :: String -> Qualifier Source #

Convert a string name into a hierarchical name qualifier.

type ModName = (Qualifier, String) Source #

splitModName :: String -> ModName Source #

Convert a string name into a hierarchical name. It is important that

f elem ((relPaths . splitFilePath) f)

joinModName :: ModName -> String Source #

relPaths :: ModName -> [FilePath] Source #

The files in which a module might reside.

modToFile :: [FilePath] -> ModName -> IO [FilePath] Source #

The files in which a module might reside. We report only files that exist.

suffixes :: [String] Source #