HsDev.Symbols.Types

Documentation

data ThingPart

What to exportimport for dataclass etc

Constructors

ThingNothing

ThingAll

ThingWith [Text]

Instances

Eq ThingPart

Methods

(==) :: ThingPart -> ThingPart -> Bool

(/=) :: ThingPart -> ThingPart -> Bool

Ord ThingPart

Methods

compare :: ThingPart -> ThingPart -> Ordering

(<) :: ThingPart -> ThingPart -> Bool

(<=) :: ThingPart -> ThingPart -> Bool

(>) :: ThingPart -> ThingPart -> Bool

(>=) :: ThingPart -> ThingPart -> Bool

max :: ThingPart -> ThingPart -> ThingPart

min :: ThingPart -> ThingPart -> ThingPart

Show ThingPart

Methods

showsPrec :: Int -> ThingPart -> ShowS

show :: ThingPart -> String

showList :: [ThingPart] -> ShowS

ToJSON ThingPart

Methods

toJSON :: ThingPart -> Value

toEncoding :: ThingPart -> Encoding

toJSONList :: [ThingPart] -> Value

toEncodingList :: [ThingPart] -> Encoding

FromJSON ThingPart

Methods

parseJSON :: Value -> Parser ThingPart

parseJSONList :: Value -> Parser [ThingPart]

NFData ThingPart

Methods

rnf :: ThingPart -> ()

data Export

Module export

Constructors

ExportName

Fields

• _exportQualified :: Maybe Text
• _exportName :: Text
• _exportPart :: ThingPart

ExportModule

Fields

• _exportModule :: Text

Instances

Eq Export

Methods

(==) :: Export -> Export -> Bool

(/=) :: Export -> Export -> Bool

Ord Export

Methods

compare :: Export -> Export -> Ordering

(<) :: Export -> Export -> Bool

(<=) :: Export -> Export -> Bool

(>) :: Export -> Export -> Bool

(>=) :: Export -> Export -> Bool

max :: Export -> Export -> Export

min :: Export -> Export -> Export

Show Export

Methods

showsPrec :: Int -> Export -> ShowS

show :: Export -> String

showList :: [Export] -> ShowS

ToJSON Export

Methods

toJSON :: Export -> Value

toEncoding :: Export -> Encoding

toJSONList :: [Export] -> Value

toEncodingList :: [Export] -> Encoding

FromJSON Export

Methods

parseJSON :: Value -> Parser Export

parseJSONList :: Value -> Parser [Export]

NFData Export

Methods

rnf :: Export -> ()

exportQualified :: Traversal' Export (Maybe Text)

exportName :: Traversal' Export Text

exportPart :: Traversal' Export ThingPart

exportModule :: Traversal' Export Text

data ImportSpec

Import spec

Constructors

ImportSpec

Fields

• _importSpecName :: Text
• _importSpecPart :: ThingPart

Instances

Eq ImportSpec

Methods

(==) :: ImportSpec -> ImportSpec -> Bool

(/=) :: ImportSpec -> ImportSpec -> Bool

Ord ImportSpec

Methods

compare :: ImportSpec -> ImportSpec -> Ordering

(<) :: ImportSpec -> ImportSpec -> Bool

(<=) :: ImportSpec -> ImportSpec -> Bool

(>) :: ImportSpec -> ImportSpec -> Bool

(>=) :: ImportSpec -> ImportSpec -> Bool

max :: ImportSpec -> ImportSpec -> ImportSpec

min :: ImportSpec -> ImportSpec -> ImportSpec

Show ImportSpec

Methods

showsPrec :: Int -> ImportSpec -> ShowS

show :: ImportSpec -> String

showList :: [ImportSpec] -> ShowS

ToJSON ImportSpec

Methods

toJSON :: ImportSpec -> Value

toEncoding :: ImportSpec -> Encoding

toJSONList :: [ImportSpec] -> Value

toEncodingList :: [ImportSpec] -> Encoding

FromJSON ImportSpec

Methods

parseJSON :: Value -> Parser ImportSpec

parseJSONList :: Value -> Parser [ImportSpec]

NFData ImportSpec

Methods

rnf :: ImportSpec -> ()

importSpecName :: Lens' ImportSpec Text

importSpecPart :: Lens' ImportSpec ThingPart

data ImportList

Import list

Constructors

ImportList

Fields

• _hidingList :: Bool
• _importSpecs :: [ImportSpec]

Instances

Eq ImportList

Methods

(==) :: ImportList -> ImportList -> Bool

(/=) :: ImportList -> ImportList -> Bool

Ord ImportList

Methods

compare :: ImportList -> ImportList -> Ordering

(<) :: ImportList -> ImportList -> Bool

(<=) :: ImportList -> ImportList -> Bool

(>) :: ImportList -> ImportList -> Bool

(>=) :: ImportList -> ImportList -> Bool

max :: ImportList -> ImportList -> ImportList

min :: ImportList -> ImportList -> ImportList

Show ImportList

Methods

showsPrec :: Int -> ImportList -> ShowS

show :: ImportList -> String

showList :: [ImportList] -> ShowS

ToJSON ImportList

Methods

toJSON :: ImportList -> Value

toEncoding :: ImportList -> Encoding

toJSONList :: [ImportList] -> Value

toEncodingList :: [ImportList] -> Encoding

FromJSON ImportList

Methods

parseJSON :: Value -> Parser ImportList

parseJSONList :: Value -> Parser [ImportList]

NFData ImportList

Methods

rnf :: ImportList -> ()

hidingList :: Lens' ImportList Bool

importSpecs :: Lens' ImportList [ImportSpec]

data Import

Module import

Constructors

Import

Fields

• _importModuleName :: Text
• _importIsQualified :: Bool
• _importAs :: Maybe Text
• _importList :: Maybe ImportList
• _importPosition :: Maybe Position

Instances

Eq Import

Methods

(==) :: Import -> Import -> Bool

(/=) :: Import -> Import -> Bool

Ord Import

Methods

compare :: Import -> Import -> Ordering

(<) :: Import -> Import -> Bool

(<=) :: Import -> Import -> Bool

(>) :: Import -> Import -> Bool

(>=) :: Import -> Import -> Bool

max :: Import -> Import -> Import

min :: Import -> Import -> Import

Show Import

Methods

showsPrec :: Int -> Import -> ShowS

show :: Import -> String

showList :: [Import] -> ShowS

ToJSON Import

Methods

toJSON :: Import -> Value

toEncoding :: Import -> Encoding

toJSONList :: [Import] -> Value

toEncodingList :: [Import] -> Encoding

FromJSON Import

Methods

parseJSON :: Value -> Parser Import

parseJSONList :: Value -> Parser [Import]

NFData Import

Methods

rnf :: 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

Module id

Constructors

ModuleId

Fields

• _moduleIdName :: Text
• _moduleIdLocation :: ModuleLocation

Instances

Eq ModuleId

Methods

(==) :: ModuleId -> ModuleId -> Bool

(/=) :: ModuleId -> ModuleId -> Bool

Ord ModuleId

Methods

compare :: ModuleId -> ModuleId -> Ordering

(<) :: ModuleId -> ModuleId -> Bool

(<=) :: ModuleId -> ModuleId -> Bool

(>) :: ModuleId -> ModuleId -> Bool

(>=) :: ModuleId -> ModuleId -> Bool

max :: ModuleId -> ModuleId -> ModuleId

min :: ModuleId -> ModuleId -> ModuleId

Show ModuleId

Methods

showsPrec :: Int -> ModuleId -> ShowS

show :: ModuleId -> String

showList :: [ModuleId] -> ShowS

ToJSON ModuleId

Methods

toJSON :: ModuleId -> Value

toEncoding :: ModuleId -> Encoding

toJSONList :: [ModuleId] -> Value

toEncodingList :: [ModuleId] -> Encoding

FromJSON ModuleId

Methods

parseJSON :: Value -> Parser ModuleId

parseJSONList :: Value -> Parser [ModuleId]

NFData ModuleId

Methods

rnf :: ModuleId -> ()

Symbol ModuleId

Methods

symbolName :: ModuleId -> Text

symbolQualifiedName :: ModuleId -> Text

symbolDocs :: ModuleId -> Maybe Text

symbolLocation :: ModuleId -> Location

Documented ModuleId

Methods

brief :: ModuleId -> String

detailed :: ModuleId -> String

MonadState ResolvedTree ResolveM

Methods

get :: ResolveM ResolvedTree

put :: ResolvedTree -> ResolveM ()

state :: (ResolvedTree -> (a, ResolvedTree)) -> ResolveM a

moduleIdName :: Lens' ModuleId Text

moduleIdLocation :: Lens' ModuleId ModuleLocation

data Module

Module

Constructors

Module

Fields

• _moduleName :: Text
• _moduleDocs :: Maybe Text
• _moduleLocation :: ModuleLocation
• _moduleExports :: Maybe [Export]
• _moduleImports :: [Import]
• _moduleDeclarations :: [Declaration]

Instances

Eq Module

Methods

(==) :: Module -> Module -> Bool

(/=) :: Module -> Module -> Bool

Ord Module

Methods

compare :: Module -> Module -> Ordering

(<) :: Module -> Module -> Bool

(<=) :: Module -> Module -> Bool

(>) :: Module -> Module -> Bool

(>=) :: Module -> Module -> Bool

max :: Module -> Module -> Module

min :: Module -> Module -> Module

Show InspectedModule

Methods

showsPrec :: Int -> InspectedModule -> ShowS

show :: InspectedModule -> String

showList :: [InspectedModule] -> ShowS

Show Module

Methods

showsPrec :: Int -> Module -> ShowS

show :: Module -> String

showList :: [Module] -> ShowS

ToJSON InspectedModule

Methods

toJSON :: InspectedModule -> Value

toEncoding :: InspectedModule -> Encoding

toJSONList :: [InspectedModule] -> Value

toEncodingList :: [InspectedModule] -> Encoding

ToJSON Module

Methods

toJSON :: Module -> Value

toEncoding :: Module -> Encoding

toJSONList :: [Module] -> Value

toEncodingList :: [Module] -> Encoding

FromJSON InspectedModule

Methods

parseJSON :: Value -> Parser InspectedModule

parseJSONList :: Value -> Parser [InspectedModule]

FromJSON Module

Methods

parseJSON :: Value -> Parser Module

parseJSONList :: Value -> Parser [Module]

NFData Module

Methods

rnf :: Module -> ()

Symbol Module

Methods

symbolName :: Module -> Text

symbolQualifiedName :: Module -> Text

symbolDocs :: Module -> Maybe Text

symbolLocation :: Module -> Location

Documented Module

Methods

brief :: Module -> String

detailed :: Module -> String

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]

Module contents

moduleId :: Simple Lens Module ModuleId

data Declaration

Declaration

Constructors

Declaration

Fields

• _declarationName :: Text
• _declarationDefined :: Maybe ModuleId

  Where declaration defined, Nothing if here

• _declarationImported :: Maybe [Import]

  Declaration imported with. Nothing if unknown (cabal modules) or here (source file)

• _declarationDocs :: Maybe Text
• _declarationPosition :: Maybe Position
• _declaration :: DeclarationInfo

Instances

Eq Declaration

Methods

(==) :: Declaration -> Declaration -> Bool

(/=) :: Declaration -> Declaration -> Bool

Ord Declaration

Methods

compare :: Declaration -> Declaration -> Ordering

(<) :: Declaration -> Declaration -> Bool

(<=) :: Declaration -> Declaration -> Bool

(>) :: Declaration -> Declaration -> Bool

(>=) :: Declaration -> Declaration -> Bool

max :: Declaration -> Declaration -> Declaration

min :: Declaration -> Declaration -> Declaration

Show Declaration

Methods

showsPrec :: Int -> Declaration -> ShowS

show :: Declaration -> String

showList :: [Declaration] -> ShowS

ToJSON Declaration

Methods

toJSON :: Declaration -> Value

toEncoding :: Declaration -> Encoding

toJSONList :: [Declaration] -> Value

toEncodingList :: [Declaration] -> Encoding

FromJSON Declaration

Methods

parseJSON :: Value -> Parser Declaration

parseJSONList :: Value -> Parser [Declaration]

NFData Declaration

Methods

rnf :: Declaration -> ()

Symbol Declaration

Methods

symbolName :: Declaration -> Text

symbolQualifiedName :: Declaration -> Text

symbolDocs :: Declaration -> Maybe Text

symbolLocation :: Declaration -> Location

Documented Declaration

Methods

brief :: Declaration -> String

detailed :: Declaration -> String

Locals Declaration

Methods

locals :: Declaration -> [Declaration]

where_ :: Declaration -> [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

Minimal declaration info without defined, docs and position

data TypeInfo

Common info for type, newtype, data and class

Constructors

TypeInfo

Fields

• _typeInfoContext :: Maybe Text
• _typeInfoArgs :: [Text]
• _typeInfoDefinition :: Maybe Text
• _typeInfoFunctions :: [Text]

Instances

Eq TypeInfo

Methods

(==) :: TypeInfo -> TypeInfo -> Bool

(/=) :: TypeInfo -> TypeInfo -> Bool

Ord TypeInfo

Methods

compare :: TypeInfo -> TypeInfo -> Ordering

(<) :: TypeInfo -> TypeInfo -> Bool

(<=) :: TypeInfo -> TypeInfo -> Bool

(>) :: TypeInfo -> TypeInfo -> Bool

(>=) :: TypeInfo -> TypeInfo -> Bool

max :: TypeInfo -> TypeInfo -> TypeInfo

min :: TypeInfo -> TypeInfo -> TypeInfo

Read TypeInfo

Methods

readsPrec :: Int -> ReadS TypeInfo

readList :: ReadS [TypeInfo]

readPrec :: ReadPrec TypeInfo

readListPrec :: ReadPrec [TypeInfo]

Show TypeInfo

Methods

showsPrec :: Int -> TypeInfo -> ShowS

show :: TypeInfo -> String

showList :: [TypeInfo] -> ShowS

ToJSON TypeInfo

Methods

toJSON :: TypeInfo -> Value

toEncoding :: TypeInfo -> Encoding

toJSONList :: [TypeInfo] -> Value

toEncodingList :: [TypeInfo] -> Encoding

FromJSON TypeInfo

Methods

parseJSON :: Value -> Parser TypeInfo

parseJSONList :: Value -> Parser [TypeInfo]

NFData TypeInfo

Methods

rnf :: 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

Declaration info

Constructors

Function

Fields

• _functionType :: Maybe Text
• _localDeclarations :: [Declaration]
• _related :: Maybe Text

Type

Fields

• _typeInfo :: TypeInfo

NewType

Fields

• _typeInfo :: TypeInfo

Data

Fields

• _typeInfo :: TypeInfo

Class

Fields

• _typeInfo :: TypeInfo

Instances

Eq DeclarationInfo

Methods

(==) :: DeclarationInfo -> DeclarationInfo -> Bool

(/=) :: DeclarationInfo -> DeclarationInfo -> Bool

Ord DeclarationInfo

Methods

compare :: DeclarationInfo -> DeclarationInfo -> Ordering

(<) :: DeclarationInfo -> DeclarationInfo -> Bool

(<=) :: DeclarationInfo -> DeclarationInfo -> Bool

(>) :: DeclarationInfo -> DeclarationInfo -> Bool

(>=) :: DeclarationInfo -> DeclarationInfo -> Bool

max :: DeclarationInfo -> DeclarationInfo -> DeclarationInfo

min :: DeclarationInfo -> DeclarationInfo -> DeclarationInfo

ToJSON DeclarationInfo

Methods

toJSON :: DeclarationInfo -> Value

toEncoding :: DeclarationInfo -> Encoding

toJSONList :: [DeclarationInfo] -> Value

toEncodingList :: [DeclarationInfo] -> Encoding

FromJSON DeclarationInfo

Methods

parseJSON :: Value -> Parser DeclarationInfo

parseJSONList :: Value -> Parser [DeclarationInfo]

NFData DeclarationInfo

Methods

rnf :: DeclarationInfo -> ()

Locals DeclarationInfo

Methods

locals :: DeclarationInfo -> [Declaration]

where_ :: DeclarationInfo -> [Declaration] -> 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

Get function type of type info

declarationTypeCtor :: String -> TypeInfo -> DeclarationInfo

declarationTypeName :: DeclarationInfo -> Maybe String

data ModuleDeclaration

Symbol in context of some module

Constructors

ModuleDeclaration

Fields

• _declarationModuleId :: ModuleId
• _moduleDeclaration :: Declaration

Instances

Eq ModuleDeclaration

Methods

(==) :: ModuleDeclaration -> ModuleDeclaration -> Bool

(/=) :: ModuleDeclaration -> ModuleDeclaration -> Bool

Ord ModuleDeclaration

Methods

compare :: ModuleDeclaration -> ModuleDeclaration -> Ordering

(<) :: ModuleDeclaration -> ModuleDeclaration -> Bool

(<=) :: ModuleDeclaration -> ModuleDeclaration -> Bool

(>) :: ModuleDeclaration -> ModuleDeclaration -> Bool

(>=) :: ModuleDeclaration -> ModuleDeclaration -> Bool

max :: ModuleDeclaration -> ModuleDeclaration -> ModuleDeclaration

min :: ModuleDeclaration -> ModuleDeclaration -> ModuleDeclaration

Show ModuleDeclaration

Methods

showsPrec :: Int -> ModuleDeclaration -> ShowS

show :: ModuleDeclaration -> String

showList :: [ModuleDeclaration] -> ShowS

ToJSON ModuleDeclaration

Methods

toJSON :: ModuleDeclaration -> Value

toEncoding :: ModuleDeclaration -> Encoding

toJSONList :: [ModuleDeclaration] -> Value

toEncodingList :: [ModuleDeclaration] -> Encoding

FromJSON ModuleDeclaration

Methods

parseJSON :: Value -> Parser ModuleDeclaration

parseJSONList :: Value -> Parser [ModuleDeclaration]

NFData ModuleDeclaration

Methods

rnf :: ModuleDeclaration -> ()

Symbol ModuleDeclaration

Methods

symbolName :: ModuleDeclaration -> Text

symbolQualifiedName :: ModuleDeclaration -> Text

symbolDocs :: ModuleDeclaration -> Maybe Text

symbolLocation :: ModuleDeclaration -> Location

Documented ModuleDeclaration

Methods

brief :: ModuleDeclaration -> String

detailed :: ModuleDeclaration -> String

declarationModuleId :: Lens' ModuleDeclaration ModuleId

moduleDeclaration :: Lens' ModuleDeclaration Declaration

data ExportedDeclaration

Symbol exported with

Constructors

ExportedDeclaration

Fields

• _exportedBy :: [ModuleId]
• _exportedDeclaration :: Declaration

Instances

Eq ExportedDeclaration

Methods

(==) :: ExportedDeclaration -> ExportedDeclaration -> Bool

(/=) :: ExportedDeclaration -> ExportedDeclaration -> Bool

Ord ExportedDeclaration

Methods

compare :: ExportedDeclaration -> ExportedDeclaration -> Ordering

(<) :: ExportedDeclaration -> ExportedDeclaration -> Bool

(<=) :: ExportedDeclaration -> ExportedDeclaration -> Bool

(>) :: ExportedDeclaration -> ExportedDeclaration -> Bool

(>=) :: ExportedDeclaration -> ExportedDeclaration -> Bool

max :: ExportedDeclaration -> ExportedDeclaration -> ExportedDeclaration

min :: ExportedDeclaration -> ExportedDeclaration -> ExportedDeclaration

Show ExportedDeclaration

Methods

showsPrec :: Int -> ExportedDeclaration -> ShowS

show :: ExportedDeclaration -> String

showList :: [ExportedDeclaration] -> ShowS

ToJSON ExportedDeclaration

Methods

toJSON :: ExportedDeclaration -> Value

toEncoding :: ExportedDeclaration -> Encoding

toJSONList :: [ExportedDeclaration] -> Value

toEncodingList :: [ExportedDeclaration] -> Encoding

FromJSON ExportedDeclaration

Methods

parseJSON :: Value -> Parser ExportedDeclaration

parseJSONList :: Value -> Parser [ExportedDeclaration]

NFData ExportedDeclaration

Methods

rnf :: ExportedDeclaration -> ()

exportedBy :: Lens' ExportedDeclaration [ModuleId]

exportedDeclaration :: Lens' ExportedDeclaration Declaration

data Inspection

Inspection data

Constructors

InspectionNone

No inspection

InspectionAt

Time and flags of inspection

Fields

• _inspectionAt :: POSIXTime
• _inspectionOpts :: [String]

Instances

Eq Inspection

Methods

(==) :: Inspection -> Inspection -> Bool

(/=) :: Inspection -> Inspection -> Bool

Ord Inspection

Methods

compare :: Inspection -> Inspection -> Ordering

(<) :: Inspection -> Inspection -> Bool

(<=) :: Inspection -> Inspection -> Bool

(>) :: Inspection -> Inspection -> Bool

(>=) :: Inspection -> Inspection -> Bool

max :: Inspection -> Inspection -> Inspection

min :: Inspection -> Inspection -> Inspection

Show Inspection

Methods

showsPrec :: Int -> Inspection -> ShowS

show :: Inspection -> String

showList :: [Inspection] -> ShowS

Monoid Inspection

Methods

mempty :: Inspection

mappend :: Inspection -> Inspection -> Inspection

mconcat :: [Inspection] -> Inspection

ToJSON Inspection

Methods

toJSON :: Inspection -> Value

toEncoding :: Inspection -> Encoding

toJSONList :: [Inspection] -> Value

toEncodingList :: [Inspection] -> Encoding

FromJSON Inspection

Methods

parseJSON :: Value -> Parser Inspection

parseJSONList :: Value -> Parser [Inspection]

NFData Inspection

Methods

rnf :: Inspection -> ()

inspectionAt :: Traversal' Inspection POSIXTime

inspectionOpts :: Traversal' Inspection [String]

data Inspected i t a

Inspected entity

Constructors

Inspected

Fields

• _inspection :: Inspection
• _inspectedId :: i
• _inspectionTags :: Set t
• _inspectionResult :: Either HsDevError a

Instances

Show InspectedModule

Methods

showsPrec :: Int -> InspectedModule -> ShowS

show :: InspectedModule -> String

showList :: [InspectedModule] -> ShowS

ToJSON InspectedModule

Methods

toJSON :: InspectedModule -> Value

toEncoding :: InspectedModule -> Encoding

toJSONList :: [InspectedModule] -> Value

toEncodingList :: [InspectedModule] -> Encoding

FromJSON InspectedModule

Methods

parseJSON :: Value -> Parser InspectedModule

parseJSONList :: Value -> Parser [InspectedModule]

Functor (Inspected i t)

Methods

fmap :: (a -> b) -> Inspected i t a -> Inspected i t b

(<$) :: a -> Inspected i t b -> Inspected i t a

Foldable (Inspected i t)

Methods

fold :: Monoid m => Inspected i t m -> m

foldMap :: Monoid m => (a -> m) -> Inspected i t a -> m

foldr :: (a -> b -> b) -> b -> Inspected i t a -> b

foldr' :: (a -> b -> b) -> b -> Inspected i t a -> b

foldl :: (b -> a -> b) -> b -> Inspected i t a -> b

foldl' :: (b -> a -> b) -> b -> Inspected i t a -> b

foldr1 :: (a -> a -> a) -> Inspected i t a -> a

foldl1 :: (a -> a -> a) -> Inspected i t a -> a

toList :: Inspected i t a -> [a]

null :: Inspected i t a -> Bool

length :: Inspected i t a -> Int

elem :: Eq a => a -> Inspected i t a -> Bool

maximum :: Ord a => Inspected i t a -> a

minimum :: Ord a => Inspected i t a -> a

sum :: Num a => Inspected i t a -> a

product :: Num a => Inspected i t a -> a

Traversable (Inspected i t)

Methods

traverse :: Applicative f => (a -> f b) -> Inspected i t a -> f (Inspected i t b)

sequenceA :: Applicative f => Inspected i t (f a) -> f (Inspected i t a)

mapM :: Monad m => (a -> m b) -> Inspected i t a -> m (Inspected i t b)

sequence :: Monad m => Inspected i t (m a) -> m (Inspected i t a)

(Eq i, Eq t, Eq a) => Eq (Inspected i t a)

Methods

(==) :: Inspected i t a -> Inspected i t a -> Bool

(/=) :: Inspected i t a -> Inspected i t a -> Bool

(Ord i, Ord t, Ord a) => Ord (Inspected i t a)

Methods

compare :: Inspected i t a -> Inspected i t a -> Ordering

(<) :: Inspected i t a -> Inspected i t a -> Bool

(<=) :: Inspected i t a -> Inspected i t a -> Bool

(>) :: Inspected i t a -> Inspected i t a -> Bool

(>=) :: Inspected i t a -> Inspected i t a -> Bool

max :: Inspected i t a -> Inspected i t a -> Inspected i t a

min :: Inspected i t a -> Inspected i t a -> Inspected i t a

(NFData i, NFData t, NFData a) => NFData (Inspected i t a)

Methods

rnf :: Inspected i t a -> ()

inspection :: forall i t a. Lens' (Inspected i t a) Inspection

inspectedId :: forall i t a i. Lens (Inspected i t a) (Inspected i t a) i i

inspectionTags :: forall i t a t. Lens (Inspected i t a) (Inspected i t a) (Set t) (Set t)

inspectionResult :: forall i t a a. Lens (Inspected i t a) (Inspected i t a) (Either HsDevError a) (Either HsDevError a)

noTags :: Set t

Empty tags

data ModuleTag

Constructors

InferredTypesTag

RefinedDocsTag

Instances

Bounded ModuleTag

Methods

minBound :: ModuleTag

maxBound :: ModuleTag

Enum ModuleTag

Methods

succ :: ModuleTag -> ModuleTag

pred :: ModuleTag -> ModuleTag

toEnum :: Int -> ModuleTag

fromEnum :: ModuleTag -> Int

enumFrom :: ModuleTag -> [ModuleTag]

enumFromThen :: ModuleTag -> ModuleTag -> [ModuleTag]

enumFromTo :: ModuleTag -> ModuleTag -> [ModuleTag]

enumFromThenTo :: ModuleTag -> ModuleTag -> ModuleTag -> [ModuleTag]

Eq ModuleTag

Methods

(==) :: ModuleTag -> ModuleTag -> Bool

(/=) :: ModuleTag -> ModuleTag -> Bool

Ord ModuleTag

Methods

compare :: ModuleTag -> ModuleTag -> Ordering

(<) :: ModuleTag -> ModuleTag -> Bool

(<=) :: ModuleTag -> ModuleTag -> Bool

(>) :: ModuleTag -> ModuleTag -> Bool

(>=) :: ModuleTag -> ModuleTag -> Bool

max :: ModuleTag -> ModuleTag -> ModuleTag

min :: ModuleTag -> ModuleTag -> ModuleTag

Read ModuleTag

Methods

readsPrec :: Int -> ReadS ModuleTag

readList :: ReadS [ModuleTag]

readPrec :: ReadPrec ModuleTag

readListPrec :: ReadPrec [ModuleTag]

Show InspectedModule

Methods

showsPrec :: Int -> InspectedModule -> ShowS

show :: InspectedModule -> String

showList :: [InspectedModule] -> ShowS

Show ModuleTag

Methods

showsPrec :: Int -> ModuleTag -> ShowS

show :: ModuleTag -> String

showList :: [ModuleTag] -> ShowS

ToJSON InspectedModule

Methods

toJSON :: InspectedModule -> Value

toEncoding :: InspectedModule -> Encoding

toJSONList :: [InspectedModule] -> Value

toEncodingList :: [InspectedModule] -> Encoding

ToJSON ModuleTag

Methods

toJSON :: ModuleTag -> Value

toEncoding :: ModuleTag -> Encoding

toJSONList :: [ModuleTag] -> Value

toEncodingList :: [ModuleTag] -> Encoding

FromJSON InspectedModule

Methods

parseJSON :: Value -> Parser InspectedModule

parseJSONList :: Value -> Parser [InspectedModule]

FromJSON ModuleTag

Methods

parseJSON :: Value -> Parser ModuleTag

parseJSONList :: Value -> Parser [ModuleTag]

NFData ModuleTag

Methods

rnf :: ModuleTag -> ()

type InspectedModule = Inspected ModuleLocation ModuleTag Module

Inspected module

notInspected :: ModuleLocation -> InspectedModule

module HsDev.PackageDb

module HsDev.Project

module HsDev.Symbols.Class

module HsDev.Symbols.Documented

Orphan instances

Read POSIXTime

Methods

readsPrec :: Int -> ReadS POSIXTime

readList :: ReadS [POSIXTime]

readPrec :: ReadPrec POSIXTime

readListPrec :: ReadPrec [POSIXTime]