Safe Haskell	None
Language	Haskell98

HsDev.Symbols.Types

Contents

Orphan instances

Synopsis

Documentation

data Import Source #

Import

Constructors

Import
Fields _importPosition :: Position _importName :: Text _importQualified :: Bool _importAs :: Maybe Text

Instances

Eq Import Source #
Methods (==) :: Import -> Import -> Bool # (/=) :: Import -> Import -> Bool #
Ord Import Source #
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 Source #
Methods showsPrec :: Int -> Import -> ShowS # show :: Import -> String # showList :: [Import] -> ShowS #
NFData Import Source #
Methods rnf :: Import -> () #
ToJSON Import Source #
Methods toJSON :: Import -> Value # toEncoding :: Import -> Encoding # toJSONList :: [Import] -> Value # toEncodingList :: [Import] -> Encoding #
FromJSON Import Source #
Methods parseJSON :: Value -> Parser Import # parseJSONList :: Value -> Parser [Import] #

importPosition :: Lens' Import Position Source #

importName :: Lens' Import Text Source #

importQualified :: Lens' Import Bool Source #

importAs :: Lens' Import (Maybe Text) Source #

data Module Source #

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 Source #
Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Ord Module Source #
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 Source #
Methods showsPrec :: Int -> InspectedModule -> ShowS # show :: InspectedModule -> String # showList :: [InspectedModule] -> ShowS #
Show Module Source #
Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
NFData Module Source #
Methods rnf :: Module -> () #
ToJSON Module Source #
Methods toJSON :: Module -> Value # toEncoding :: Module -> Encoding # toJSONList :: [Module] -> Value # toEncodingList :: [Module] -> Encoding #
FromJSON Module Source #
Methods parseJSON :: Value -> Parser Module # parseJSONList :: Value -> Parser [Module] #
Sourced Module Source #
Methods sourcedName :: Lens' Module Text Source # sourcedDocs :: Traversal' Module Text Source # sourcedModule :: Lens' Module ModuleId Source # sourcedLocation :: Traversal' Module Position Source #
Documented Module Source #
Methods brief :: Module -> Text Source # detailed :: Module -> Text Source #
ToEnvironment Module Source #
Methods environment :: Module -> Environment Source #
ToEnvironment [Module] Source #
Methods environment :: [Module] -> Environment Source #

moduleSymbols :: Traversal' Module Symbol Source #

Make each symbol appear only once

exportedSymbols :: Traversal' Module Symbol Source #

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

fixitiesMap :: Lens' Module (Map Name Fixity) Source #

moduleFixities :: Lens' Module [Fixity] Source #

moduleId :: Lens' Module ModuleId Source #

moduleDocs :: Lens' Module (Maybe Text) Source #

moduleImports :: Lens' Module [Import] Source #

moduleExports :: Lens' Module [Symbol] Source #

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

moduleSource :: Lens' Module (Maybe Parsed) Source #

data Symbol Source #

Constructors

Symbol
Fields _symbolId :: SymbolId _symbolDocs :: Maybe Text _symbolPosition :: Maybe Position _symbolInfo :: SymbolInfo

Instances

Eq Symbol Source #
Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
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 Source #
Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #
NFData Symbol Source #
Methods rnf :: Symbol -> () #
ToJSON Symbol Source #
Methods toJSON :: Symbol -> Value # toEncoding :: Symbol -> Encoding # toJSONList :: [Symbol] -> Value # toEncodingList :: [Symbol] -> Encoding #
FromJSON Symbol Source #
Methods parseJSON :: Value -> Parser Symbol # parseJSONList :: Value -> Parser [Symbol] #
Sourced Symbol Source #
Methods sourcedName :: Lens' Symbol Text Source # sourcedDocs :: Traversal' Symbol Text Source # sourcedModule :: Lens' Symbol ModuleId Source # sourcedLocation :: Traversal' Symbol Position Source #
Documented Symbol Source #
Methods brief :: Symbol -> Text Source # detailed :: Symbol -> Text Source #

symbolId :: Lens' Symbol SymbolId Source #

symbolDocs :: Lens' Symbol (Maybe Text) Source #

symbolPosition :: Lens' Symbol (Maybe Position) Source #

symbolInfo :: Lens' Symbol SymbolInfo Source #

data SymbolInfo Source #

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 Source #
Methods (==) :: SymbolInfo -> SymbolInfo -> Bool # (/=) :: SymbolInfo -> SymbolInfo -> Bool #
Ord SymbolInfo Source #
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 Source #
Methods readsPrec :: Int -> ReadS SymbolInfo # readList :: ReadS [SymbolInfo] # readPrec :: ReadPrec SymbolInfo # readListPrec :: ReadPrec [SymbolInfo] #
Show SymbolInfo Source #
Methods showsPrec :: Int -> SymbolInfo -> ShowS # show :: SymbolInfo -> String # showList :: [SymbolInfo] -> ShowS #
NFData SymbolInfo Source #
Methods rnf :: SymbolInfo -> () #
ToJSON SymbolInfo Source #
Methods toJSON :: SymbolInfo -> Value # toEncoding :: SymbolInfo -> Encoding # toJSONList :: [SymbolInfo] -> Value # toEncodingList :: [SymbolInfo] -> Encoding #
FromJSON SymbolInfo Source #
Methods parseJSON :: Value -> Parser SymbolInfo # parseJSONList :: Value -> Parser [SymbolInfo] #

functionType :: Traversal' SymbolInfo (Maybe Text) Source #

parentClass :: Traversal' SymbolInfo Text Source #

parentType :: Traversal' SymbolInfo Text Source #

selectorConstructors :: Traversal' SymbolInfo [Text] Source #

typeArgs :: Traversal' SymbolInfo [Text] Source #

typeContext :: Traversal' SymbolInfo [Text] Source #

familyAssociate :: Traversal' SymbolInfo (Maybe Text) Source #

symbolInfoType :: SymbolInfo -> String Source #

symbolType :: Symbol -> String Source #

patternType :: Traversal' SymbolInfo (Maybe Text) Source #

patternConstructor :: Traversal' SymbolInfo Text Source #

data Scoped a Source #

Scoped entity with qualifier

Constructors

Scoped
Fields _scopeQualifier :: Maybe Text _scoped :: a

Instances

Eq a => Eq (Scoped a) Source #
Methods (==) :: Scoped a -> Scoped a -> Bool # (/=) :: Scoped a -> Scoped a -> Bool #
Ord a => Ord (Scoped a) Source #
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) Source #
Methods showsPrec :: Int -> Scoped a -> ShowS # show :: Scoped a -> String # showList :: [Scoped a] -> ShowS #
ToJSON a => ToJSON (Scoped a) Source #
Methods toJSON :: Scoped a -> Value # toEncoding :: Scoped a -> Encoding # toJSONList :: [Scoped a] -> Value # toEncodingList :: [Scoped a] -> Encoding #
FromJSON a => FromJSON (Scoped a) Source #
Methods parseJSON :: Value -> Parser (Scoped a) # parseJSONList :: Value -> Parser [Scoped a] #

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

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

data SymbolUsage Source #

Symbol usage

Constructors

SymbolUsage
Fields _symbolUsed :: Symbol _symbolUsedQualifier :: Maybe Text _symbolUsedIn :: ModuleId _symbolUsedRegion :: Region

Instances

Eq SymbolUsage Source #
Methods (==) :: SymbolUsage -> SymbolUsage -> Bool # (/=) :: SymbolUsage -> SymbolUsage -> Bool #
Ord SymbolUsage Source #
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 Source #
Methods showsPrec :: Int -> SymbolUsage -> ShowS # show :: SymbolUsage -> String # showList :: [SymbolUsage] -> ShowS #
ToJSON SymbolUsage Source #
Methods toJSON :: SymbolUsage -> Value # toEncoding :: SymbolUsage -> Encoding # toJSONList :: [SymbolUsage] -> Value # toEncodingList :: [SymbolUsage] -> Encoding #
FromJSON SymbolUsage Source #
Methods parseJSON :: Value -> Parser SymbolUsage # parseJSONList :: Value -> Parser [SymbolUsage] #

symbolUsed :: Lens' SymbolUsage Symbol Source #

symbolUsedQualifier :: Lens' SymbolUsage (Maybe Text) Source #

symbolUsedIn :: Lens' SymbolUsage ModuleId Source #

symbolUsedRegion :: Lens' SymbolUsage Region Source #

data ImportedSymbol Source #

Symbol with module it's exported from

Constructors

ImportedSymbol
Fields _importedSymbol :: Symbol _importedFrom :: ModuleId

Instances

Eq ImportedSymbol Source #
Methods (==) :: ImportedSymbol -> ImportedSymbol -> Bool # (/=) :: ImportedSymbol -> ImportedSymbol -> Bool #
Ord ImportedSymbol Source #
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 Source #
Methods showsPrec :: Int -> ImportedSymbol -> ShowS # show :: ImportedSymbol -> String # showList :: [ImportedSymbol] -> ShowS #
ToJSON ImportedSymbol Source #
Methods toJSON :: ImportedSymbol -> Value # toEncoding :: ImportedSymbol -> Encoding # toJSONList :: [ImportedSymbol] -> Value # toEncodingList :: [ImportedSymbol] -> Encoding #
FromJSON ImportedSymbol Source #
Methods parseJSON :: Value -> Parser ImportedSymbol # parseJSONList :: Value -> Parser [ImportedSymbol] #

importedSymbol :: Lens' ImportedSymbol Symbol Source #

importedFrom :: Lens' ImportedSymbol ModuleId Source #

infoOf :: EmptySymbolInfo a => a -> SymbolInfo Source #

nullifyInfo :: SymbolInfo -> SymbolInfo Source #

data Inspection Source #

Inspection data

Constructors

InspectionNone	No inspection
InspectionAt	Time and flags of inspection
Fields _inspectionAt :: POSIXTime _inspectionOpts :: [Text]

Instances

Eq Inspection Source #
Methods (==) :: Inspection -> Inspection -> Bool # (/=) :: Inspection -> Inspection -> Bool #
Ord Inspection Source #
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 Source #
Methods showsPrec :: Int -> Inspection -> ShowS # show :: Inspection -> String # showList :: [Inspection] -> ShowS #
Monoid Inspection Source #
Methods mempty :: Inspection # mappend :: Inspection -> Inspection -> Inspection # mconcat :: [Inspection] -> Inspection #
NFData Inspection Source #
Methods rnf :: Inspection -> () #
ToJSON Inspection Source #
Methods toJSON :: Inspection -> Value # toEncoding :: Inspection -> Encoding # toJSONList :: [Inspection] -> Value # toEncodingList :: [Inspection] -> Encoding #
FromJSON Inspection Source #
Methods parseJSON :: Value -> Parser Inspection # parseJSONList :: Value -> Parser [Inspection] #
Monad m => MonadState (Inspection, Set t) (InspectM k t m) Source #
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 Source #

inspectionOpts :: Traversal' Inspection [Text] Source #

fresh :: Inspection -> Inspection -> Bool Source #

Is left Inspection fresh comparing to right one

data Inspected k t a Source #

Inspected entity

Constructors

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

Instances

Show InspectedModule Source #
Methods showsPrec :: Int -> InspectedModule -> ShowS # show :: InspectedModule -> String # showList :: [InspectedModule] -> ShowS #
Functor (Inspected k t) Source #
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) Source #
Methods fold :: Monoid m => Inspected k t m -> 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) Source #
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) Source #
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) Source #
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) Source #
Methods rnf :: Inspected k t a -> () #
(ToJSON k, ToJSON t, ToJSON a) => ToJSON (Inspected k t a) Source #
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) Source #
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 Source #

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

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

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

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

newtype InspectM k t m a Source #

Constructors

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

Instances

Monad m => MonadReader k (InspectM k t m) Source #
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) Source #
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) Source #
Methods lift :: Monad m => m a -> InspectM k t m a #
Monad m => MonadState (Inspection, Set t) (InspectM k t m) Source #
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) Source #
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 # fail :: String -> InspectM k t m a #
Functor m => Functor (InspectM k t m) Source #
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) Source #
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) Source #
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) Source #
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) Source #
Methods liftIO :: IO a -> InspectM k t m a #
MonadThrow m => MonadThrow (InspectM k t m) Source #
Methods throwM :: Exception e => e -> InspectM k t m a #
MonadCatch m => MonadCatch (InspectM k t m) Source #
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) Source #

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

Continue inspection

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

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

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

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

noTags :: Set t Source #

Empty tags

tag :: t -> Set t Source #

One tag

data ModuleTag Source #

Constructors

InferredTypesTag
RefinedDocsTag
OnlyHeaderTag
DirtyTag
ResolvedNamesTag

Instances

Bounded ModuleTag Source #
Methods minBound :: ModuleTag # maxBound :: ModuleTag #
Enum ModuleTag Source #
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 Source #
Methods (==) :: ModuleTag -> ModuleTag -> Bool # (/=) :: ModuleTag -> ModuleTag -> Bool #
Ord ModuleTag Source #
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 Source #
Methods readsPrec :: Int -> ReadS ModuleTag # readList :: ReadS [ModuleTag] # readPrec :: ReadPrec ModuleTag # readListPrec :: ReadPrec [ModuleTag] #
Show InspectedModule Source #
Methods showsPrec :: Int -> InspectedModule -> ShowS # show :: InspectedModule -> String # showList :: [InspectedModule] -> ShowS #
Show ModuleTag Source #
Methods showsPrec :: Int -> ModuleTag -> ShowS # show :: ModuleTag -> String # showList :: [ModuleTag] -> ShowS #
NFData ModuleTag Source #
Methods rnf :: ModuleTag -> () #
ToJSON ModuleTag Source #
Methods toJSON :: ModuleTag -> Value # toEncoding :: ModuleTag -> Encoding # toJSONList :: [ModuleTag] -> Value # toEncodingList :: [ModuleTag] -> Encoding #
FromJSON ModuleTag Source #
Methods parseJSON :: Value -> Parser ModuleTag # parseJSONList :: Value -> Parser [ModuleTag] #
Display ModuleTag Source #
Methods display :: ModuleTag -> String Source # displayType :: ModuleTag -> String Source #

type InspectedModule = Inspected ModuleLocation ModuleTag Module Source #

Inspected module

notInspected :: ModuleLocation -> InspectedModule Source #

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

Read POSIXTime Source #
Methods readsPrec :: Int -> ReadS POSIXTime # readList :: ReadS [POSIXTime] # readPrec :: ReadPrec POSIXTime # readListPrec :: ReadPrec [POSIXTime] #
NFData Fixity Source #
Methods rnf :: Fixity -> () #
NFData Boxed Source #
Methods rnf :: Boxed -> () #
ToJSON Fixity Source #
Methods toJSON :: Fixity -> Value # toEncoding :: Fixity -> Encoding # toJSONList :: [Fixity] -> Value # toEncodingList :: [Fixity] -> Encoding #
FromJSON Fixity Source #
Methods parseJSON :: Value -> Parser Fixity # parseJSONList :: Value -> Parser [Fixity] #
Documented ModuleId Source #
Methods brief :: ModuleId -> Text Source # detailed :: ModuleId -> Text Source #
Documented SymbolId Source #
Methods brief :: SymbolId -> Text Source # detailed :: SymbolId -> Text Source #
NFData l => NFData (Name l) Source #
Methods rnf :: Name l -> () #
NFData l => NFData (ModuleName l) Source #
Methods rnf :: ModuleName l -> () #
NFData l => NFData (SpecialCon l) Source #
Methods rnf :: SpecialCon l -> () #
NFData l => NFData (QName l) Source #
Methods rnf :: QName l -> () #
NFData (Assoc ()) Source #
Methods rnf :: Assoc () -> () #
ToJSON (Assoc ()) Source #
Methods toJSON :: Assoc () -> Value # toEncoding :: Assoc () -> Encoding # toJSONList :: [Assoc ()] -> Value # toEncodingList :: [Assoc ()] -> Encoding #
FromJSON (Assoc ()) Source #
Methods parseJSON :: Value -> Parser (Assoc ()) # parseJSONList :: Value -> Parser [Assoc ()] #