Idris2 Documentation Browser
Use the search field on the left to perform a search, results will update as
you type. You can press Ctrl + K 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
Available Packages
The documentation for 226 packages has been imported from pack-db commit 4435bc6 (2026-04-29 23:18:38 +0000).
Show all 226 packages
- algdata
- algebra
- ansi
- apache-mime-types
- array
- async
- async-dom
- async-epoll
- async-js
- async-posix
- async-spec
- barbies
- base
- base64
- best-alternative
- bounded-doubles
- bounded-doubles-hedgehog-generators
- buf-conn
- byteorder
- bytestring
- c-ffi
- cheerio
- chem
- chem-generators
- collection-utils
- collie
- comonad
- cont
- containers
- continuation-monad
- contrib
- control-flow
- control-spec
- coop
- cozippable
- cptr
- crypt
- css
- cyby-draw
- decord
- dependent-map
- dependent-vect
- deptycheck
- dinwiddy
- distribution
- dom
- dom-mvc
- dom-mvc-extra
- dot-gv
- dtypes
- eff
- effect
- elab-pretty
- elab-util
- elab-util-extra
- elin
- epoll
- evince
- evince-hedgehog
- extrafun
- filepath
- fin-lizzie
- finite
- fix-whitespace
- fixed
- free
- freer
- fs-utils
- fvect
- game-2048
- getopts
- golden-runner-helper
- graph
- hash
- hashable
- hashable-derive
- hashmap
- hedgehog
- hmac
- http
- http-client-api
- http-server-api
- http-types
- http2
- i-hate-parens
- idrall
- idris2
- idris2-dep-graph
- idris2-go
- idris2-go-lib
- idris2-lsp
- idrisGL
- if-unsolved-implicit
- ilex
- ilex-core
- ilex-debug
- ilex-fasta
- ilex-json
- ilex-streams
- ilex-toml
- indexed
- indexed-graph
- js
- json
- json-simple
- just-a-monad
- katla
- katla-pandoc
- lana
- lens
- linear
- linux
- literal
- log-domain
- log4types
- log4types-core
- log4types-json
- lsp-lib
- markdown
- matrix
- mk
- monad-bayes
- monocle
- mtl-tuple-impls
- multiplate
- ncurses-idris
- nested
- network
- node
- numidr
- okasaki-pfds
- pack
- pack-admin
- pact-api
- pact-client
- pact-server
- pact-todomvc
- pact-wai
- papers
- park_bench
- parser
- parser-json
- parser-show
- parser-toml
- parser-tsv
- parser-webidl
- pg
- pg-idris
- pg-types
- pipelines
- pjrt-plugin-xla-cpu
- pjrt-plugin-xla-cuda
- positive-nat
- posix
- prelude
- prettier
- prettier-ansi
- pretty-show
- prim
- profiler
- profunctors
- promise
- quantifiers-extra
- qutescript
- racket-tcp
- random-pure
- ratio
- records
- ref1
- refined
- refined-json
- refined-tsv
- regex
- rhone
- rhone-js
- rio
- rtlsdr
- scgi
- scram
- sha
- simple-tests
- snocvect
- sop
- spidr
- sqlite3
- sqlite3-rio
- sqlite3-streams
- stellar-api
- stellar-http
- stellar-sql
- streams
- streams-posix
- string-builder
- string-search
- stringsearch-algorithms
- structures
- summary-stat
- svg
- swirl
- systemd
- tailrec
- telescope
- tensortype
- test
- tester
- theory
- time-for-sleep
- timeit
- tls
- toml
- type-aligned
- typelevel-emptiness-collections
- tyre
- tyttp
- tyttp-adapter-node
- tyttp-json
- uniplate
- url
- utf8
- uv
- uv-data
- weaker-traversals
- web-server-racket
- web-server-racket-hello-world
- webidl
- xml
Source Code
Pre-generated documentation from idris2-pack-db
https://github.com/stefan-hoeck/idris2-pack-db
Idris2 with --mkdoc support
available at: https://github.com/idris-lang/Idris2
Index Builder and Search JavaScript
available at: https://git.sr.ht/~cypheon/idris2-quickdocs