Available Packages
Click the links below to see all namespaces in a package.
⏳ Loading package list
Idris2 Documentation Browser
This page is a search engine for Idris 2 libraries. You can think of it as Hoogle of a poorer quality, but for Idris. Only packages curated by Pack (a package manager for Idris) are indexed.
Usage
Use the search field on the left to perform a search, results will update as you type.
You can press / anywhere on the page to focus the search field.
Fuzzy Search Patterns
You can use dots to quickly skip over namespaces, e.g. enter C.M.S.run to find Control.Monad.State.runState
Contributions
Website layout and some CSS style from The original search engine
Forked from https://git.envs.net/iacore/idris2-quickdocs/
HTML docs generation and typesetting by Katla
HTML docs generated and aggregated by idris2-pack-docs ⬅️ download the Documentation here (without search engine)
HTML docs indexed by idris2-docs-indexer
Links
Source code of this page ⬅️ report bug here