HsDev.Symbols.Types

Documentation

data Import

Import

Constructors

Import

Fields

• _importPosition :: Position
• _importName :: Text
• _importQualified :: Bool
• _importAs :: Maybe Text

Instances

Eq Import

Defined in HsDev.Symbols.Types

Methods

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

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

Ord Import

Defined in HsDev.Symbols.Types

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

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> Import -> ShowS

show :: Import -> String

showList :: [Import] -> ShowS

NFData Import

Defined in HsDev.Symbols.Types

Methods

rnf :: Import -> ()

ToJSON Import

Defined in HsDev.Symbols.Types

Methods

toJSON :: Import -> Value

toEncoding :: Import -> Encoding

toJSONList :: [Import] -> Value

toEncodingList :: [Import] -> Encoding

FromJSON Import

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser Import

parseJSONList :: Value -> Parser [Import]

FromRow Import

Defined in HsDev.Database.SQLite.Instances

Methods

fromRow :: RowParser Import

ToRow Import

Defined in HsDev.Database.SQLite.Instances

Methods

toRow :: Import -> [SQLData]

importPosition :: Lens' Import Position

importName :: Lens' Import Text

importQualified :: Lens' Import Bool

importAs :: Lens' Import (Maybe Text)

data Module

Module

Constructors

Module

Fields

• _moduleId :: ModuleId
• _moduleDocs :: Maybe Text
• _moduleImports :: [Import]
• _moduleExports :: [Symbol]
• _moduleFixities :: [Fixity]
• _moduleScope :: Map Name [Symbol]
• _moduleSource :: Maybe Parsed

Instances

Eq Module

Defined in HsDev.Symbols.Types

Methods

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

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

Ord Module

Defined in HsDev.Symbols.Types

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

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> InspectedModule -> ShowS

show :: InspectedModule -> String

showList :: [InspectedModule] -> ShowS

Show Module

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> Module -> ShowS

show :: Module -> String

showList :: [Module] -> ShowS

NFData Module

Defined in HsDev.Symbols.Types

Methods

rnf :: Module -> ()

ToJSON Module

Defined in HsDev.Symbols.Types

Methods

toJSON :: Module -> Value

toEncoding :: Module -> Encoding

toJSONList :: [Module] -> Value

toEncodingList :: [Module] -> Encoding

FromJSON Module

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser Module

parseJSONList :: Value -> Parser [Module]

Sourced Module

Defined in HsDev.Symbols.Types

Methods

sourcedName :: Lens' Module Text

sourcedDocs :: Traversal' Module Text

sourcedModule :: Lens' Module ModuleId

sourcedLocation :: Traversal' Module Position

Documented Module

Defined in HsDev.Symbols.Types

Methods

brief :: Module -> Text

detailed :: Module -> Text

ToEnvironment Module

Defined in HsDev.Symbols.HaskellNames

Methods

environment :: Module -> Environment

ToEnvironment [Module]

Defined in HsDev.Symbols.HaskellNames

Methods

environment :: [Module] -> Environment

moduleSymbols :: Traversal' Module Symbol

Make each symbol appear only once

exportedSymbols :: Traversal' Module Symbol

scopeSymbols :: Traversal' Module (Symbol, [Name])

fixitiesMap :: Lens' Module (Map Name Fixity)

moduleFixities :: Lens' Module [Fixity]

moduleId :: Lens' Module ModuleId

moduleDocs :: Lens' Module (Maybe Text)

moduleImports :: Lens' Module [Import]

moduleExports :: Lens' Module [Symbol]

moduleScope :: Lens' Module (Map Name [Symbol])

moduleSource :: Lens' Module (Maybe Parsed)

data Symbol

Constructors

Symbol

Fields

• _symbolId :: SymbolId
• _symbolDocs :: Maybe Text
• _symbolPosition :: Maybe Position
• _symbolInfo :: SymbolInfo

Instances

Eq Symbol

Defined in HsDev.Symbols.Types

Methods

(==) :: Symbol -> Symbol -> Bool

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

Ord Symbol

Defined in HsDev.Symbols.Types

Methods

compare :: Symbol -> Symbol -> Ordering

(<) :: Symbol -> Symbol -> Bool

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

(>) :: Symbol -> Symbol -> Bool

(>=) :: Symbol -> Symbol -> Bool

max :: Symbol -> Symbol -> Symbol

min :: Symbol -> Symbol -> Symbol

Show Symbol

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

NFData Symbol

Defined in HsDev.Symbols.Types

Methods

rnf :: Symbol -> ()

ToJSON Symbol

Defined in HsDev.Symbols.Types

Methods

toJSON :: Symbol -> Value

toEncoding :: Symbol -> Encoding

toJSONList :: [Symbol] -> Value

toEncodingList :: [Symbol] -> Encoding

FromJSON Symbol

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser Symbol

parseJSONList :: Value -> Parser [Symbol]

FromRow Symbol

Defined in HsDev.Database.SQLite.Instances

Methods

fromRow :: RowParser Symbol

ToRow Symbol

Defined in HsDev.Database.SQLite.Instances

Methods

toRow :: Symbol -> [SQLData]

Sourced Symbol

Defined in HsDev.Symbols.Types

Methods

sourcedName :: Lens' Symbol Text

sourcedDocs :: Traversal' Symbol Text

sourcedModule :: Lens' Symbol ModuleId

sourcedLocation :: Traversal' Symbol Position

Documented Symbol

Defined in HsDev.Symbols.Types

Methods

brief :: Symbol -> Text

detailed :: Symbol -> Text

symbolId :: Lens' Symbol SymbolId

symbolDocs :: Lens' Symbol (Maybe Text)

symbolPosition :: Lens' Symbol (Maybe Position)

symbolInfo :: Lens' Symbol SymbolInfo

data SymbolInfo

Constructors

Function

Fields

• _functionType :: Maybe Text

Method

Fields

• _functionType :: Maybe Text
• _parentClass :: Text

Selector

Fields

• _functionType :: Maybe Text
• _parentType :: Text
• _selectorConstructors :: [Text]

Constructor

Fields

• _typeArgs :: [Text]
• _parentType :: Text

Type

Fields

• _typeArgs :: [Text]
• _typeContext :: [Text]

NewType

Fields

• _typeArgs :: [Text]
• _typeContext :: [Text]

Data

Fields

• _typeArgs :: [Text]
• _typeContext :: [Text]

Class

Fields

• _typeArgs :: [Text]
• _typeContext :: [Text]

TypeFam

Fields

• _typeArgs :: [Text]
• _typeContext :: [Text]
• _familyAssociate :: Maybe Text

DataFam

Fields

• _typeArgs :: [Text]
• _typeContext :: [Text]
• _familyAssociate :: Maybe Text

PatConstructor

Fields

• _typeArgs :: [Text]
• _patternType :: Maybe Text

PatSelector

Fields

• _functionType :: Maybe Text
• _patternType :: Maybe Text
• _patternConstructor :: Text

Instances

Eq SymbolInfo

Defined in HsDev.Symbols.Types

Methods

(==) :: SymbolInfo -> SymbolInfo -> Bool

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

Ord SymbolInfo

Defined in HsDev.Symbols.Types

Methods

compare :: SymbolInfo -> SymbolInfo -> Ordering

(<) :: SymbolInfo -> SymbolInfo -> Bool

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

(>) :: SymbolInfo -> SymbolInfo -> Bool

(>=) :: SymbolInfo -> SymbolInfo -> Bool

max :: SymbolInfo -> SymbolInfo -> SymbolInfo

min :: SymbolInfo -> SymbolInfo -> SymbolInfo

Read SymbolInfo

Defined in HsDev.Symbols.Types

Methods

readsPrec :: Int -> ReadS SymbolInfo

readList :: ReadS [SymbolInfo]

readPrec :: ReadPrec SymbolInfo

readListPrec :: ReadPrec [SymbolInfo]

Show SymbolInfo

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> SymbolInfo -> ShowS

show :: SymbolInfo -> String

showList :: [SymbolInfo] -> ShowS

NFData SymbolInfo

Defined in HsDev.Symbols.Types

Methods

rnf :: SymbolInfo -> ()

ToJSON SymbolInfo

Defined in HsDev.Symbols.Types

Methods

toJSON :: SymbolInfo -> Value

toEncoding :: SymbolInfo -> Encoding

toJSONList :: [SymbolInfo] -> Value

toEncodingList :: [SymbolInfo] -> Encoding

FromJSON SymbolInfo

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser SymbolInfo

parseJSONList :: Value -> Parser [SymbolInfo]

FromRow SymbolInfo

Defined in HsDev.Database.SQLite.Instances

Methods

fromRow :: RowParser SymbolInfo

ToRow SymbolInfo

Defined in HsDev.Database.SQLite.Instances

Methods

toRow :: SymbolInfo -> [SQLData]

functionType :: Traversal' SymbolInfo (Maybe Text)

parentClass :: Traversal' SymbolInfo Text

parentType :: Traversal' SymbolInfo Text

selectorConstructors :: Traversal' SymbolInfo [Text]

typeArgs :: Traversal' SymbolInfo [Text]

typeContext :: Traversal' SymbolInfo [Text]

familyAssociate :: Traversal' SymbolInfo (Maybe Text)

symbolInfoType :: SymbolInfo -> String

symbolType :: Symbol -> String

patternType :: Traversal' SymbolInfo (Maybe Text)

patternConstructor :: Traversal' SymbolInfo Text

data Scoped a

Scoped entity with qualifier

Constructors

Scoped

Fields

• _scopeQualifier :: Maybe Text
• _scoped :: a

Instances

Eq a => Eq (Scoped a)

Defined in HsDev.Symbols.Types

Methods

(==) :: Scoped a -> Scoped a -> Bool

(/=) :: Scoped a -> Scoped a -> Bool

Ord a => Ord (Scoped a)

Defined in HsDev.Symbols.Types

Methods

compare :: Scoped a -> Scoped a -> Ordering

(<) :: Scoped a -> Scoped a -> Bool

(<=) :: Scoped a -> Scoped a -> Bool

(>) :: Scoped a -> Scoped a -> Bool

(>=) :: Scoped a -> Scoped a -> Bool

max :: Scoped a -> Scoped a -> Scoped a

min :: Scoped a -> Scoped a -> Scoped a

Show a => Show (Scoped a)

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> Scoped a -> ShowS

show :: Scoped a -> String

showList :: [Scoped a] -> ShowS

ToJSON a => ToJSON (Scoped a)

Defined in HsDev.Symbols.Types

Methods

toJSON :: Scoped a -> Value

toEncoding :: Scoped a -> Encoding

toJSONList :: [Scoped a] -> Value

toEncodingList :: [Scoped a] -> Encoding

FromJSON a => FromJSON (Scoped a)

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser (Scoped a)

parseJSONList :: Value -> Parser [Scoped a]

FromRow a => FromRow (Scoped a)

Defined in HsDev.Database.SQLite.Instances

Methods

fromRow :: RowParser (Scoped a)

ToRow a => ToRow (Scoped a)

Defined in HsDev.Database.SQLite.Instances

Methods

toRow :: Scoped a -> [SQLData]

scopeQualifier :: forall a. Lens' (Scoped a) (Maybe Text)

scoped :: forall a a. Lens (Scoped a) (Scoped a) a a

data SymbolUsage

Symbol usage

Constructors

SymbolUsage

Fields

• _symbolUsed :: Symbol
• _symbolUsedQualifier :: Maybe Text
• _symbolUsedIn :: ModuleId
• _symbolUsedRegion :: Region

Instances

Eq SymbolUsage

Defined in HsDev.Symbols.Types

Methods

(==) :: SymbolUsage -> SymbolUsage -> Bool

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

Ord SymbolUsage

Defined in HsDev.Symbols.Types

Methods

compare :: SymbolUsage -> SymbolUsage -> Ordering

(<) :: SymbolUsage -> SymbolUsage -> Bool

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

(>) :: SymbolUsage -> SymbolUsage -> Bool

(>=) :: SymbolUsage -> SymbolUsage -> Bool

max :: SymbolUsage -> SymbolUsage -> SymbolUsage

min :: SymbolUsage -> SymbolUsage -> SymbolUsage

Show SymbolUsage

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> SymbolUsage -> ShowS

show :: SymbolUsage -> String

showList :: [SymbolUsage] -> ShowS

ToJSON SymbolUsage

Defined in HsDev.Symbols.Types

Methods

toJSON :: SymbolUsage -> Value

toEncoding :: SymbolUsage -> Encoding

toJSONList :: [SymbolUsage] -> Value

toEncodingList :: [SymbolUsage] -> Encoding

FromJSON SymbolUsage

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser SymbolUsage

parseJSONList :: Value -> Parser [SymbolUsage]

FromRow SymbolUsage

Defined in HsDev.Database.SQLite.Instances

Methods

fromRow :: RowParser SymbolUsage

symbolUsed :: Lens' SymbolUsage Symbol

symbolUsedQualifier :: Lens' SymbolUsage (Maybe Text)

symbolUsedIn :: Lens' SymbolUsage ModuleId

symbolUsedRegion :: Lens' SymbolUsage Region

data ImportedSymbol

Symbol with module it's exported from

Constructors

ImportedSymbol

Fields

• _importedSymbol :: Symbol
• _importedFrom :: ModuleId

Instances

Eq ImportedSymbol

Defined in HsDev.Symbols.Types

Methods

(==) :: ImportedSymbol -> ImportedSymbol -> Bool

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

Ord ImportedSymbol

Defined in HsDev.Symbols.Types

Methods

compare :: ImportedSymbol -> ImportedSymbol -> Ordering

(<) :: ImportedSymbol -> ImportedSymbol -> Bool

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

(>) :: ImportedSymbol -> ImportedSymbol -> Bool

(>=) :: ImportedSymbol -> ImportedSymbol -> Bool

max :: ImportedSymbol -> ImportedSymbol -> ImportedSymbol

min :: ImportedSymbol -> ImportedSymbol -> ImportedSymbol

Show ImportedSymbol

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> ImportedSymbol -> ShowS

show :: ImportedSymbol -> String

showList :: [ImportedSymbol] -> ShowS

ToJSON ImportedSymbol

Defined in HsDev.Symbols.Types

Methods

toJSON :: ImportedSymbol -> Value

toEncoding :: ImportedSymbol -> Encoding

toJSONList :: [ImportedSymbol] -> Value

toEncodingList :: [ImportedSymbol] -> Encoding

FromJSON ImportedSymbol

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser ImportedSymbol

parseJSONList :: Value -> Parser [ImportedSymbol]

importedSymbol :: Lens' ImportedSymbol Symbol

importedFrom :: Lens' ImportedSymbol ModuleId

infoOf :: EmptySymbolInfo a => a -> SymbolInfo

nullifyInfo :: SymbolInfo -> SymbolInfo

data Inspection

Inspection data

Constructors

InspectionNone

No inspection

InspectionAt

Time and flags of inspection

Fields

• _inspectionAt :: POSIXTime
• _inspectionOpts :: [Text]

Instances

Eq Inspection

Defined in HsDev.Symbols.Types

Methods

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

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

Ord Inspection

Defined in HsDev.Symbols.Types

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

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> Inspection -> ShowS

show :: Inspection -> String

showList :: [Inspection] -> ShowS

Semigroup Inspection

Defined in HsDev.Symbols.Types

Methods

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

sconcat :: NonEmpty Inspection -> Inspection

stimes :: Integral b => b -> Inspection -> Inspection

Monoid Inspection

Defined in HsDev.Symbols.Types

Methods

mempty :: Inspection

mappend :: Inspection -> Inspection -> Inspection

mconcat :: [Inspection] -> Inspection

NFData Inspection

Defined in HsDev.Symbols.Types

Methods

rnf :: Inspection -> ()

ToJSON Inspection

Defined in HsDev.Symbols.Types

Methods

toJSON :: Inspection -> Value

toEncoding :: Inspection -> Encoding

toJSONList :: [Inspection] -> Value

toEncodingList :: [Inspection] -> Encoding

FromJSON Inspection

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser Inspection

parseJSONList :: Value -> Parser [Inspection]

FromRow Inspection

Defined in HsDev.Database.SQLite.Instances

Methods

fromRow :: RowParser Inspection

ToRow Inspection

Defined in HsDev.Database.SQLite.Instances

Methods

toRow :: Inspection -> [SQLData]

Monad m => MonadState (Inspection, Set t) (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

get :: InspectM k t m (Inspection, Set t)

put :: (Inspection, Set t) -> InspectM k t m ()

state :: ((Inspection, Set t) -> (a, (Inspection, Set t))) -> InspectM k t m a

inspectionAt :: Traversal' Inspection POSIXTime

inspectionOpts :: Traversal' Inspection [Text]

fresh :: Inspection -> Inspection -> Bool

Is left Inspection fresh comparing to right one

data Inspected k t a

Inspected entity

Constructors

Inspected

Fields

• _inspection :: Inspection
• _inspectedKey :: k
• _inspectionTags :: Set t
• _inspectionResult :: Either HsDevError a

Instances

Show InspectedModule

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> InspectedModule -> ShowS

show :: InspectedModule -> String

showList :: [InspectedModule] -> ShowS

Functor (Inspected k t)

Defined in HsDev.Symbols.Types

Methods

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

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

Foldable (Inspected k t)

Defined in HsDev.Symbols.Types

Methods

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

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

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

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

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

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

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

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

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

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

null :: Inspected k t a -> Bool

length :: Inspected k t a -> Int

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

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

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

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

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

Traversable (Inspected k t)

Defined in HsDev.Symbols.Types

Methods

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

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

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

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

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

Defined in HsDev.Symbols.Types

Methods

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

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

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

Defined in HsDev.Symbols.Types

Methods

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

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

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

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

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

max :: Inspected k t a -> Inspected k t a -> Inspected k t a

min :: Inspected k t a -> Inspected k t a -> Inspected k t a

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

Defined in HsDev.Symbols.Types

Methods

rnf :: Inspected k t a -> ()

(ToJSON k, ToJSON t, ToJSON a) => ToJSON (Inspected k t a)

Defined in HsDev.Symbols.Types

Methods

toJSON :: Inspected k t a -> Value

toEncoding :: Inspected k t a -> Encoding

toJSONList :: [Inspected k t a] -> Value

toEncodingList :: [Inspected k t a] -> Encoding

(FromJSON k, Ord t, FromJSON t, FromJSON a) => FromJSON (Inspected k t a)

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser (Inspected k t a)

parseJSONList :: Value -> Parser [Inspected k t a]

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

inspectedKey :: forall k t a k. Lens (Inspected k t a) (Inspected k t a) k k

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

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

inspected :: Traversal (Inspected k t a) (Inspected k t b) a b

newtype InspectM k t m a

Constructors

InspectM

Fields

• runInspectM :: ReaderT k (ExceptT HsDevError (StateT (Inspection, Set t) m)) a

Instances

Monad m => MonadReader k (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

ask :: InspectM k t m k

local :: (k -> k) -> InspectM k t m a -> InspectM k t m a

reader :: (k -> a) -> InspectM k t m a

Monad m => MonadError HsDevError (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

throwError :: HsDevError -> InspectM k t m a

catchError :: InspectM k t m a -> (HsDevError -> InspectM k t m a) -> InspectM k t m a

MonadTrans (InspectM k t)

Defined in HsDev.Symbols.Types

Methods

lift :: Monad m => m a -> InspectM k t m a

Monad m => MonadState (Inspection, Set t) (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

get :: InspectM k t m (Inspection, Set t)

put :: (Inspection, Set t) -> InspectM k t m ()

state :: ((Inspection, Set t) -> (a, (Inspection, Set t))) -> InspectM k t m a

Monad m => Monad (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

(>>=) :: InspectM k t m a -> (a -> InspectM k t m b) -> InspectM k t m b

(>>) :: InspectM k t m a -> InspectM k t m b -> InspectM k t m b

return :: a -> InspectM k t m a

Functor m => Functor (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

fmap :: (a -> b) -> InspectM k t m a -> InspectM k t m b

(<$) :: a -> InspectM k t m b -> InspectM k t m a

Monad m => Applicative (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

pure :: a -> InspectM k t m a

(<*>) :: InspectM k t m (a -> b) -> InspectM k t m a -> InspectM k t m b

liftA2 :: (a -> b -> c) -> InspectM k t m a -> InspectM k t m b -> InspectM k t m c

(*>) :: InspectM k t m a -> InspectM k t m b -> InspectM k t m b

(<*) :: InspectM k t m a -> InspectM k t m b -> InspectM k t m a

Monad m => MonadPlus (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

mzero :: InspectM k t m a

mplus :: InspectM k t m a -> InspectM k t m a -> InspectM k t m a

Monad m => Alternative (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

empty :: InspectM k t m a

(<|>) :: InspectM k t m a -> InspectM k t m a -> InspectM k t m a

some :: InspectM k t m a -> InspectM k t m [a]

many :: InspectM k t m a -> InspectM k t m [a]

MonadIO m => MonadIO (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

liftIO :: IO a -> InspectM k t m a

MonadThrow m => MonadThrow (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

throwM :: Exception e => e -> InspectM k t m a

MonadCatch m => MonadCatch (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

catch :: Exception e => InspectM k t m a -> (e -> InspectM k t m a) -> InspectM k t m a

runInspect :: (Monad m, Ord t) => k -> InspectM k t m a -> m (Inspected k t a)

continueInspect :: (Monad m, Ord t) => Inspected k t a -> (a -> InspectM k t m b) -> m (Inspected k t b)

Continue inspection

inspect :: MonadCatch m => m Inspection -> (k -> m a) -> InspectM k t m a

inspect_ :: MonadCatch m => m Inspection -> m a -> InspectM k t m a

withInspection :: MonadCatch m => m Inspection -> InspectM k t m a -> InspectM k t m a

inspectedTup :: Inspected k t a -> (Inspection, k, Set t, Maybe a)

noTags :: Set t

Empty tags

tag :: t -> Set t

One tag

data ModuleTag

Constructors

InferredTypesTag

RefinedDocsTag

OnlyHeaderTag

DirtyTag

ResolvedNamesTag

Instances

Bounded ModuleTag

Defined in HsDev.Symbols.Types

Methods

minBound :: ModuleTag

maxBound :: ModuleTag

Enum ModuleTag

Defined in HsDev.Symbols.Types

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

Defined in HsDev.Symbols.Types

Methods

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

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

Ord ModuleTag

Defined in HsDev.Symbols.Types

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

Defined in HsDev.Symbols.Types

Methods

readsPrec :: Int -> ReadS ModuleTag

readList :: ReadS [ModuleTag]

readPrec :: ReadPrec ModuleTag

readListPrec :: ReadPrec [ModuleTag]

Show InspectedModule

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> InspectedModule -> ShowS

show :: InspectedModule -> String

showList :: [InspectedModule] -> ShowS

Show ModuleTag

Defined in HsDev.Symbols.Types

Methods

showsPrec :: Int -> ModuleTag -> ShowS

show :: ModuleTag -> String

showList :: [ModuleTag] -> ShowS

NFData ModuleTag

Defined in HsDev.Symbols.Types

Methods

rnf :: ModuleTag -> ()

ToJSON ModuleTag

Defined in HsDev.Symbols.Types

Methods

toJSON :: ModuleTag -> Value

toEncoding :: ModuleTag -> Encoding

toJSONList :: [ModuleTag] -> Value

toEncodingList :: [ModuleTag] -> Encoding

FromJSON ModuleTag

Defined in HsDev.Symbols.Types

Methods

parseJSON :: Value -> Parser ModuleTag

parseJSONList :: Value -> Parser [ModuleTag]

Display ModuleTag

Defined in HsDev.Symbols.Types

Methods

display :: ModuleTag -> String

displayType :: ModuleTag -> String

type InspectedModule = Inspected ModuleLocation ModuleTag Module

Inspected module

notInspected :: ModuleLocation -> InspectedModule

module HsDev.PackageDb.Types

module HsDev.Project

module HsDev.Symbols.Name

module HsDev.Symbols.Class

module HsDev.Symbols.Location

module HsDev.Symbols.Documented

Orphan instances

NFData Fixity

Methods

rnf :: Fixity -> ()

NFData Boxed

Methods

rnf :: Boxed -> ()

ToJSON Fixity

Methods

toJSON :: Fixity -> Value

toEncoding :: Fixity -> Encoding

toJSONList :: [Fixity] -> Value

toEncodingList :: [Fixity] -> Encoding

FromJSON Fixity

Methods

parseJSON :: Value -> Parser Fixity

parseJSONList :: Value -> Parser [Fixity]

Documented ModuleId

Methods

brief :: ModuleId -> Text

detailed :: ModuleId -> Text

Documented SymbolId

Methods

brief :: SymbolId -> Text

detailed :: SymbolId -> Text

NFData l => NFData (Name l)

Methods

rnf :: Name l -> ()

NFData l => NFData (ModuleName l)

Methods

rnf :: ModuleName l -> ()

NFData l => NFData (SpecialCon l)

Methods

rnf :: SpecialCon l -> ()

NFData l => NFData (QName l)

Methods

rnf :: QName l -> ()

NFData (Assoc ())

Methods

rnf :: Assoc () -> ()

ToJSON (Assoc ())

Methods

toJSON :: Assoc () -> Value

toEncoding :: Assoc () -> Encoding

toJSONList :: [Assoc ()] -> Value

toEncodingList :: [Assoc ()] -> Encoding

FromJSON (Assoc ())

Methods

parseJSON :: Value -> Parser (Assoc ())

parseJSONList :: Value -> Parser [Assoc ()]