├── .github └── workflows │ ├── build.yml │ └── release.yml ├── .gitignore ├── CHANGELOG.md ├── README.md ├── ci-npmrc.txt ├── package.json ├── packages.dhall ├── preview.png ├── release.sh ├── spago.dhall ├── src └── Docs │ └── Search │ ├── App.purs │ ├── App │ ├── SearchField.purs │ ├── SearchResults.purs │ └── Sidebar.purs │ ├── BrowserEngine.js │ ├── BrowserEngine.purs │ ├── Config.purs │ ├── Declarations.purs │ ├── DocsJson.purs │ ├── Engine.purs │ ├── Extra.purs │ ├── IndexBuilder.js │ ├── IndexBuilder.purs │ ├── Interactive.purs │ ├── Loader.js │ ├── Loader.purs │ ├── Main.purs │ ├── Meta.purs │ ├── ModuleIndex.js │ ├── ModuleIndex.purs │ ├── ModuleParser.purs │ ├── NodeEngine.purs │ ├── PackageIndex.purs │ ├── Score.purs │ ├── SearchResult.purs │ ├── Terminal.purs │ ├── TypeDecoder.purs │ ├── TypeIndex.js │ ├── TypeIndex.purs │ ├── TypePrinter.purs │ ├── TypeQuery.purs │ ├── TypeShape.js │ ├── TypeShape.purs │ ├── Types.purs │ ├── URIHash.js │ └── URIHash.purs └── test ├── Main.purs └── Test ├── Declarations.purs ├── Extra.purs ├── IndexBuilder.purs ├── ModuleIndex.purs ├── ModuleParser.purs ├── TypeJson.purs ├── TypeQuery.purs └── UI.purs /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/README.md -------------------------------------------------------------------------------- /ci-npmrc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/ci-npmrc.txt -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/package.json -------------------------------------------------------------------------------- /packages.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/packages.dhall -------------------------------------------------------------------------------- /preview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/preview.png -------------------------------------------------------------------------------- /release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/release.sh -------------------------------------------------------------------------------- /spago.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/spago.dhall -------------------------------------------------------------------------------- /src/Docs/Search/App.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/App.purs -------------------------------------------------------------------------------- /src/Docs/Search/App/SearchField.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/App/SearchField.purs -------------------------------------------------------------------------------- /src/Docs/Search/App/SearchResults.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/App/SearchResults.purs -------------------------------------------------------------------------------- /src/Docs/Search/App/Sidebar.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/App/Sidebar.purs -------------------------------------------------------------------------------- /src/Docs/Search/BrowserEngine.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/BrowserEngine.js -------------------------------------------------------------------------------- /src/Docs/Search/BrowserEngine.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/BrowserEngine.purs -------------------------------------------------------------------------------- /src/Docs/Search/Config.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Config.purs -------------------------------------------------------------------------------- /src/Docs/Search/Declarations.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Declarations.purs -------------------------------------------------------------------------------- /src/Docs/Search/DocsJson.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/DocsJson.purs -------------------------------------------------------------------------------- /src/Docs/Search/Engine.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Engine.purs -------------------------------------------------------------------------------- /src/Docs/Search/Extra.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Extra.purs -------------------------------------------------------------------------------- /src/Docs/Search/IndexBuilder.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/IndexBuilder.js -------------------------------------------------------------------------------- /src/Docs/Search/IndexBuilder.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/IndexBuilder.purs -------------------------------------------------------------------------------- /src/Docs/Search/Interactive.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Interactive.purs -------------------------------------------------------------------------------- /src/Docs/Search/Loader.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Loader.js -------------------------------------------------------------------------------- /src/Docs/Search/Loader.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Loader.purs -------------------------------------------------------------------------------- /src/Docs/Search/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Main.purs -------------------------------------------------------------------------------- /src/Docs/Search/Meta.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Meta.purs -------------------------------------------------------------------------------- /src/Docs/Search/ModuleIndex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/ModuleIndex.js -------------------------------------------------------------------------------- /src/Docs/Search/ModuleIndex.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/ModuleIndex.purs -------------------------------------------------------------------------------- /src/Docs/Search/ModuleParser.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/ModuleParser.purs -------------------------------------------------------------------------------- /src/Docs/Search/NodeEngine.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/NodeEngine.purs -------------------------------------------------------------------------------- /src/Docs/Search/PackageIndex.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/PackageIndex.purs -------------------------------------------------------------------------------- /src/Docs/Search/Score.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Score.purs -------------------------------------------------------------------------------- /src/Docs/Search/SearchResult.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/SearchResult.purs -------------------------------------------------------------------------------- /src/Docs/Search/Terminal.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Terminal.purs -------------------------------------------------------------------------------- /src/Docs/Search/TypeDecoder.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/TypeDecoder.purs -------------------------------------------------------------------------------- /src/Docs/Search/TypeIndex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/TypeIndex.js -------------------------------------------------------------------------------- /src/Docs/Search/TypeIndex.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/TypeIndex.purs -------------------------------------------------------------------------------- /src/Docs/Search/TypePrinter.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/TypePrinter.purs -------------------------------------------------------------------------------- /src/Docs/Search/TypeQuery.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/TypeQuery.purs -------------------------------------------------------------------------------- /src/Docs/Search/TypeShape.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/TypeShape.js -------------------------------------------------------------------------------- /src/Docs/Search/TypeShape.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/TypeShape.purs -------------------------------------------------------------------------------- /src/Docs/Search/Types.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/Types.purs -------------------------------------------------------------------------------- /src/Docs/Search/URIHash.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/URIHash.js -------------------------------------------------------------------------------- /src/Docs/Search/URIHash.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/src/Docs/Search/URIHash.purs -------------------------------------------------------------------------------- /test/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/test/Main.purs -------------------------------------------------------------------------------- /test/Test/Declarations.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/test/Test/Declarations.purs -------------------------------------------------------------------------------- /test/Test/Extra.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/test/Test/Extra.purs -------------------------------------------------------------------------------- /test/Test/IndexBuilder.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/test/Test/IndexBuilder.purs -------------------------------------------------------------------------------- /test/Test/ModuleIndex.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/test/Test/ModuleIndex.purs -------------------------------------------------------------------------------- /test/Test/ModuleParser.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/test/Test/ModuleParser.purs -------------------------------------------------------------------------------- /test/Test/TypeJson.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/test/Test/TypeJson.purs -------------------------------------------------------------------------------- /test/Test/TypeQuery.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/test/Test/TypeQuery.purs -------------------------------------------------------------------------------- /test/Test/UI.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-docs-search/HEAD/test/Test/UI.purs --------------------------------------------------------------------------------