Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
- unModuleName :: ModuleName -> String
- overModuleName :: (String -> String) -> ModuleName -> ModuleName
- namedImport :: String -> ImportDecl
- qualImport :: String -> ImportDecl
- haskellStringType :: Type
- haskellByteStringType :: Type
- haskellUnitType :: Type
- haskellSimpleType :: String -> Type
- noLoc :: SrcLoc
- newtype ModuleName :: * = ModuleName String
- data ImportDecl :: * = ImportDecl {
- importLoc :: SrcLoc
- importModule :: ModuleName
- importQualified :: Bool
- importSrc :: Bool
- importPkg :: Maybe String
- importAs :: Maybe ModuleName
- importSpecs :: Maybe (Bool, [ImportSpec])
Documentation
unModuleName :: ModuleName -> String Source
overModuleName :: (String -> String) -> ModuleName -> ModuleName Source
namedImport :: String -> ImportDecl Source
Create a simple named basic import, to be updated with other fields as needed.
qualImport :: String -> ImportDecl Source
Qualified import with given name
haskellStringType :: Type Source
haskellByteStringType :: Type Source
haskellUnitType :: Type Source
haskellSimpleType :: String -> Type Source
noLoc :: SrcLoc
newtype ModuleName :: *
Eq ModuleName | |
Data ModuleName | |
Ord ModuleName | |
Show ModuleName | |
Generic ModuleName | |
Pretty ModuleName | |
Typeable * ModuleName | |
type Rep ModuleName = D1 D1ModuleName (C1 C1_0ModuleName (S1 NoSelector (Rec0 String))) |
data ImportDecl :: *
ImportDecl | |
|
Eq ImportDecl | |
Data ImportDecl | |
Ord ImportDecl | |
Show ImportDecl | |
Generic ImportDecl | |
Pretty ImportDecl | |
Typeable * ImportDecl | |
type Rep ImportDecl = D1 D1ImportDecl (C1 C1_0ImportDecl ((:*:) ((:*:) (S1 S1_0_0ImportDecl (Rec0 SrcLoc)) ((:*:) (S1 S1_0_1ImportDecl (Rec0 ModuleName)) (S1 S1_0_2ImportDecl (Rec0 Bool)))) ((:*:) ((:*:) (S1 S1_0_3ImportDecl (Rec0 Bool)) (S1 S1_0_4ImportDecl (Rec0 (Maybe String)))) ((:*:) (S1 S1_0_5ImportDecl (Rec0 (Maybe ModuleName))) (S1 S1_0_6ImportDecl (Rec0 (Maybe (Bool, [ImportSpec])))))))) |