- saveDatabase :: FilePath -> Database -> IO ()
- loadDatabase :: FilePath -> IO (Maybe Database)
- singletonDatabase :: Documented Package -> Database
- data Doc
- docFromString :: String -> Doc
- type Documented a = a Doc
- data Package l = Package l PackageIdentifier (Map String (Documented Module))
- type Database = Map PackageIdentifier (Documented Package)
- getNameString :: Name l -> String
- getQNameString :: QName l -> String
- class Annotated e => Named e where
- class (Named parent, Named child) => DocItem parent child | parent -> child where
- singleLinePrettyPrint :: Pretty a => a -> String
- maybeEmptyContext :: Maybe (Documented Context) -> Documented Context
- lookupNameTable :: IORef (Map String (Documented Name))
- getNameInLookupTable :: String -> Bool -> Documented Name
- lookupQNameTable :: IORef (Map String (Documented QName))
- getQNameInLookupTable :: Documented QName -> Documented QName
- lookupTyVarTable :: IORef (Map String (Documented Type))
- getTyVarInLookupTable :: Documented Name -> Documented Type
- lookupTyConTable :: IORef (Map String (Documented Type))
- getTyConInLookupTable :: Documented QName -> Documented Type
- noDoc :: Doc
- nothing :: Maybe a
- dataType :: Documented DataOrNew
- newType :: Documented DataOrNew
- cxEmpty :: Documented Context
- kindStar :: Documented Kind
- kindBang :: Documented Kind
- boxed_ :: Boxed
- unboxed_ :: Boxed
- unitCon :: Documented SpecialCon
- listCon :: Documented SpecialCon
- funCon :: Documented SpecialCon
- cons_ :: Documented SpecialCon
- unboxedSingleCon :: Documented SpecialCon
Documentation
Documentation for an item. Now it is simply a Text element.
docFromString :: String -> DocSource
type Documented a = a DocSource
A documented item.
A package.
type Database = Map PackageIdentifier (Documented Package)Source
A Database saves a list of packages.
getNameString :: Name l -> StringSource
Gets the name inside a Name constructor.
getQNameString :: QName l -> StringSource
Gets the qualified name as a string.
class (Named parent, Named child) => DocItem parent child | parent -> child whereSource
singleLinePrettyPrint :: Pretty a => a -> StringSource
getNameInLookupTable :: String -> Bool -> Documented NameSource