Safe Haskell | None |
---|---|
Language | Haskell98 |
- data ThingPart
- = ThingNothing
- | ThingAll
- | ThingWith [Text]
- data Export
- = ExportName { }
- | ExportModule { }
- exportQualified :: Traversal' Export (Maybe Text)
- exportName :: Traversal' Export Text
- exportPart :: Traversal' Export ThingPart
- exportModule :: Traversal' Export Text
- data ImportSpec = ImportSpec {}
- importSpecName :: Lens' ImportSpec Text
- importSpecPart :: Lens' ImportSpec ThingPart
- data ImportList = ImportList {
- _hidingList :: Bool
- _importSpecs :: [ImportSpec]
- hidingList :: Lens' ImportList Bool
- importSpecs :: Lens' ImportList [ImportSpec]
- data Import = Import {}
- importModuleName :: Lens' Import Text
- importIsQualified :: Lens' Import Bool
- importAs :: Lens' Import (Maybe Text)
- importList :: Lens' Import (Maybe ImportList)
- importPosition :: Lens' Import (Maybe Position)
- data ModuleId = ModuleId {}
- moduleIdName :: Lens' ModuleId Text
- moduleIdLocation :: Lens' ModuleId ModuleLocation
- data Module = Module {}
- moduleName :: Lens' Module Text
- moduleDocs :: Lens' Module (Maybe Text)
- moduleLocation :: Lens' Module ModuleLocation
- moduleExports :: Lens' Module (Maybe [Export])
- moduleImports :: Lens' Module [Import]
- moduleDeclarations :: Lens' Module [Declaration]
- moduleContents :: Module -> [String]
- moduleId :: Simple Lens Module ModuleId
- data Declaration = Declaration {}
- declarationName :: Lens' Declaration Text
- declarationDefined :: Lens' Declaration (Maybe ModuleId)
- declarationImported :: Lens' Declaration (Maybe [Import])
- declarationDocs :: Lens' Declaration (Maybe Text)
- declarationPosition :: Lens' Declaration (Maybe Position)
- declaration :: Lens' Declaration DeclarationInfo
- minimalDecl :: Lens' Declaration Declaration
- data TypeInfo = TypeInfo {}
- typeInfoContext :: Lens' TypeInfo (Maybe Text)
- typeInfoArgs :: Lens' TypeInfo [Text]
- typeInfoDefinition :: Lens' TypeInfo (Maybe Text)
- typeInfoFunctions :: Lens' TypeInfo [Text]
- showTypeInfo :: TypeInfo -> String -> String -> String
- data DeclarationInfo
- functionType :: Traversal' DeclarationInfo (Maybe Text)
- localDeclarations :: Traversal' DeclarationInfo [Declaration]
- related :: Traversal' DeclarationInfo (Maybe Text)
- typeInfo :: Traversal' DeclarationInfo TypeInfo
- declarationInfo :: DeclarationInfo -> Either (Maybe Text, [Declaration], Maybe Text) TypeInfo
- declarationTypeCtor :: String -> TypeInfo -> DeclarationInfo
- declarationTypeName :: DeclarationInfo -> Maybe String
- data ModuleDeclaration = ModuleDeclaration {}
- declarationModuleId :: Lens' ModuleDeclaration ModuleId
- moduleDeclaration :: Lens' ModuleDeclaration Declaration
- data ExportedDeclaration = ExportedDeclaration {}
- exportedBy :: Lens' ExportedDeclaration [ModuleId]
- exportedDeclaration :: Lens' ExportedDeclaration Declaration
- data Inspection
- = InspectionNone
- | InspectionAt { }
- inspectionAt :: Traversal' Inspection POSIXTime
- inspectionOpts :: Traversal' Inspection [String]
- data Inspected i a = Inspected {
- _inspection :: Inspection
- _inspectedId :: i
- _inspectionResult :: Either String a
- inspection :: forall i a. Lens' (Inspected i a) Inspection
- inspectedId :: forall i a i. Lens (Inspected i a) (Inspected i a) i i
- inspectionResult :: forall i a a. Lens (Inspected i a) (Inspected i a) (Either String a) (Either String a)
- type InspectedModule = Inspected ModuleLocation Module
- module HsDev.PackageDb
- module HsDev.Project
- module HsDev.Symbols.Class
- module HsDev.Symbols.Documented
Documentation
What to exportimport for dataclass etc
Module export
data ImportSpec Source
Import spec
Module import
Module id
Module
Module | |
|
moduleImports :: Lens' Module [Import] Source
moduleContents :: Module -> [String] Source
Module contents
data Declaration Source
Declaration
Declaration | |
|
minimalDecl :: Lens' Declaration Declaration Source
Minimal declaration info without defined, docs and position
Common info for type, newtype, data and class
TypeInfo | |
|
typeInfoArgs :: Lens' TypeInfo [Text] Source
data DeclarationInfo Source
Declaration info
declarationInfo :: DeclarationInfo -> Either (Maybe Text, [Declaration], Maybe Text) TypeInfo Source
Get function type of type info
data ModuleDeclaration Source
Symbol in context of some module
data ExportedDeclaration Source
Symbol exported with
data Inspection Source
Inspection data
InspectionNone | No inspection |
InspectionAt | Time and flags of inspection |
|
Inspected entity
Inspected | |
|
Show InspectedModule Source | |
ToJSON InspectedModule Source | |
FromJSON InspectedModule Source | |
Functor (Inspected i) Source | |
Foldable (Inspected i) Source | |
Traversable (Inspected i) Source | |
(Eq i, Eq a) => Eq (Inspected i a) Source | |
(Ord i, Ord a) => Ord (Inspected i a) Source | |
(NFData i, NFData a) => NFData (Inspected i a) Source |
inspection :: forall i a. Lens' (Inspected i a) Inspection Source
inspectedId :: forall i a i. Lens (Inspected i a) (Inspected i a) i i Source
inspectionResult :: forall i a a. Lens (Inspected i a) (Inspected i a) (Either String a) (Either String a) Source
type InspectedModule = Inspected ModuleLocation Module Source
Inspected module
module HsDev.PackageDb
module HsDev.Project
module HsDev.Symbols.Class
module HsDev.Symbols.Documented