Hoogle

High level Hoogle API

Documentation

data Database

Database containing Hoogle search data.

withDatabase :: NFData a => FilePath -> (Database -> IO a) -> IO a

Load a database from a file.

searchDatabase :: Database -> String -> [Target]

Search a database, given a query string, produces a list of results.

defaultDatabaseLocation :: IO FilePath

The default location of a database

data Target

A location of documentation.

Constructors

Target

Fields

• targetURL :: URL

  URL where this thing is located

• targetPackage :: Maybe (String, URL)

  Name and URL of the package it is in (Nothing if it is a package)

• targetModule :: Maybe (String, URL)

  Name and URL of the module it is in (Nothing if it is a package or module)

• targetType :: String

  One of package, module or empty string

• targetItem :: String

  HTML span of the item, using <s0> for the name and <s1> onwards for arguments

• targetDocs :: String

  HTML documentation to show, a sequence of block level elements

Instances

Eq Target

Defined in Input.Item

Methods

(==) :: Target -> Target -> Bool

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

Ord Target

Defined in Input.Item

Methods

compare :: Target -> Target -> Ordering

(<) :: Target -> Target -> Bool

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

(>) :: Target -> Target -> Bool

(>=) :: Target -> Target -> Bool

max :: Target -> Target -> Target

min :: Target -> Target -> Target

Show Target

Defined in Input.Item

Methods

showsPrec :: Int -> Target -> ShowS

show :: Target -> String

showList :: [Target] -> ShowS

Arbitrary Target

Defined in Input.Item

Methods

arbitrary :: Gen Target

shrink :: Target -> [Target]

ToJSON Target

Defined in Input.Item

Methods

toJSON :: Target -> Value

toEncoding :: Target -> Encoding

toJSONList :: [Target] -> Value

toEncodingList :: [Target] -> Encoding

FromJSON Target

Defined in Input.Item

Methods

parseJSON :: Value -> Parser Target

parseJSONList :: Value -> Parser [Target]

NFData Target

Defined in Input.Item

Methods

rnf :: Target -> ()

type URL = String

A URL, complete with a https: prefix.

hoogle :: [String] -> IO ()

Run a command line Hoogle operation.

targetInfo :: Target -> String

Returns the details printed out when hoogle --info is called

targetResultDisplay :: Bool -> Target -> String

Returns the Target formatted as an item to display in the results | Bool argument decides whether links are shown