├── .ghci ├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .hlint.yaml ├── .stylish-haskell.yaml ├── .weeder.yaml ├── CHANGES.txt ├── LICENSE ├── PULL_REQUEST_TEMPLATE.md ├── README.md ├── Setup.hs ├── cbits ├── include.h ├── text_search.bat ├── text_search.c └── text_search.hs ├── docs ├── API.md ├── Haskell.org.md ├── Install.md └── TypeSearch.md ├── ghci.bat ├── hoogle.cabal ├── html ├── embed-demo.htm ├── favicon.png ├── favicon57.png ├── favicon64.png ├── hoogle.css ├── hoogle.js ├── hoogle.png ├── index.html ├── less_blue.png ├── less_gray.png ├── less_small.png ├── log.html ├── log.js ├── more_blue.png ├── more_gray.png ├── more_small.png ├── plugin │ ├── chosen-jquery.js │ ├── chosen-sprite.png │ ├── chosen-sprite@2x.png │ ├── chosen.css │ └── jquery-cookie.js ├── search.xml ├── spinner.gif └── welcome.html ├── misc ├── Keywords.hs ├── Upgrade.hs ├── logo.svg ├── sample-data │ ├── emily-1.11 │ │ └── emily.txt │ ├── emily-1.2 │ │ └── emily.txt │ └── henry.txt └── settings.txt ├── src ├── Action │ ├── CmdLine.hs │ ├── Generate.hs │ ├── Search.hs │ ├── Server.hs │ └── Test.hs ├── General │ ├── Conduit.hs │ ├── IString.hs │ ├── Log.hs │ ├── Store.hs │ ├── Str.hs │ ├── Template.hs │ ├── Timing.hs │ ├── Util.hs │ └── Web.hs ├── Hoogle.hs ├── Input │ ├── Cabal.hs │ ├── Download.hs │ ├── Haddock.hs │ ├── Item.hs │ ├── ParseDecl.hs │ ├── Reorder.hs │ ├── Set.hs │ └── Settings.hs ├── Main.hs ├── Output │ ├── Items.hs │ ├── Names.hs │ ├── Tags.hs │ └── Types.hs ├── Paths.hs └── Query.hs ├── todo.txt └── todo2.txt /.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/.ghci -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/.gitignore -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/.hlint.yaml -------------------------------------------------------------------------------- /.stylish-haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/.stylish-haskell.yaml -------------------------------------------------------------------------------- /.weeder.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/.weeder.yaml -------------------------------------------------------------------------------- /CHANGES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/CHANGES.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/LICENSE -------------------------------------------------------------------------------- /PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /cbits/include.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/cbits/include.h -------------------------------------------------------------------------------- /cbits/text_search.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/cbits/text_search.bat -------------------------------------------------------------------------------- /cbits/text_search.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/cbits/text_search.c -------------------------------------------------------------------------------- /cbits/text_search.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/cbits/text_search.hs -------------------------------------------------------------------------------- /docs/API.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/docs/API.md -------------------------------------------------------------------------------- /docs/Haskell.org.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/docs/Haskell.org.md -------------------------------------------------------------------------------- /docs/Install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/docs/Install.md -------------------------------------------------------------------------------- /docs/TypeSearch.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/docs/TypeSearch.md -------------------------------------------------------------------------------- /ghci.bat: -------------------------------------------------------------------------------- 1 | ghci.exe cbits\text_search.o %* 2 | -------------------------------------------------------------------------------- /hoogle.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/hoogle.cabal -------------------------------------------------------------------------------- /html/embed-demo.htm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/embed-demo.htm -------------------------------------------------------------------------------- /html/favicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/favicon.png -------------------------------------------------------------------------------- /html/favicon57.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/favicon57.png -------------------------------------------------------------------------------- /html/favicon64.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/favicon64.png -------------------------------------------------------------------------------- /html/hoogle.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/hoogle.css -------------------------------------------------------------------------------- /html/hoogle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/hoogle.js -------------------------------------------------------------------------------- /html/hoogle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/hoogle.png -------------------------------------------------------------------------------- /html/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/index.html -------------------------------------------------------------------------------- /html/less_blue.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/less_blue.png -------------------------------------------------------------------------------- /html/less_gray.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/less_gray.png -------------------------------------------------------------------------------- /html/less_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/less_small.png -------------------------------------------------------------------------------- /html/log.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/log.html -------------------------------------------------------------------------------- /html/log.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/log.js -------------------------------------------------------------------------------- /html/more_blue.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/more_blue.png -------------------------------------------------------------------------------- /html/more_gray.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/more_gray.png -------------------------------------------------------------------------------- /html/more_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/more_small.png -------------------------------------------------------------------------------- /html/plugin/chosen-jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/plugin/chosen-jquery.js -------------------------------------------------------------------------------- /html/plugin/chosen-sprite.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/plugin/chosen-sprite.png -------------------------------------------------------------------------------- /html/plugin/chosen-sprite@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/plugin/chosen-sprite@2x.png -------------------------------------------------------------------------------- /html/plugin/chosen.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/plugin/chosen.css -------------------------------------------------------------------------------- /html/plugin/jquery-cookie.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/plugin/jquery-cookie.js -------------------------------------------------------------------------------- /html/search.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/search.xml -------------------------------------------------------------------------------- /html/spinner.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/spinner.gif -------------------------------------------------------------------------------- /html/welcome.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/html/welcome.html -------------------------------------------------------------------------------- /misc/Keywords.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/misc/Keywords.hs -------------------------------------------------------------------------------- /misc/Upgrade.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/misc/Upgrade.hs -------------------------------------------------------------------------------- /misc/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/misc/logo.svg -------------------------------------------------------------------------------- /misc/sample-data/emily-1.11/emily.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/misc/sample-data/emily-1.11/emily.txt -------------------------------------------------------------------------------- /misc/sample-data/emily-1.2/emily.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/misc/sample-data/emily-1.2/emily.txt -------------------------------------------------------------------------------- /misc/sample-data/henry.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/misc/sample-data/henry.txt -------------------------------------------------------------------------------- /misc/settings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/misc/settings.txt -------------------------------------------------------------------------------- /src/Action/CmdLine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Action/CmdLine.hs -------------------------------------------------------------------------------- /src/Action/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Action/Generate.hs -------------------------------------------------------------------------------- /src/Action/Search.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Action/Search.hs -------------------------------------------------------------------------------- /src/Action/Server.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Action/Server.hs -------------------------------------------------------------------------------- /src/Action/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Action/Test.hs -------------------------------------------------------------------------------- /src/General/Conduit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/General/Conduit.hs -------------------------------------------------------------------------------- /src/General/IString.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/General/IString.hs -------------------------------------------------------------------------------- /src/General/Log.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/General/Log.hs -------------------------------------------------------------------------------- /src/General/Store.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/General/Store.hs -------------------------------------------------------------------------------- /src/General/Str.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/General/Str.hs -------------------------------------------------------------------------------- /src/General/Template.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/General/Template.hs -------------------------------------------------------------------------------- /src/General/Timing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/General/Timing.hs -------------------------------------------------------------------------------- /src/General/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/General/Util.hs -------------------------------------------------------------------------------- /src/General/Web.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/General/Web.hs -------------------------------------------------------------------------------- /src/Hoogle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Hoogle.hs -------------------------------------------------------------------------------- /src/Input/Cabal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Input/Cabal.hs -------------------------------------------------------------------------------- /src/Input/Download.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Input/Download.hs -------------------------------------------------------------------------------- /src/Input/Haddock.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Input/Haddock.hs -------------------------------------------------------------------------------- /src/Input/Item.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Input/Item.hs -------------------------------------------------------------------------------- /src/Input/ParseDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Input/ParseDecl.hs -------------------------------------------------------------------------------- /src/Input/Reorder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Input/Reorder.hs -------------------------------------------------------------------------------- /src/Input/Set.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Input/Set.hs -------------------------------------------------------------------------------- /src/Input/Settings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Input/Settings.hs -------------------------------------------------------------------------------- /src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Main.hs -------------------------------------------------------------------------------- /src/Output/Items.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Output/Items.hs -------------------------------------------------------------------------------- /src/Output/Names.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Output/Names.hs -------------------------------------------------------------------------------- /src/Output/Tags.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Output/Tags.hs -------------------------------------------------------------------------------- /src/Output/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Output/Types.hs -------------------------------------------------------------------------------- /src/Paths.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Paths.hs -------------------------------------------------------------------------------- /src/Query.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/src/Query.hs -------------------------------------------------------------------------------- /todo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/todo.txt -------------------------------------------------------------------------------- /todo2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndmitchell/hoogle/HEAD/todo2.txt --------------------------------------------------------------------------------