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.
Available Packages
The documentation for 233 packages has been imported from pack-db commit 1293332 (2026-06-14 23:27:02 +0000).
Show all 233 packages
- algdata
- algebra
- ansi
- apache-mime-types
- array
- async
- async-dom
- async-dom-extra
- async-epoll
- async-js
- async-posix
- async-spec
- barbies
- base
- base64
- best-alternative
- betti
- 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-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
- lsm-rrbvector
- 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
- resource-pool
- 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
- uuid
- uv
- uv-data
- weaker-traversals
- web-server-racket
- web-server-racket-hello-world
- webidl
- xml
- yaml
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