Search plugin
Manual
haskell.org
set:stackage
set:haskell-platform
set:included-with-ghc
package:abstract-deque
package:abstract-deque-tests
package:abstract-par
package:AC-Angle
package:acc
package:ace
package:acid-state
package:action-permutations
package:active
package:ad
package:ad-delcont
package:adjunctions
package:adler32
package:advent-of-code-api
package:aern2-mp
package:aern2-real
package:aeson
package:aeson-attoparsec
package:aeson-better-errors
package:aeson-casing
package:aeson-combinators
package:aeson-diff
package:aeson-extra
package:aeson-gadt-th
package:aeson-generic-compat
package:aeson-jsonpath
package:aeson-optics
package:aeson-pretty
package:aeson-qq
package:aeson-schemas
package:aeson-typescript
package:aeson-unqualified-ast
package:aeson-value-parser
package:aeson-warning-parser
package:aeson-yak
package:aeson-yaml
package:AesonBson
package:aftovolio
package:Agda
package:agda2lagda
package:agreeing
package:alarmclock
package:alex
package:alex-meta
package:alex-tools
package:alfred-margaret
package:algebra
package:algebraic-graphs
package:align-audio
package:Allure
package:almost-fix
package:alsa-core
package:alsa-mixer
package:alsa-pcm
package:alsa-seq
package:alternative-vector
package:alternators
package:ALUT
package:amqp
package:amqp-utils
package:annotated-exception
package:annotated-wl-pprint
package:ansi-terminal
package:ansi-terminal-game
package:ansi-terminal-types
package:ansi-wl-pprint
package:ansigraph
package:ANum
package:aos-signature
package:ap-normalize
package:apecs
package:apecs-gloss
package:apecs-physics
package:api-field-json-th
package:appar
package:appendful
package:appendful-persistent
package:appendmap
package:apply-merge
package:apply-refact
package:apportionment
package:approximate
package:approximate-equality
package:arbor-lru-cache
package:arithmoi
package:array
package:array-chunks
package:array-memoize
package:arrow-extras
package:arrows
package:ascii-char
package:ascii-group
package:ascii-progress
package:asn1-encoding
package:asn1-parse
package:asn1-types
package:assert-failure
package:assignment
package:assoc
package:astro
package:async
package:async-extra
package:async-pool
package:async-refresh
package:async-refresh-tokens
package:atom-basic
package:atom-conduit
package:atomic-counter
package:atomic-primops
package:atomic-write
package:attoparsec
package:attoparsec-aeson
package:attoparsec-base64
package:attoparsec-binary
package:attoparsec-data
package:attoparsec-expr
package:attoparsec-framer
package:attoparsec-iso8601
package:attoparsec-path
package:attoparsec-time
package:attoparsec-uri
package:audacity
package:authenticate
package:authenticate-oauth
package:auto-update
package:autodocodec
package:autodocodec-nix
package:autodocodec-openapi3
package:autodocodec-schema
package:autodocodec-servant-multipart
package:autodocodec-swagger2
package:autodocodec-yaml
package:autoexporter
package:automaton
package:avro
package:aws
package:aws-lambda-haskell-runtime
package:aws-lambda-haskell-runtime-wai
package:aws-sns-verify
package:aws-xray-client
package:aws-xray-client-persistent
package:aws-xray-client-wai
package:backprop
package:backtracking
package:bank-holiday-germany
package:bank-holidays-england
package:barbies
package:base
package:base-compat
package:base-compat-batteries
package:base-orphans
package:base-prelude
package:base-unicode-symbols
package:base16
package:base16-bytestring
package:base32
package:base32string
package:base58-bytestring
package:base58string
package:base64
package:base64-bytestring
package:base64-bytestring-type
package:base64-string
package:basement
package:basic-prelude
package:battleship-combinatorics
package:bazel-runfiles
package:bbdb
package:bcp47
package:bcp47-orphans
package:bcrypt
package:beam-core
package:beam-migrate
package:beam-postgres
package:beam-sqlite
package:bech32
package:bech32-th
package:bench
package:bench-show
package:benchpress
package:bencode
package:bencoding
package:benri-hspec
package:between
package:bhoogle
package:bibtex
package:bifunctor-classes-compat
package:bifunctors
package:bimap
package:bimaps
package:bin
package:binance-exports
package:binary
package:binary-conduit
package:binary-generic-combinators
package:binary-ieee754
package:binary-instances
package:binary-list
package:binary-orphans
package:binary-parser
package:binary-parsers
package:binary-search
package:binary-shared
package:binary-tagged
package:binaryen
package:bindings-DSL
package:bindings-GLFW
package:bindings-libzip
package:bindings-uname
package:BiobaseNewick
package:bitarray
package:bits
package:bits-extra
package:bitset-word8
package:bitvec
package:bitwise
package:bitwise-enum
package:Blammo
package:blank-canvas
package:blas-carray
package:blas-comfort-array
package:blas-ffi
package:blas-hs
package:blaze-bootstrap
package:blaze-builder
package:blaze-colonnade
package:blaze-html
package:blaze-markup
package:blaze-svg
package:blaze-textual
package:bloodhound
package:bloomfilter
package:bluefin
package:bluefin-internal
package:bm
package:bmp
package:bnb-staking-csvs
package:BNFC
package:BNFC-meta
package:board-games
package:bodhi
package:boltzmann-samplers
package:Boolean
package:boolsimplifier
package:boomerang
package:boomwhacker
package:bordacount
package:boring
package:bound
package:bounded-qsem
package:bounded-queue
package:BoundedChan
package:boundingboxes
package:bower-json
package:bowtie
package:box
package:box-socket
package:boxes
package:breakpoint
package:brick
package:brotli
package:brotli-streams
package:bsb-http-chunked
package:bson
package:bson-lens
package:btrfs
package:buffer-pipe
package:bugsnag
package:bugsnag-hs
package:bugsnag-wai
package:bugsnag-yesod
package:bugzilla-redhat
package:burrito
package:butcher
package:bv
package:bv-little
package:bv-sized
package:byte-count-reader
package:byte-order
package:byteable
package:bytebuild
package:bytedump
package:bytehash
package:byteorder
package:bytes
package:byteset
package:byteslice
package:bytesmith
package:bytestring
package:bytestring-aeson-orphans
package:bytestring-builder
package:bytestring-conversion
package:bytestring-encodings
package:bytestring-lexing
package:bytestring-strict-builder
package:bytestring-to-vector
package:bytestring-tree-builder
package:bytestring-trie
package:bytezap
package:bz2
package:bzip2-clib
package:bzlib
package:bzlib-conduit
package:c-enum
package:c-struct
package:c14n
package:c2hs
package:ca-province-codes
package:Cabal
package:cabal-add
package:cabal-appimage
package:cabal-clean
package:cabal-debian
package:cabal-doctest
package:cabal-file
package:cabal-fix
package:cabal-flatpak
package:cabal-gild
package:cabal-install
package:cabal-install-parsers
package:cabal-install-solver
package:cabal-plan
package:cabal-rpm
package:cabal-sort
package:Cabal-syntax
package:cabal2nix
package:cabal2spec
package:cache
package:cached-json-file
package:cacophony
package:cairo
package:cairo-image
package:calendar-recycling
package:call-alloy
package:call-plantuml
package:call-stack
package:calligraphy
package:can-i-haz
package:capability
package:cardano-coin-selection
package:carray
package:casa-client
package:casa-types
package:case-insensitive
package:cased
package:cases
package:casing
package:cassava
package:cassava-conduit
package:cassava-megaparsec
package:cast
package:caster
package:cauldron
package:cayley-client
package:cborg
package:cborg-json
package:cdar-mBound
package:cereal
package:cereal-conduit
package:cereal-text
package:cereal-unordered-containers
package:cereal-vector
package:cfenv
package:cgi
package:chan
package:ChannelT
package:character-cases
package:character-ps
package:charset
package:charsetdetect-ae
package:Chart
package:Chart-cairo
package:Chart-diagrams
package:chart-svg
package:ChasingBottoms
package:check-email
package:checkers
package:checksum
package:chell
package:chell-hunit
package:chell-quickcheck
package:chimera
package:choice
package:chronologique
package:chronos
package:chunked-data
package:cipher-aes
package:cipher-camellia
package:cipher-rc4
package:circle-packing
package:circular
package:citeproc
package:clash-ghc
package:clash-lib
package:clash-prelude
package:clash-prelude-hedgehog
package:classy-prelude
package:classy-prelude-conduit
package:classy-prelude-yesod
package:clay
package:cli-arguments
package:clientsession
package:Clipboard
package:clock
package:closed
package:clumpiness
package:ClustalParser
package:cmark
package:cmark-gfm
package:cmark-lucid
package:cmdargs
package:co-log
package:co-log-concurrent
package:co-log-core
package:co-log-polysemy
package:code-conjure
package:code-page
package:codec-beam
package:coinor-clp
package:cointracking-imports
package:collect-errors
package:colonnade
package:Color
package:colorful-monoids
package:colorize-haskell
package:colour
package:colourista
package:columnar
package:combinatorial
package:comfort-array
package:comfort-array-shape
package:comfort-blas
package:comfort-fftw
package:comfort-glpk
package:comfort-graph
package:commonmark
package:commonmark-extensions
package:commonmark-pandoc
package:commutative
package:commutative-semigroups
package:comonad
package:compact
package:compactmap
package:companion
package:compdata
package:compensated
package:compiler-warnings
package:componentm
package:componentm-devel
package:composable-associations
package:composition
package:composition-extra
package:composition-prelude
package:concise
package:concurrency
package:concurrent-extra
package:concurrent-output
package:concurrent-split
package:concurrent-supply
package:cond
package:conduino
package:conduit
package:conduit-aeson
package:conduit-algorithms
package:conduit-combinators
package:conduit-concurrent-map
package:conduit-extra
package:conduit-parse
package:conduit-zstd
package:conferer
package:conferer-aeson
package:config-ini
package:config-value
package:configuration-tools
package:configurator
package:configurator-export
package:configurator-pg
package:constrained-categories
package:constraint-tuples
package:constraints
package:constraints-extras
package:construct
package:consumers
package:containers
package:context
package:context-http-client
package:context-resource
package:context-wai-middleware
package:contiguous
package:contravariant
package:contravariant-extras
package:control-bool
package:control-dsl
package:control-monad-free
package:control-monad-omega
package:convertible
package:cookie
package:copilot
package:copilot-c99
package:copilot-core
package:copilot-interpreter
package:copilot-language
package:copilot-libraries
package:copilot-prettyprinter
package:copilot-theorem
package:copr-api
package:core-data
package:core-program
package:core-telemetry
package:core-text
package:countable
package:countdown-numbers-game
package:country
package:covariance
package:cpphs
package:cpu
package:cpuinfo
package:cql
package:cql-io
package:crackNum
package:crc32c
package:crdt-event-fold
package:credential-store
package:criterion
package:criterion-measurement
package:cron
package:crypt-sha512
package:crypto-api
package:crypto-api-tests
package:crypto-cipher-tests
package:crypto-cipher-types
package:crypto-pubkey-types
package:crypto-random-api
package:crypto-token
package:cryptocompare
package:cryptohash
package:cryptohash-cryptoapi
package:cryptohash-md5
package:cryptohash-sha1
package:cryptohash-sha256
package:cryptohash-sha512
package:crypton
package:crypton-conduit
package:crypton-connection
package:crypton-x509
package:crypton-x509-store
package:crypton-x509-system
package:crypton-x509-validation
package:cryptonite
package:cryptonite-conduit
package:cryptonite-openssl
package:csp
package:css-syntax
package:css-text
package:csv
package:csv-conduit
package:ctrie
package:cubicbezier
package:cubicspline
package:cuda
package:cue-sheet
package:curl
package:curly-expander
package:currency
package:currycarbon
package:cursor
package:cursor-brick
package:cursor-fuzzy-time
package:cursor-gen
package:cutter
package:cyclotomic
package:czipwith
package:data-accessor
package:data-accessor-mtl
package:data-accessor-transformers
package:data-array-byte
package:data-binary-ieee754
package:data-bword
package:data-checked
package:data-clist
package:data-compat
package:data-default
package:data-default-class
package:data-default-instances-base
package:data-default-instances-bytestring
package:data-default-instances-case-insensitive
package:data-default-instances-containers
package:data-default-instances-dlist
package:data-default-instances-old-locale
package:data-default-instances-unordered-containers
package:data-default-instances-vector
package:data-diverse
package:data-dword
package:data-effects
package:data-effects-core
package:data-effects-th
package:data-endian
package:data-findcycle
package:data-fix
package:data-functor-logistic
package:data-has
package:data-hash
package:data-interval
package:data-inttrie
package:data-lens-light
package:data-memocombinators
package:data-msgpack
package:data-msgpack-types
package:data-or
package:data-ordlist
package:data-prometheus
package:data-ref
package:data-reify
package:data-serializer
package:data-sketches
package:data-sketches-core
package:data-textual
package:dataframe
package:dataurl
package:DAV
package:dbcleaner
package:DBFunctor
package:dbus
package:dbus-hslogger
package:debian
package:debian-build
package:debug-trace-var
package:dec
package:decidable
package:Decimal
package:declarative
package:deepseq
package:deepseq-generics
package:deferred-folds
package:defun-core
package:dejafu
package:delta-types
package:dense-linear-algebra
package:dependent-map
package:dependent-monoidal-map
package:dependent-sum
package:dependent-sum-aeson-orphans
package:dependent-sum-template
package:depq
package:deque
package:derive-storable
package:derive-topdown
package:deriveJsonNoPrefix
package:deriving-aeson
package:deriving-compat
package:deriving-trans
package:detour-via-sci
package:df1
package:dhall
package:di
package:di-core
package:di-df1
package:di-handle
package:di-monad
package:diagrams
package:diagrams-braille
package:diagrams-builder
package:diagrams-cairo
package:diagrams-canvas
package:diagrams-contrib
package:diagrams-core
package:diagrams-gtk
package:diagrams-lib
package:diagrams-postscript
package:diagrams-rasterific
package:diagrams-solve
package:diagrams-svg
package:dice
package:dictionary-sharing
package:Diff
package:diff-loc
package:digest
package:digits
package:digraph
package:dimensional
package:direct-sqlite
package:directory
package:directory-ospath-streaming
package:directory-tree
package:dirichlet
package:discount
package:discover-instances
package:discrimination
package:disk-free-space
package:distributed-closure
package:distributed-process
package:distributed-process-async
package:distributed-process-client-server
package:distributed-process-execution
package:distributed-process-extras
package:distributed-process-monad-control
package:distributed-process-simplelocalnet
package:distributed-process-supervisor
package:distributed-process-systest
package:distributed-process-tests
package:distributed-static
package:distribution-nixpkgs
package:distribution-opensuse
package:distributive
package:djinn-lib
package:djot
package:dl-fedora
package:dlist
package:dlist-instances
package:dlist-nonempty
package:dns
package:do-list
package:do-notation
package:dobutokO2
package:dockerfile
package:doclayout
package:docopt
package:doctemplates
package:doctest
package:doctest-discover
package:doctest-driver-gen
package:doctest-exitcode-stdio
package:doctest-extract
package:doctest-lib
package:doctest-parallel
package:doldol
package:domain
package:domain-aeson
package:domain-cereal
package:domain-core
package:domain-optics
package:dot
package:dotenv
package:dotgen
package:dotnet-timespan
package:dotparse
package:double-conversion
package:download
package:download-curl
package:DPutils
package:drawille
package:drifter
package:drifter-postgresql
package:drifter-sqlite
package:dsp
package:dual-tree
package:dublincore-xml-conduit
package:dunai
package:duration
package:dvorak
package:dynamic-state
package:dyre
package:eap
package:Earley
package:easy-file
package:easy-logger
package:easyplot
package:Ebnf2ps
package:ech-config
package:echo
package:ecstasy
package:ed25519
package:ede
package:edit-distance
package:edit-distance-vector
package:editor-open
package:effectful
package:effectful-core
package:effectful-plugin
package:effectful-th
package:egison-pattern-src
package:either
package:either-unwrap
package:ekg
package:ekg-core
package:ekg-json
package:ekg-statsd
package:ekg-wai
package:elerea
package:elf
package:eliminators
package:elm-bridge
package:elm-core-sources
package:elm-export
package:elm-street
package:elm-syntax
package:elm2nix
package:elynx
package:elynx-markov
package:elynx-nexus
package:elynx-seq
package:elynx-tools
package:elynx-tree
package:emacs-module
package:email-validate
package:emd
package:emojis
package:enclosed-exceptions
package:encoding
package:end-of-exe
package:ENIG
package:entropy
package:enum-subset-generate
package:enum-text
package:enummapset
package:enumset
package:envelope
package:envparse
package:envy
package:epub-metadata
package:eq
package:equal-files
package:equational-reasoning
package:equivalence
package:erf
package:errata
package:error
package:error-or
package:error-or-utils
package:errorcall-eq-instance
package:errors
package:errors-ext
package:ersatz
package:esqueleto
package:essence-of-live-coding
package:essence-of-live-coding-gloss
package:essence-of-live-coding-pulse
package:essence-of-live-coding-quickcheck
package:essence-of-live-coding-warp
package:event-list
package:every
package:evm-opcodes
package:exact-combinatorics
package:exact-pi
package:exception-hierarchy
package:exception-mtl
package:exception-transformers
package:exceptions
package:executable-hash
package:executable-path
package:exinst
package:exit-codes
package:exomizer
package:exon
package:exp-pairs
package:expiring-cache-map
package:explainable-predicates
package:explicit-exception
package:express
package:extended-reals
package:extensible
package:extensible-effects
package:extensible-exceptions
package:extra
package:extra-data-yj
package:extractable-singleton
package:extrapolate
package:fail
package:FailT
package:fakedata
package:fakedata-parser
package:fakefs
package:fakepull
package:faktory
package:falsify
package:fast-builder
package:fast-digits
package:fast-logger
package:fast-math
package:fast-myers-diff
package:fbrnch
package:fcf-family
package:fdo-notify
package:feature-flags
package:fedora-krb
package:fedora-releases
package:fedora-repoquery
package:feed
package:FenwickTree
package:fft
package:fftw-ffi
package:fgl
package:fgl-arbitrary
package:fgl-visualize
package:fields-and-cases
package:fields-json
package:file-embed
package:file-embed-lzma
package:file-io
package:file-modules
package:file-path-th
package:filecache
package:filelock
package:filemanip
package:filepath
package:filepath-bytestring
package:filepattern
package:fileplow
package:filter-logger
package:filtrable
package:fin
package:FindBin
package:fingertree
package:finite-typelits
package:first-class-families
package:fits-parse
package:fitspec
package:fix-whitespace
package:fixed
package:fixed-generic
package:fixed-length
package:fixed-vector
package:fixed-vector-hetero
package:flac
package:flac-picture
package:flags-applicative
package:flat
package:flatparse
package:flay
package:flexible-defaults
package:FloatingHex
package:floatshow
package:flow
package:flush-queue
package:fmlist
package:fmt
package:fn
package:focus
package:focuslist
package:fold-debounce
package:fold-debounce-conduit
package:foldable1-classes-compat
package:foldl
package:folds
package:FontyFruity
package:force-layout
package:foreign-store
package:ForestStructures
package:forkable-monad
package:forma
package:format-numbers
package:formatn
package:formatting
package:fortran-src
package:foundation
package:fourmolu
package:Frames
package:free
package:free-alacarte
package:free-categories
package:free-foil
package:free-vl
package:freenect
package:freer-par-monad
package:freer-simple
package:freetype2
package:friendly-time
package:frisby
package:from-sum
package:frontmatter
package:fsnotify
package:ftp-client
package:funcmp
package:function-builder
package:functor-classes-compat
package:functor-combinators
package:functor-products
package:fused-effects
package:fusion-plugin
package:fusion-plugin-types
package:fuzzcheck
package:fuzzy
package:fuzzy-dates
package:fuzzy-time
package:fuzzyset
package:gauge
package:gd
package:gdp
package:gemini-exports
package:general-games
package:generic-aeson
package:generic-arbitrary
package:generic-case
package:generic-constraints
package:generic-data
package:generic-data-functions
package:generic-data-surgery
package:generic-deriving
package:generic-enumeration
package:generic-functor
package:generic-lens
package:generic-lens-core
package:generic-lexicographic-order
package:generic-monoid
package:generic-optics
package:generic-random
package:generic-type-asserts
package:generic-type-functions
package:generically
package:GenericPretty
package:generics-eot
package:generics-sop
package:generics-sop-lens
package:geniplate-mirror
package:genvalidity
package:genvalidity-aeson
package:genvalidity-appendful
package:genvalidity-bytestring
package:genvalidity-case-insensitive
package:genvalidity-containers
package:genvalidity-criterion
package:genvalidity-hspec
package:genvalidity-hspec-aeson
package:genvalidity-hspec-binary
package:genvalidity-hspec-cereal
package:genvalidity-hspec-hashable
package:genvalidity-hspec-optics
package:genvalidity-hspec-persistent
package:genvalidity-mergeful
package:genvalidity-mergeless
package:genvalidity-network-uri
package:genvalidity-path
package:genvalidity-persistent
package:genvalidity-property
package:genvalidity-scientific
package:genvalidity-sydtest
package:genvalidity-sydtest-aeson
package:genvalidity-sydtest-hashable
package:genvalidity-sydtest-lens
package:genvalidity-sydtest-persistent
package:genvalidity-text
package:genvalidity-time
package:genvalidity-typed-uuid
package:genvalidity-unordered-containers
package:genvalidity-uuid
package:genvalidity-vector
package:geodetics
package:geoip2
package:getopt-generics
package:ghc
package:ghc-bignum
package:ghc-bignum-orphans
package:ghc-boot
package:ghc-boot-th
package:ghc-byteorder
package:ghc-check
package:ghc-compact
package:ghc-core
package:ghc-events
package:ghc-exactprint
package:ghc-experimental
package:ghc-heap
package:ghc-hs-meta
package:ghc-internal
package:ghc-lib
package:ghc-lib-parser
package:ghc-lib-parser-ex
package:ghc-parser
package:ghc-paths
package:ghc-prim
package:ghc-source-gen
package:ghc-syntax-highlighter
package:ghc-tcplugins-extra
package:ghc-trace-events
package:ghc-typelits-extra
package:ghc-typelits-knownnat
package:ghc-typelits-natnormalise
package:ghc-typelits-presburger
package:ghci-hexcalc
package:ghcid
package:ghcjs-codemirror
package:ghcjs-dom
package:ghcjs-dom-jsaddle
package:ghcjs-perch
package:ghost-buster
package:ghostscript-parallel
package:gi-atk
package:gi-cairo
package:gi-cairo-connector
package:gi-cairo-render
package:gi-dbusmenu
package:gi-dbusmenugtk3
package:gi-freetype2
package:gi-gdk
package:gi-gdk3
package:gi-gdk4
package:gi-gdkpixbuf
package:gi-gdkx11
package:gi-gdkx113
package:gi-gdkx114
package:gi-gio
package:gi-glib
package:gi-gmodule
package:gi-gobject
package:gi-graphene
package:gi-gsk
package:gi-gtk
package:gi-gtk-hs
package:gi-gtk3
package:gi-gtk4
package:gi-gtksource
package:gi-gtksource3
package:gi-gtksource5
package:gi-harfbuzz
package:gi-javascriptcore
package:gi-javascriptcore6
package:gi-pango
package:gi-soup
package:gi-soup2
package:gi-soup3
package:gi-vte
package:gi-xlib
package:ginger
package:gio
package:git-annex
package:git-lfs
package:git-mediate
package:githash
package:github
package:github-release
package:github-rest
package:github-types
package:github-webhooks
package:gitlab-haskell
package:gitlib
package:gitlib-libgit2
package:gitlib-test
package:gitrev
package:gl
package:glabrous
package:glasso
package:GLFW-b
package:glfw-group
package:glib
package:glib-stopgap
package:Glob
package:glob-posix
package:gloss
package:gloss-algorithms
package:gloss-rendering
package:glpk-headers
package:GLURaw
package:GLUT
package:gnuplot
package:gogol
package:gogol-adexchange-buyer
package:gogol-adexchange-seller
package:gogol-admin-datatransfer
package:gogol-admin-directory
package:gogol-admin-reports
package:gogol-adsense
package:gogol-adsense-host
package:gogol-analytics
package:gogol-android-enterprise
package:gogol-android-publisher
package:gogol-appengine
package:gogol-apps-activity
package:gogol-apps-calendar
package:gogol-apps-licensing
package:gogol-apps-reseller
package:gogol-apps-tasks
package:gogol-appstate
package:gogol-bigquery
package:gogol-billing
package:gogol-blogger
package:gogol-books
package:gogol-civicinfo
package:gogol-classroom
package:gogol-cloudtrace
package:gogol-compute
package:gogol-container
package:gogol-core
package:gogol-customsearch
package:gogol-dataflow
package:gogol-dataproc
package:gogol-datastore
package:gogol-debugger
package:gogol-deploymentmanager
package:gogol-dfareporting
package:gogol-discovery
package:gogol-dns
package:gogol-doubleclick-bids
package:gogol-doubleclick-search
package:gogol-drive
package:gogol-firebase-rules
package:gogol-fitness
package:gogol-fonts
package:gogol-fusiontables
package:gogol-games
package:gogol-games-configuration
package:gogol-games-management
package:gogol-genomics
package:gogol-gmail
package:gogol-groups-migration
package:gogol-groups-settings
package:gogol-identity-toolkit
package:gogol-kgsearch
package:gogol-logging
package:gogol-mirror
package:gogol-monitoring
package:gogol-oauth2
package:gogol-pagespeed
package:gogol-partners
package:gogol-people
package:gogol-play-moviespartner
package:gogol-plus
package:gogol-plus-domains
package:gogol-proximitybeacon
package:gogol-pubsub
package:gogol-qpxexpress
package:gogol-replicapool
package:gogol-replicapool-updater
package:gogol-resourcemanager
package:gogol-script
package:gogol-sheets
package:gogol-shopping-content
package:gogol-siteverification
package:gogol-spectrum
package:gogol-sqladmin
package:gogol-storage
package:gogol-storage-transfer
package:gogol-tagmanager
package:gogol-translate
package:gogol-urlshortener
package:gogol-vision
package:gogol-webmaster-tools
package:gogol-youtube
package:gogol-youtube-analytics
package:gogol-youtube-reporting
package:goldplate
package:google-isbn
package:google-oauth2-jwt
package:gopher-proxy
package:gpolyline
package:graph-core
package:graphite
package:graphql
package:graphql-client
package:graphql-spice
package:graphs
package:graphula
package:graphviz
package:gravatar
package:greskell
package:greskell-core
package:greskell-websocket
package:gridtables
package:grisette
package:groom
package:group-by-date
package:groups
package:gtk
package:gtk-sni-tray
package:gtk-strut
package:gtk2hs-buildtools
package:gtk3
package:guarded-allocation
package:hackage-cli
package:hackage-db
package:hackage-revdeps
package:hackage-security
package:hackage-security-HTTP
package:haddock-library
package:haha
package:hakyll
package:hakyll-convert
package:hal
package:half
package:hall-symbols
package:hamlet
package:hamtsolo
package:HandsomeSoup
package:handwriting
package:happstack-jmacro
package:happstack-server
package:happstack-server-tls
package:happy
package:happy-lib
package:happy-meta
package:harpie
package:harpie-numhask
package:has-transformers
package:HasBigDecimal
package:hashable
package:hashids
package:hashmap
package:hashtables
package:haskeline
package:haskell-gi
package:haskell-gi-base
package:haskell-gi-overloading
package:haskell-lexer
package:haskell-src
package:haskell-src-exts
package:haskell-src-exts-simple
package:haskell-src-exts-util
package:haskell-src-meta
package:HaskellNet
package:HaskellNet-SSL
package:haskey-btree
package:haskintex
package:haskoin-core
package:haskoin-node
package:haskoin-store-data
package:hasktags
package:hasql
package:hasql-dynamic-statements
package:hasql-implicits
package:hasql-interpolate
package:hasql-listen-notify
package:hasql-migration
package:hasql-notifications
package:hasql-optparse-applicative
package:hasql-pool
package:hasql-th
package:hasql-transaction
package:hasty-hamiltonian
package:HaTeX
package:haveibeenpwned
package:HaXml
package:haxr
package:Hclip
package:HCodecs
package:hdaemonize
package:HDBC
package:HDBC-session
package:headed-megaparsec
package:heap
package:heaps
package:heatshrink
package:hebrew-time
package:hedgehog
package:hedgehog-classes
package:hedgehog-corpus
package:hedgehog-fakedata
package:hedgehog-fn
package:hedgehog-quickcheck
package:hedis
package:hedn
package:heftia
package:heftia-effects
package:hegg
package:heist
package:here
package:heredoc
package:hetero-parameter-list
package:hetero-parameter-list-with-typelevel-tools
package:heterocephalus
package:hetzner
package:hex
package:hex-text
package:hexml
package:hexml-lens
package:hexpat
package:hformat
package:hfsevents
package:hgal
package:hi-file-parser
package:hidapi
package:hie-bios
package:hindent
package:hinfo
package:hinotify
package:hint
package:histogram-fill
package:hjsmin
package:hkd-default
package:hkgr
package:hledger
package:hledger-iadd
package:hledger-interest
package:hledger-lib
package:hledger-stockquotes
package:hledger-ui
package:hledger-web
package:hlibcpuid
package:hlibgit2
package:hlibsass
package:hlint
package:hmatrix
package:hmatrix-backprop
package:hmatrix-gsl
package:hmatrix-gsl-stats
package:hmatrix-morpheus
package:hmatrix-repa
package:hmatrix-special
package:hmatrix-vector-sized
package:hmm-lapack
package:HMock
package:hmpfr
package:hnix-store-core
package:hoare
package:hoauth2
package:hoogle
package:hoopl
package:hopenssl
package:horizontal-rule
package:hosc
package:hostname
package:hostname-validate
package:hourglass
package:hourglass-orphans
package:hp2pretty
package:hpack
package:hpc
package:hpc-codecov
package:hpc-lcov
package:HPDF
package:hpke
package:hpp
package:hpqtypes
package:hpqtypes-extras
package:hquantlib-time
package:hreader
package:hreader-lens
package:hruby
package:hs-bibutils
package:hs-captcha
package:hs-GeoIP
package:hs-php-session
package:hsass
package:hsc2hs
package:hscolour
package:hsdns
package:hse-cpp
package:hsemail
package:hset
package:HSet
package:hsignal
package:hsini
package:hsinstall
package:HSlippyMap
package:hslogger
package:hslua
package:hslua-aeson
package:hslua-classes
package:hslua-cli
package:hslua-core
package:hslua-list
package:hslua-marshalling
package:hslua-module-doclayout
package:hslua-module-path
package:hslua-module-system
package:hslua-module-text
package:hslua-module-version
package:hslua-module-zip
package:hslua-objectorientation
package:hslua-packaging
package:hslua-repl
package:hslua-typing
package:hsndfile
package:hsndfile-vector
package:HsOpenSSL
package:HsOpenSSL-x509-system
package:hspec
package:hspec-api
package:hspec-attoparsec
package:hspec-checkers
package:hspec-contrib
package:hspec-core
package:hspec-discover
package:hspec-expectations
package:hspec-expectations-json
package:hspec-expectations-lifted
package:hspec-expectations-pretty-diff
package:hspec-golden
package:hspec-golden-aeson
package:hspec-hedgehog
package:hspec-junit-formatter
package:hspec-leancheck
package:hspec-megaparsec
package:hspec-meta
package:hspec-need-env
package:hspec-parsec
package:hspec-smallcheck
package:hspec-tmp-proc
package:hspec-wai
package:hspec-wai-json
package:hspec-webdriver
package:hstatistics
package:HStringTemplate
package:HSvm
package:HsYAML
package:HsYAML-aeson
package:hsyslog
package:htaglib
package:HTF
package:html
package:html-conduit
package:html-email-validate
package:html-entities
package:html-entity-map
package:html-parse
package:HTTP
package:http-api-data
package:http-api-data-qq
package:http-client
package:http-client-openssl
package:http-client-overrides
package:http-client-restricted
package:http-client-tls
package:http-common
package:http-conduit
package:http-date
package:http-directory
package:http-download
package:http-io-streams
package:http-link-header
package:http-media
package:http-query
package:http-reverse-proxy
package:http-semantics
package:http-streams
package:http-types
package:http2
package:httpd-shed
package:human-readable-duration
package:HUnit
package:HUnit-approx
package:hunit-dejafu
package:hvect
package:hvega
package:hw-bits
package:hw-conduit-merges
package:hw-diagnostics
package:hw-excess
package:hw-hedgehog
package:hw-int
package:hw-json-simd
package:hw-kafka-client
package:hw-mquery
package:hw-parser
package:hw-prim
package:hw-rankselect-base
package:hw-streams
package:hw-string-parse
package:hweblib
package:hwk
package:hxt
package:hxt-charproperties
package:hxt-css
package:hxt-curl
package:hxt-expat
package:hxt-http
package:hxt-regex-xmlschema
package:hxt-tagsoup
package:hxt-unicode
package:hxt-xpath
package:hybrid-vectors
package:hyper
package:hyperbole
package:hyperloglog
package:hyphenation
package:iconv
package:identicon
package:ieee754
package:if
package:IfElse
package:iff
package:ihaskell
package:ihaskell-hvega
package:ihs
package:ilist
package:imagesize-conduit
package:Imlib
package:immortal
package:immortal-queue
package:imp
package:ImpSpec
package:inbox
package:incipit-base
package:incipit-core
package:include-file
package:incremental
package:incremental-parser
package:indents
package:indexed
package:indexed-containers
package:indexed-list-literals
package:indexed-profunctors
package:indexed-transformers
package:indexed-traversable
package:indexed-traversable-instances
package:inf-backprop
package:infer-license
package:infinite-list
package:influxdb
package:ini
package:inj
package:inline-c
package:inline-c-cpp
package:input-parsers
package:insert-ordered-containers
package:inspection-testing
package:int-cast
package:int-supply
package:integer-conversion
package:integer-gmp
package:integer-logarithms
package:integer-roots
package:integer-types
package:integration
package:intermediate-structures
package:intern
package:interpolate
package:interpolatedstring-perl6
package:interpolation
package:Interpolation
package:IntervalMap
package:intervals
package:intset-imperative
package:invariant
package:invertible
package:invertible-grammar
package:io-embed
package:io-machine
package:io-manager
package:io-memoize
package:io-region
package:io-storage
package:io-streams
package:io-streams-haproxy
package:ip
package:ip6addr
package:iproute
package:IPv6Addr
package:IPv6DB
package:ipynb
package:ipython-kernel
package:irc
package:irc-ctcp
package:iri
package:isbn
package:islink
package:iso3166-country-codes
package:iso639
package:iso8601-time
package:isocline
package:isomorphism-class
package:ix-shapable
package:jack
package:jailbreak-cabal
package:jalaali
package:java-adt
package:jira-wiki-markup
package:jmacro
package:jose
package:jose-jwt
package:journalctl-stream
package:js-chart
package:js-dgtable
package:js-flot
package:js-jquery
package:jsaddle
package:jsaddle-dom
package:jsaddle-warp
package:json
package:json-feed
package:json-rpc
package:json-spec
package:json-spec-elm
package:json-spec-elm-servant
package:json-spec-openapi
package:json-stream
package:jsonifier
package:jsonpath
package:JuicyCairo
package:JuicyPixels
package:JuicyPixels-extra
package:JuicyPixels-scale-dct
package:junit-xml
package:justified-containers
package:kan-extensions
package:kansas-comet
package:katip
package:katip-logstash
package:katip-wai
package:kazura-queue
package:kdt
package:keep-alive
package:keter
package:keuringsdienst
package:keycode
package:keyed-vals
package:keyed-vals-hspec-tests
package:keyed-vals-mem
package:keyed-vals-redis
package:keys
package:ki
package:ki-unlifted
package:kind-apply
package:kind-generics
package:kmeans
package:knob
package:koji
package:koji-tool
package:kvitable
package:labels
package:lackey
package:lambdabot-core
package:lambdabot-irc-plugins
package:LambdaHack
package:lame
package:language-avro
package:language-bash
package:language-c
package:language-c-quote
package:language-c99
package:language-c99-simple
package:language-c99-util
package:language-docker
package:language-dot
package:language-glsl
package:language-java
package:language-javascript
package:language-lua
package:language-nix
package:language-protobuf
package:language-thrift
package:lapack
package:lapack-carray
package:lapack-comfort-array
package:lapack-ffi
package:lapack-ffi-tools
package:lapack-hmatrix
package:large-hashable
package:largeword
package:latex
package:lattices
package:lawful
package:lawful-conversions
package:lazy-csv
package:lazyio
package:lazyppl
package:lazysmallcheck
package:lca
package:leancheck
package:leancheck-instances
package:leapseconds-announced
package:learn-physics
package:leb128-cereal
package:lens
package:lens-action
package:lens-aeson
package:lens-csv
package:lens-family
package:lens-family-core
package:lens-family-th
package:lens-misc
package:lens-properties
package:lens-regex
package:lens-regex-pcre
package:lentil
package:LetsBeRational
package:leveldb-haskell
package:lexer-applicative
package:libBF
package:libffi
package:libmpd
package:liboath-hs
package:libsodium-bindings
package:libyaml
package:libyaml-clib
package:lift-generics
package:lift-type
package:lifted-async
package:lifted-base
package:lifted-threads
package:linear
package:linear-base
package:linear-circuit
package:linear-generics
package:linear-geo
package:linear-programming
package:linebreak
package:linux-capabilities
package:linux-file-extents
package:linux-namespaces
package:List
package:list-predicate
package:list-shuffle
package:list-t
package:list-transformer
package:list-witnesses
package:ListLike
package:lists-flines
package:listsafe
package:ListTree
package:ListZipper
package:literatex
package:lmdb
package:load-env
package:locators
package:loch-th
package:lockfree-queue
package:log-base
package:log-domain
package:logfloat
package:logger-thread
package:logging
package:logging-effect
package:logging-facade
package:logging-facade-syslog
package:logict
package:logstash
package:loop
package:lpeg
package:LPFP
package:LPFP-core
package:lr-acts
package:lrucache
package:lrucaching
package:lsfrom
package:lsp
package:lsp-test
package:lsp-types
package:lsql-csv
package:lua
package:lua-arbitrary
package:lucid
package:lucid-cdn
package:lucid-extras
package:lucid2
package:lukko
package:lumberjack
package:lz4
package:lz4-frame-conduit
package:lzma
package:lzma-clib
package:machines
package:magic
package:magico
package:mail-pool
package:mailtrap
package:main-tester
package:mainland-pretty
package:managed
package:mandrill
package:manifolds-core
package:Mantissa
package:map-syntax
package:mappings
package:markdown
package:markdown-unlit
package:markov-chain
package:markov-chain-usage-model
package:markup-parse
package:massiv
package:massiv-io
package:massiv-serialise
package:massiv-test
package:matchable
package:math-extras
package:math-functions
package:mathexpr
package:mathlist
package:matplotlib
package:matrices
package:matrix
package:matrix-as-xyz
package:matrix-market-attoparsec
package:matrix-static
package:maximal-cliques
package:mbox-utility
package:mcmc
package:mcmc-types
package:mcp-server
package:mealy
package:med-module
package:median-stream
package:megaparsec
package:megaparsec-tests
package:melf
package:mem-info
package:membership
package:memcache
package:memory
package:MemoTrie
package:mempack
package:mergeful
package:mergeful-persistent
package:mergeless
package:mergeless-persistent
package:merkle-tree
package:mersenne-random
package:mersenne-random-pure64
package:messagepack
package:metrics
package:mfsolve
package:microaeson
package:microlens
package:microlens-aeson
package:microlens-contra
package:microlens-ghc
package:microlens-mtl
package:microlens-platform
package:microlens-th
package:microspec
package:microstache
package:midair
package:midi
package:midi-alsa
package:midi-music-box
package:mighty-metropolis
package:mime-mail
package:mime-mail-ses
package:mime-types
package:min-max-pqueue
package:minimal-configuration
package:minimorph
package:minisat
package:minisat-solver
package:miniterion
package:miniutter
package:minmax
package:mintty
package:misfortune
package:miso
package:missing-foreign
package:MissingH
package:mixed-types-num
package:mmap
package:mmark
package:mmark-cli
package:mmark-ext
package:mmorph
package:mmsyn2-array
package:mmsyn7l
package:mmsyn7ukr-array
package:mmsyn7ukr-common
package:mnist-idx
package:mnist-idx-conduit
package:mockcat
package:mockery
package:mod
package:modern-uri
package:modular
package:moffy
package:moffy-samples
package:moffy-samples-events
package:moffy-samples-gtk3
package:moffy-samples-gtk3-run
package:monad-bayes
package:monad-chronicle
package:monad-control
package:monad-control-aligned
package:monad-control-identity
package:monad-coroutine
package:monad-extras
package:monad-interleave
package:monad-logger
package:monad-logger-aeson
package:monad-logger-extras
package:monad-logger-json
package:monad-logger-logstash
package:monad-logger-syslog
package:monad-loops
package:monad-memo
package:monad-metrics
package:monad-par
package:monad-par-extras
package:monad-parallel
package:monad-peel
package:monad-resumption
package:monad-schedule
package:monad-st
package:monad-time
package:monadlist
package:monadoid
package:monadology
package:MonadPrompt
package:MonadRandom
package:monads-tf
package:mongoDB
package:mono-traversable
package:mono-traversable-instances
package:mono-traversable-keys
package:monoid-extras
package:monoid-insertleft
package:monoid-map
package:monoid-subclasses
package:monoid-transformer
package:monoidal-containers
package:monoidal-functors
package:monoidmap
package:monoidmap-aeson
package:monoidmap-examples
package:monoidmap-internal
package:monoidmap-quickcheck
package:more-containers
package:morpheus-graphql
package:morpheus-graphql-app
package:morpheus-graphql-client
package:morpheus-graphql-code-gen
package:morpheus-graphql-code-gen-utils
package:morpheus-graphql-core
package:morpheus-graphql-server
package:morpheus-graphql-subscriptions
package:moss
package:mountpoints
package:mpi-hs
package:mpi-hs-binary
package:mpi-hs-cereal
package:msgpack
package:mstate
package:mt19937
package:mtl
package:mtl-compat
package:mtl-misc-yj
package:mtl-prelude
package:multi-containers
package:multiarg
package:multimap
package:multipart
package:MultipletCombiner
package:multiset
package:multistate
package:murmur-hash
package:murmur3
package:MusicBrainz
package:mustache
package:mutable-containers
package:mwc-probability
package:mwc-random
package:mx-state-codes
package:myers-diff
package:mysql
package:mysql-haskell
package:mysql-haskell-nem
package:mysql-json-table
package:mysql-simple
package:n-tuple
package:n2o
package:n2o-nitro
package:nagios-check
package:named
package:named-text
package:names-th
package:nano-erl
package:NanoID
package:nanospec
package:nanovg
package:nats
package:natural-arithmetic
package:natural-induction
package:natural-sort
package:natural-transformation
package:neat-interpolation
package:nerd-font-icons
package:netcode-io
package:netlib-carray
package:netlib-comfort-array
package:netlib-ffi
package:netpbm
package:netrc
package:nettle
package:netwire
package:netwire-input
package:netwire-input-glfw
package:network
package:network-bsd
package:network-byte-order
package:network-conduit-tls
package:network-control
package:network-house
package:network-info
package:network-ip
package:network-messagepack-rpc
package:network-multicast
package:network-run
package:network-simple
package:network-simple-tls
package:network-transport
package:network-transport-inmemory
package:network-transport-tcp
package:network-transport-tests
package:network-uri
package:network-wait
package:newtype
package:newtype-generics
package:nfc
package:nicify-lib
package:NineP
package:nix-derivation
package:nix-narinfo
package:nix-paths
package:no-recursion
package:no-value
package:NoHoed
package:non-empty
package:non-empty-sequence
package:non-empty-text
package:non-negative
package:nonce
package:nondeterminism
package:nonempty-containers
package:nonempty-vector
package:nonempty-zipper
package:normaldistribution
package:nothunks
package:nowdoc
package:nqe
package:nsis
package:numbers
package:numeric-extras
package:numeric-limits
package:numeric-prelude
package:numeric-quest
package:numhask
package:numhask-array
package:numhask-space
package:NumInstances
package:numtype-dk
package:nuxeo
package:nvim-hs
package:nvim-hs-contrib
package:nvim-hs-ghcid
package:nvvm
package:o-clock
package:ObjectName
package:oblivious-transfer
package:odbc
package:ods2csv
package:oeis
package:oeis2
package:ofx
package:ogma-cli
package:ogma-core
package:ogma-extra
package:ogma-language-c
package:ogma-language-copilot
package:ogma-language-csv
package:ogma-language-jsonspec
package:ogma-language-lustre
package:ogma-language-smv
package:ogma-language-xlsx
package:ogma-language-xmlspec
package:ogma-spec
package:old-locale
package:old-time
package:ollama-haskell
package:om-doh
package:om-elm
package:om-fail
package:om-fork
package:om-http
package:om-logging
package:om-show
package:om-time
package:once
package:one-liner
package:one-liner-instances
package:OneTuple
package:Only
package:oo-prototypes
package:oops
package:opaleye
package:open-browser
package:open-witness
package:OpenAL
package:openapi3
package:openexr-write
package:OpenGL
package:OpenGLRaw
package:openpgp-asciiarmor
package:opensource
package:openssl-streams
package:opentelemetry
package:opentelemetry-extra
package:opentelemetry-lightstep
package:opentelemetry-wai
package:operational
package:opml-conduit
package:opt-env-conf
package:optics
package:optics-core
package:optics-extra
package:optics-operators
package:optics-th
package:optics-vl
package:optima
package:optional-args
package:options
package:optparse-applicative
package:optparse-enum
package:optparse-generic
package:optparse-simple
package:optparse-text
package:ordered-containers
package:OrderedBits
package:ormolu
package:os-string
package:overhang
package:packcheck
package:pager
package:pagination
package:pagure
package:pagure-cli
package:palette
package:pandoc
package:pandoc-cli
package:pandoc-lua-engine
package:pandoc-lua-marshal
package:pandoc-plot
package:pandoc-server
package:pandoc-throw
package:pandoc-types
package:pango
package:panic
package:pantry
package:parallel
package:parallel-io
package:parameterized
package:parameterized-utils
package:paramtree
package:park-bench
package:parseargs
package:parsec
package:parsec-class
package:parsec-numbers
package:parsec-numeric
package:ParsecTools
package:parser-combinators
package:parser-combinators-tests
package:parser-regex
package:parsers
package:partial-handler
package:partial-isomorphisms
package:partial-order
package:partialord
package:password
package:password-instances
package:password-types
package:patch
package:path
package:path-binary-instance
package:path-dhall-instance
package:path-extensions
package:path-extra
package:path-io
package:path-like
package:path-pieces
package:path-utils
package:pathtype
package:pathwalk
package:patience
package:patrol
package:pava
package:pcg-random
package:pcre-heavy
package:pcre-light
package:pcre-utils
package:pcre2
package:pdc
package:pdf-toolbox-content
package:pdf-toolbox-core
package:pdf-toolbox-document
package:peano
package:pedersen-commitment
package:pem
package:percent-format
package:perf
package:perfect-hash-generator
package:persistable-record
package:persistable-types-HDBC-pg
package:persistent
package:persistent-discover
package:persistent-documentation
package:persistent-lens
package:persistent-mongoDB
package:persistent-mtl
package:persistent-mysql
package:persistent-pagination
package:persistent-postgresql
package:persistent-qq
package:persistent-redis
package:persistent-sqlite
package:persistent-template
package:persistent-test
package:persistent-typed-db
package:pfile
package:pg-harness-client
package:pg-transact
package:phantom-state
package:phatsort
package:pid1
package:pinch
package:pinecone
package:pipes
package:pipes-aeson
package:pipes-attoparsec
package:pipes-binary
package:pipes-bytestring
package:pipes-concurrency
package:pipes-csv
package:pipes-extras
package:pipes-fastx
package:pipes-fluid
package:pipes-group
package:pipes-http
package:pipes-mongodb
package:pipes-ordered-zip
package:pipes-parse
package:pipes-random
package:pipes-safe
package:pipes-wai
package:pipes-zlib
package:pkgtreediff
package:place-cursor-at
package:placeholders
package:plaid
package:plot
package:plotlyhs
package:Plural
package:pointed
package:pointedlist
package:pointless-fun
package:poll
package:poly
package:poly-arity
package:polynomials-bernstein
package:polyparse
package:polysemy
package:polysemy-fs
package:polysemy-plugin
package:polysemy-webserver
package:pontarius-xmpp
package:pontarius-xmpp-extras
package:pooled-io
package:port-utils
package:portable-lines
package:posix-paths
package:posix-pty
package:possibly
package:post-mess-age
package:postgres-options
package:postgresql-binary
package:postgresql-libpq
package:postgresql-libpq-configure
package:postgresql-libpq-notify
package:postgresql-migration
package:postgresql-schema
package:postgresql-simple
package:postgresql-simple-url
package:postgresql-syntax
package:postgresql-typed
package:pptable
package:pqueue
package:prairie
package:pred-set
package:prefix-units
package:prelude-compat
package:prelude-safeenum
package:pretty
package:pretty-class
package:pretty-hex
package:pretty-relative-time
package:pretty-show
package:pretty-simple
package:pretty-sop
package:pretty-terminal
package:prettychart
package:prettyclass
package:prettyprinter
package:prettyprinter-ansi-terminal
package:prettyprinter-combinators
package:prettyprinter-compat-annotated-wl-pprint
package:prettyprinter-compat-ansi-wl-pprint
package:prettyprinter-compat-wl-pprint
package:prettyprinter-interp
package:prim-uniq
package:primecount
package:primes
package:primitive
package:primitive-addr
package:primitive-extras
package:primitive-offset
package:primitive-serial
package:primitive-unaligned
package:primitive-unlifted
package:print-console-colors
package:probability
package:probability-polynomial
package:process
package:process-extras
package:product-isomorphic
package:product-profunctors
package:profunctors
package:project-template
package:projectroot
package:prometheus
package:prometheus-client
package:prometheus-metrics-ghc
package:promises
package:prompt-hs
package:prospect
package:proto-lens
package:proto-lens-arbitrary
package:proto-lens-optparse
package:proto-lens-protobuf-types
package:proto-lens-protoc
package:proto-lens-runtime
package:proto-lens-setup
package:protobuf
package:protobuf-simple
package:protocol-radius
package:protocol-radius-test
package:protolude
package:proxied
package:pseudo-boolean
package:psql-helpers
package:PSQueue
package:psqueues
package:pthread
package:ptr
package:ptr-poker
package:pulse-simple
package:pureMD5
package:puresat
package:purescript-bridge
package:pusher-http-haskell
package:pvar
package:pwstore-fast
package:PyF
package:qchas
package:quaalude
package:quadratic-irrational
package:quantizer
package:QuasiText
package:queue-sheet
package:queues
package:quickbench
package:QuickCheck
package:quickcheck-arbitrary-adt
package:quickcheck-assertions
package:quickcheck-classes
package:quickcheck-classes-base
package:quickcheck-dynamic
package:quickcheck-groups
package:quickcheck-higherorder
package:quickcheck-instances
package:quickcheck-io
package:quickcheck-monoid-subclasses
package:quickcheck-quid
package:quickcheck-simple
package:quickcheck-special
package:quickcheck-state-machine
package:quickcheck-text
package:quickcheck-transformer
package:quickcheck-unicode
package:quicklz
package:quiet
package:quote-quot
package:radius
package:radix-tree
package:rainbow
package:rainbox
package:ral
package:rampart
package:ramus
package:rando
package:random
package:random-bytestring
package:random-fu
package:random-shuffle
package:random-tree
package:range
package:range-set-list
package:ranged-list
package:Ranged-sets
package:ranges
package:rank1dynamic
package:rank2classes
package:Rasterific
package:rasterific-svg
package:rate-limit
package:ratel
package:ratel-wai
package:ratio-int
package:rattle
package:rattletrap
package:Rattus
package:raw-strings-qq
package:rawfilepath
package:rawstring-qm
package:rcu
package:rdf
package:rdtsc
package:re2
package:reactive-balsa
package:reactive-banana
package:reactive-banana-bunch
package:reactive-jack
package:reactive-midyim
package:read-editor
package:read-env-var
package:readable
package:real-dice
package:rebase
package:rec-def
package:record-dot-preprocessor
package:record-hasfield
package:recover-rtti
package:recursion-schemes
package:recv
package:redact
package:reddit-scrape
package:redis-glob
package:redis-resp
package:reducers
package:ref-fd
package:ref-tf
package:refact
package:refined
package:refined-containers
package:reflection
package:reflex
package:reflex-dom-core
package:reflex-fsnotify
package:reflex-gadt-api
package:RefSerialize
package:regex
package:regex-applicative
package:regex-base
package:regex-compat
package:regex-pcre
package:regex-pcre-builtin
package:regex-posix
package:regex-posix-clib
package:regex-tdfa
package:regex-with-pcre
package:registry
package:registry-aeson
package:registry-hedgehog
package:registry-hedgehog-aeson
package:regression-simple
package:reinterpret-cast
package:relapse
package:relational-query
package:relational-query-HDBC
package:relational-record
package:relational-schemas
package:reliable-io
package:relude
package:renderable
package:reorder-expression
package:repa
package:repa-algorithms
package:repa-io
package:replace-attoparsec
package:replace-megaparsec
package:repline
package:req
package:req-conduit
package:rerebase
package:rerefined
package:reroute
package:resistor-cube
package:resolv
package:resource-pool
package:resourcet
package:rest-rewrite
package:result
package:retry
package:rev-scientific
package:rev-state
package:rex
package:rfc1751
package:rfc5051
package:rg
package:rhbzquery
package:rhine
package:rhine-bayes
package:rhine-gloss
package:rhine-terminal
package:rhythmic-sequences
package:riak-protobuf
package:richenv
package:rio
package:rio-orphans
package:rio-prettyprint
package:rng-utils
package:roc-id
package:rocksdb-haskell
package:rocksdb-haskell-jprupp
package:rocksdb-query
package:roles
package:rollbar
package:rope-utf16-splay
package:rosezipper
package:rot13
package:RoundingFiasco
package:row-types
package:rp-tree
package:rpm-nvr
package:rpmbuild-order
package:rrb-vector
package:RSA
package:rss
package:rss-conduit
package:run-haskell-module
package:run-st
package:runmemo
package:rvar
package:rzk
package:s-cargot
package:s3-signer
package:safe
package:safe-coloured-text
package:safe-coloured-text-gen
package:safe-coloured-text-layout
package:safe-coloured-text-layout-gen
package:safe-coloured-text-terminfo
package:safe-decimal
package:safe-exceptions
package:safe-foldable
package:safe-gen
package:safe-json
package:safe-money
package:safecopy
package:safeio
package:SafeSemaphore
package:saltine
package:salve
package:sample-frame
package:sample-frame-np
package:sampling
package:samsort
package:sandi
package:sandwich
package:sandwich-contexts
package:sandwich-hedgehog
package:sandwich-quickcheck
package:sandwich-slack
package:sandwich-webdriver
package:saturn
package:say
package:sayable
package:sbp
package:sbv
package:scalpel
package:scalpel-core
package:scanf
package:scanner
package:scheduler
package:SciBaseTypes
package:scientific
package:scientist
package:scotty
package:scrypt
package:sdl2
package:sdl2-gfx
package:sdl2-image
package:sdl2-mixer
package:sdl2-ttf
package:search-algorithms
package:secp256k1-haskell
package:securemem
package:sel
package:select-rpms
package:selections
package:selective
package:semaphore-compat
package:semialign
package:semigroupoids
package:semigroups
package:semiring-simple
package:semirings
package:semver
package:sendfile
package:sendgrid-v3
package:seqalign
package:seqid
package:seqid-streams
package:sequence-formats
package:sequenceTools
package:serialise
package:servant
package:servant-auth
package:servant-auth-client
package:servant-auth-docs
package:servant-auth-server
package:servant-auth-swagger
package:servant-blaze
package:servant-checked-exceptions
package:servant-checked-exceptions-core
package:servant-cli
package:servant-client
package:servant-client-core
package:servant-conduit
package:servant-docs
package:servant-elm
package:servant-exceptions
package:servant-exceptions-server
package:servant-foreign
package:servant-http-streams
package:servant-JuicyPixels
package:servant-lucid
package:servant-machines
package:servant-multipart
package:servant-multipart-api
package:servant-multipart-client
package:servant-openapi3
package:servant-pipes
package:servant-quickcheck
package:servant-rate-limit
package:servant-rawm
package:servant-server
package:servant-static-th
package:servant-swagger
package:servant-swagger-ui
package:servant-swagger-ui-core
package:servant-swagger-ui-redoc
package:servant-websockets
package:servant-xml
package:serversession
package:serversession-backend-acid-state
package:serversession-backend-persistent
package:serversession-backend-redis
package:serversession-frontend-wai
package:serversession-frontend-yesod
package:servius
package:ses-html
package:set-cover
package:set-monad
package:setenv
package:setlocale
package:sexp-grammar
package:SHA
package:shake
package:shake-plus
package:shakespeare
package:shakespeare-text
package:shared-memory
package:shell-conduit
package:shell-escape
package:shell-utility
package:ShellCheck
package:shellify
package:shellmet
package:shelltestrunner
package:shellwords
package:shelly
package:should-not-typecheck
package:show-combinators
package:shower
package:siggy-chardust
package:signal
package:silently
package:simple
package:simple-affine-space
package:simple-cabal
package:simple-cairo
package:simple-cmd
package:simple-cmd-args
package:simple-expr
package:simple-media-timestamp
package:simple-media-timestamp-attoparsec
package:simple-pango
package:simple-prompt
package:simple-reflect
package:simple-sendfile
package:simple-session
package:simple-templates
package:simple-vec3
package:since
package:singleraeh
package:singleton-bool
package:singleton-nats
package:singletons
package:singletons-base
package:singletons-presburger
package:singletons-th
package:Sit
package:sitemap-gen
package:size-based
package:sized
package:skein
package:skeletest
package:skews
package:skip-var
package:skylighting
package:skylighting-core
package:skylighting-format-ansi
package:skylighting-format-blaze-html
package:skylighting-format-context
package:skylighting-format-latex
package:skylighting-format-typst
package:slack-web
package:slave-thread
package:slick
package:slist
package:slynx
package:smallcheck
package:smith
package:smtp-mail
package:snap
package:snap-blaze
package:snap-core
package:snap-server
package:snappy
package:snowflake
package:socket
package:socks
package:solana-staking-csvs
package:some
package:some-dict-of
package:sop-core
package:sort
package:sorted-list
package:sound-collage
package:sourcemap
package:sox
package:soxlib
package:spacecookie
package:spdx
package:special-values
package:speculate
package:specup
package:speedy-slice
package:sphinx
package:Spintax
package:splice
package:split
package:split-record
package:splitmix
package:splitmix-distributions
package:Spock-api
package:spoon
package:spreadsheet
package:sqids
package:sql-words
package:sqlite-simple
package:squeather
package:srcloc
package:srtree
package:stache
package:stack
package:stack-all
package:stack-clean-old
package:stack-templatizer
package:stamina
package:state-codes
package:stateref
package:statestack
package:StateVar
package:stateWriter
package:static-bytes
package:static-text
package:statistics
package:statistics-linreg
package:statsd-rupp
package:status-notifier-item
package:step-function
package:stitch
package:stm
package:stm-chans
package:stm-conduit
package:stm-containers
package:stm-delay
package:stm-extras
package:stm-hamt
package:stm-split
package:stm-supply
package:STMonadTrans
package:storable-complex
package:storable-endian
package:storable-generic
package:storable-hetero-list
package:storable-peek-poke
package:storable-record
package:storable-tuple
package:storablevector
package:store
package:store-core
package:store-streaming
package:stratosphere
package:Stream
package:streaming
package:streaming-attoparsec
package:streaming-binary
package:streaming-bytestring
package:streaming-commons
package:streaming-wai
package:streamly
package:streamly-bytestring
package:streamly-core
package:streamly-process
package:streams
package:strict
package:strict-base-types
package:strict-concurrency
package:strict-lens
package:strict-list
package:strict-mutable-base
package:strict-tuple
package:strict-wrapper
package:string-class
package:string-combinators
package:string-conv
package:string-conversions
package:string-interpolate
package:string-qq
package:string-random
package:string-transform
package:string-variants
package:stringable
package:stringbuilder
package:stringprep
package:stringsearch
package:strive
package:strongweak
package:structs
package:structured
package:stylish-haskell
package:subcategories
package:sundown
package:svg-builder
package:svg-tree
package:SVGFonts
package:swagger2
package:swish
package:swizzle
package:swizzle-lens
package:swizzle-modify
package:swizzle-set
package:syb
package:sydtest
package:sydtest-aeson
package:sydtest-amqp
package:sydtest-autodocodec
package:sydtest-discover
package:sydtest-hedgehog
package:sydtest-hedis
package:sydtest-hspec
package:sydtest-mongo
package:sydtest-persistent
package:sydtest-persistent-sqlite
package:sydtest-process
package:sydtest-rabbitmq
package:sydtest-servant
package:sydtest-typed-process
package:sydtest-wai
package:sydtest-webdriver
package:sydtest-webdriver-screenshot
package:sydtest-webdriver-yesod
package:sydtest-yesod
package:symbol
package:symbolize
package:symengine
package:symmetry-operations-symbols
package:symparsec
package:synthesizer-alsa
package:synthesizer-core
package:synthesizer-dimensional
package:synthesizer-midi
package:sysinfo
package:system-argv0
package:system-fileio
package:system-filepath
package:system-info
package:system-linux-proc
package:systemd
package:table-layout
package:tabular
package:tagchup
package:tagged
package:tagged-binary
package:tagged-identity
package:tagged-transformer
package:tagsoup
package:tagstream-conduit
package:tao
package:tao-example
package:tar
package:tar-conduit
package:tardis
package:tasty
package:tasty-ant-xml
package:tasty-autocollect
package:tasty-bench
package:tasty-bench-fit
package:tasty-checklist
package:tasty-dejafu
package:tasty-discover
package:tasty-expected-failure
package:tasty-fail-fast
package:tasty-focus
package:tasty-golden
package:tasty-hedgehog
package:tasty-hslua
package:tasty-hspec
package:tasty-html
package:tasty-hunit
package:tasty-inspection-testing
package:tasty-kat
package:tasty-leancheck
package:tasty-lua
package:tasty-papi
package:tasty-program
package:tasty-quickcheck
package:tasty-rerun
package:tasty-silver
package:tasty-smallcheck
package:tasty-sugar
package:tasty-tap
package:tasty-th
package:tasty-wai
package:TCache
package:tce-conf
package:tdigest
package:teardown
package:telegram-bot-api
package:telegram-bot-simple
package:tempgres-client
package:template
package:template-haskell
package:template-haskell-compat-v0208
package:temporary
package:temporary-rc
package:temporary-resourcet
package:tensorflow-test
package:tensort
package:termbox
package:termbox-banana
package:termbox-bindings-c
package:termbox-bindings-hs
package:termbox-tea
package:terminal
package:terminal-progress-bar
package:terminal-size
package:terminfo
package:termonad
package:test-certs
package:test-framework
package:test-framework-hunit
package:test-framework-leancheck
package:test-framework-quickcheck2
package:test-framework-smallcheck
package:test-fun
package:testing-feat
package:testing-type-modifiers
package:texmath
package:text
package:text-ansi
package:text-binary
package:text-builder
package:text-builder-core
package:text-builder-dev
package:text-builder-linear
package:text-conversions
package:text-convert
package:text-display
package:text-encode
package:text-icu
package:text-iso8601
package:text-latin1
package:text-ldap
package:text-manipulate
package:text-metrics
package:text-misc-yj
package:text-postgresql
package:text-printer
package:text-regex-replace
package:text-rope
package:text-short
package:text-show
package:text-show-instances
package:text-zipper
package:textlocal
package:tf-random
package:tfp
package:th-abstraction
package:th-bang-compat
package:th-compat
package:th-constraint-compat
package:th-data-compat
package:th-deepstrict
package:th-desugar
package:th-env
package:th-expand-syns
package:th-extras
package:th-lego
package:th-lift
package:th-lift-instances
package:th-nowq
package:th-orphans
package:th-printf
package:th-reify-compat
package:th-reify-many
package:th-strict-compat
package:th-test-utils
package:th-utilities
package:these
package:these-lens
package:these-optics
package:these-skinny
package:thread-hierarchy
package:thread-local-storage
package:thread-supervisor
package:threads
package:threads-extras
package:threepenny-gui
package:thyme
package:tidal
package:tidal-core
package:tidal-link
package:tile
package:time
package:time-compat
package:time-domain
package:time-lens
package:time-locale-compat
package:time-locale-vietnamese
package:time-manager
package:time-units
package:time-units-types
package:timeit
package:timelens
package:timer-wheel
package:timerep
package:timers-tick
package:timespan
package:timezone-olson
package:timezone-olson-th
package:timezone-series
package:titlecase
package:tldr
package:tls
package:tls-session-manager
package:tlynx
package:tmapchan
package:tmapmvar
package:tmp-proc
package:tmp-proc-postgres
package:tmp-proc-rabbitmq
package:tmp-proc-redis
package:token-bucket
package:tokenize
package:toml-parser
package:toml-reader
package:toml-reader-parse
package:tomland
package:tools-yj
package:tophat
package:topograph
package:torrent
package:torsor
package:tracing
package:transaction
package:transformers
package:transformers-base
package:transformers-compat
package:transformers-either
package:traverse-with-class
package:tree-diff
package:tree-fun
package:tree-view
package:trie-simple
package:trifecta
package:trimdent
package:trivial-constraint
package:true-name
package:tsv2csv
package:ttc
package:ttrie
package:tuple
package:tuple-sop
package:tuple-th
package:tuples
package:tuples-homogenous-h98
package:turtle
package:twitter-types
package:twitter-types-lens
package:type-equality
package:type-errors
package:type-flip
package:type-fun
package:type-hint
package:type-level-bytestrings
package:type-level-integers
package:type-level-kv-list
package:type-level-natural-number
package:type-level-numbers
package:type-level-show
package:type-map
package:type-natural
package:type-of-html
package:type-of-html-static
package:type-rig
package:type-set
package:type-spec
package:typecheck-plugin-nat-simple
package:typed-process
package:typed-uuid
package:typelevel-tools-yj
package:typelits-witnesses
package:typenums
package:typography-geometry
package:typst
package:typst-symbols
package:tz
package:tzdata
package:tztime
package:ua-parser
package:uglymemo
package:ulid
package:unagi-chan
package:unbound-generics
package:unbounded-delays
package:unboxed-ref
package:unboxing-vector
package:uncaught-exception
package:uncertain
package:unconditional-jump
package:unconstrained
package:unexceptionalio
package:unexceptionalio-trans
package:unicode
package:unicode-collation
package:unicode-data
package:unicode-show
package:unicode-transforms
package:unidecode
package:unification-fd
package:union
package:union-angle
package:union-color
package:union-find-array
package:unipatterns
package:uniplate
package:uniq-deep
package:unique
package:unique-logic
package:unique-logic-tf
package:uniqueness-periods-vector-stats
package:unit-constraint
package:units
package:units-defs
package:units-parser
package:universe
package:universe-base
package:universe-dependent-sum
package:universe-instances-extended
package:universe-reverse-instances
package:universe-some
package:universum
package:unix
package:unix-bytestring
package:unix-compat
package:unix-time
package:unjson
package:unlifted
package:unliftio
package:unliftio-core
package:unliftio-path
package:unliftio-pool
package:unliftio-streams
package:unlit
package:unordered-containers
package:unsafe
package:uri-bytestring
package:uri-bytestring-aeson
package:uri-encode
package:url
package:urlpath
package:userid
package:users
package:users-test
package:utf8-light
package:utf8-string
package:utility-ht
package:uuid
package:uuid-types
package:valida
package:valida-base
package:validate-input
package:validation
package:validation-selective
package:validity
package:validity-aeson
package:validity-bytestring
package:validity-case-insensitive
package:validity-containers
package:validity-network-uri
package:validity-path
package:validity-persistent
package:validity-primitive
package:validity-scientific
package:validity-text
package:validity-time
package:validity-unordered-containers
package:validity-uuid
package:validity-vector
package:valor
package:vary
package:varying
package:vault
package:vcr
package:vcs-ignore
package:vec
package:vector
package:vector-algorithms
package:vector-binary-instances
package:vector-buffer
package:vector-builder
package:vector-bytes-instances
package:vector-extras
package:vector-fftw
package:vector-hashtables
package:vector-instances
package:vector-mmap
package:vector-quicksort
package:vector-rotcev
package:vector-sized
package:vector-space
package:vector-split
package:vector-stream
package:vector-th-unbox
package:verbosity
package:verset
package:versions
package:vessel
package:vformat
package:vformat-time
package:ViennaRNAParser
package:vinyl
package:vinyl-loeb
package:Vis
package:vivid-osc
package:vivid-supercollider
package:void
package:vty
package:vty-crossplatform
package:vty-unix
package:vty-windows
package:wai
package:wai-app-static
package:wai-cli
package:wai-conduit
package:wai-cors
package:wai-enforce-https
package:wai-eventsource
package:wai-extra
package:wai-feature-flags
package:wai-handler-launch
package:wai-logger
package:wai-middleware-bearer
package:wai-middleware-caching
package:wai-middleware-caching-lru
package:wai-middleware-caching-redis
package:wai-middleware-clacks
package:wai-middleware-delegate
package:wai-middleware-metrics
package:wai-middleware-prometheus
package:wai-middleware-static
package:wai-middleware-throttle
package:wai-rate-limit
package:wai-rate-limit-redis
package:wai-saml2
package:wai-session
package:wai-session-postgresql
package:wai-slack-middleware
package:wai-transformers
package:wai-websockets
package:wakame
package:warp
package:warp-tls
package:wave
package:wcwidth
package:web-cookiejar
package:web-rep
package:web-routes
package:web-routes-boomerang
package:web-routes-th
package:web-view
package:webdriver
package:webdriver-precore
package:webdriver-wrapper
package:webex-teams-api
package:webex-teams-conduit
package:webgear-core
package:webgear-openapi
package:webgear-server
package:webgear-swagger
package:webgear-swagger-ui
package:webpage
package:webrtc-vad
package:websockets
package:websockets-simple
package:websockets-snap
package:weigh
package:welford-online-mean-variance
package:what4
package:wherefrom-compat
package:which
package:wide-word
package:wild-bind
package:wild-bind-x11
package:Win32
package:Win32-notify
package:windns
package:witch
package:with-location
package:with-utf8
package:withdependencies
package:witherable
package:within
package:witness
package:wizards
package:wkt-types
package:wl-pprint
package:wl-pprint-annotated
package:wl-pprint-text
package:wled-json
package:word-compat
package:word-trie
package:word-wrap
package:word8
package:world-peace
package:wrap
package:wraxml
package:wreq
package:wreq-stringless
package:writer-cps-transformers
package:ws
package:wuss
package:X11
package:X11-xft
package:x11-xim
package:Xauth
package:xdg-basedir
package:xdg-desktop-entry
package:xdg-userdirs
package:xeno
package:xhtml
package:xls
package:xlsx
package:xml
package:xml-basic
package:xml-conduit
package:xml-conduit-writer
package:xml-hamlet
package:xml-helpers
package:xml-html-qq
package:xml-indexed-cursor
package:xml-parser
package:xml-picklers
package:xml-to-json-fast
package:xml-types
package:xmlbf
package:xmlbf-xeno
package:xmlbf-xmlhtml
package:xmlgen
package:xmlhtml
package:xmonad
package:xmonad-contrib
package:xor
package:xss-sanitize
package:xxhash-ffi
package:yaml
package:yaml-unscrambler
package:Yampa
package:yarn-lock
package:yaya
package:yaya-containers
package:yaya-hedgehog
package:yaya-quickcheck
package:yaya-unsafe
package:yes-precure5-command
package:yeshql-core
package:yesod
package:yesod-auth
package:yesod-auth-basic
package:yesod-auth-hashdb
package:yesod-auth-oauth2
package:yesod-bin
package:yesod-core
package:yesod-csp
package:yesod-eventsource
package:yesod-form
package:yesod-form-bootstrap4
package:yesod-gitrepo
package:yesod-gitrev
package:yesod-markdown
package:yesod-newsfeed
package:yesod-page-cursor
package:yesod-paginator
package:yesod-persistent
package:yesod-recaptcha2
package:yesod-routes-flow
package:yesod-sitemap
package:yesod-static
package:yesod-test
package:yesod-websockets
package:yggdrasil-schema
package:yi
package:yi-core
package:yi-frontend-pango
package:yi-frontend-vty
package:yi-keymap-cua
package:yi-keymap-emacs
package:yi-keymap-vim
package:yi-language
package:yi-misc-modes
package:yi-mode-haskell
package:yi-mode-javascript
package:yi-rope
package:yjsvg
package:yjtools
package:yoga
package:youtube
package:zenacy-html
package:zenacy-unicode
package:zenc
package:zeromq4-haskell
package:zeromq4-patterns
package:zigzag
package:zim-parser
package:zip
package:zip-archive
package:zip-stream
package:zippers
package:zlib
package:zlib-bindings
package:zlib-clib
package:zot
package:zstd
category:ACME
category:Adjunctions
category:Aerospace
category:Aeson
category:AI
category:Algebra
category:algorithm
category:Algorithm
category:Algorithms
category:algorithms
category:Amazon
category:ANSI
category:API
category:Archaeoinformatics
category:Array
category:Attoparsec
category:Audio
category:Authentication
category:AWS
category:Benchmarking
category:Binary
category:Bindings
category:Bioinformatics
category:Bit
category:Bit-Vectors
category:Bit-vectors
category:Bitcoin
category:Browser
category:browser
category:bsd3
category:Build-Tool
category:Builders
category:bytestring
category:ByteString
category:ByteStrings
category:Cache
category:Caching
category:Cardano
category:Categories
category:Category
category:Charts
category:Chemistry
category:CI
category:Classification
category:CLI
category:cli
category:Cli
category:client
category:Cloud
category:Cloud-Haskell
category:clustering
category:Code-Generation
category:Codec
category:codec
category:Codecs
category:codegen
category:Combinators
category:Command-Line
category:Command-Line-Tools
category:Comonad
category:Comonads
category:Compatibility
category:Compiler
category:Compiler-Plugin
category:Compilers/Interpreters
category:Composition
category:Compression
category:Concurrency
category:Concurrent
category:Conduit
category:Configuration
category:Console
category:console
category:Constraints
category:Containers
category:Contract
category:Contravariant
category:Control
category:control
category:Conversion
category:CRDT
category:Cron
category:Crypto
category:Cryptography
category:CSV
category:Cursor
category:Data
category:Data-Conduit
category:Data-Mining
category:data-mining
category:Data-Network
category:Data-Science
category:Data-Structure
category:Data-Structures
category:Data-structures
category:data-structures
category:Database
category:database
category:Database-Testing-Web
category:Dataflow
category:Datamining
category:Debian
category:Debug
category:Debugging
category:Default
category:DeltaQ
category:Dependency-Injection
category:Dependent-Types
category:Dependent-types
category:Desktop
category:Desktop-Environment
category:Development
category:development
category:Diagnostics
category:Digest
category:Distributed-Computing
category:Distribution
category:distribution
category:docker
category:Documentation
category:DSL
category:Editor
category:Education
category:Effect
category:Effects
category:Elm
category:Email
category:Embedded
category:Enumerator
category:Error-Handling
category:Ethereum
category:ETL
category:Exceptions
category:Failure
category:Fake
category:FakeData
category:FFI
category:File
category:FilePath
category:Filesystem
category:Finance
category:Folding
category:Font
category:Foreign
category:Foreign-binding
category:Formal-Languages
category:Formal-Methods
category:Format
category:Formatting
category:foundation
category:FRP
category:Functions
category:Functors
category:Game
category:Game-Engine
category:geckodriver
category:General
category:Generic
category:Generics
category:Geography
category:Geometry
category:GHC
category:ghc
category:GIS
category:Git
category:GitHub
category:Google
category:Graph
category:Graphics
category:graphql
category:Graphql
category:Graphs
category:groups
category:GUI
category:Happstack
category:Hardware
category:Hash
category:Haskell
category:Haskell2010
category:Hasql
category:HKD
category:hspec
category:Hspec
category:HTML
category:HTTP
category:Identification
category:IDL
category:Image
category:Interaction
category:Interfaces
category:Interval
category:IO
category:IO-Streams
category:IRI
category:Iteratee
category:Java
category:Javascript
category:JSON
category:json
category:JSON-RPC
category:Language
category:language
category:LaTeX
category:Lazy
category:Lens
category:lens
category:Lenses
category:library
category:Library
category:Linguistics
category:Linux
category:List
category:list
category:Live-coding
category:Logging
category:logging
category:Logic
category:Logic-programming
category:Machine-Learning
category:Math
category:Mathematics
category:Maths
category:MCP
category:Media
category:Megaparsec
category:memory
category:Memory
category:Metrics
category:Miso
category:Monad
category:Monads
category:Money
category:Monitoring
category:Murmur
category:Music
category:Mutable-State
category:N2O
category:Natural-Language-Processing
category:Network
category:network
category:Network-API
category:Nix
category:Non-determinism
category:NonEmpty
category:Number-Theory
category:Numeric
category:Numerical
category:Numerics
category:OGC
category:OpenApi
category:OpenTelemetry
category:Optics
category:Optimisation
category:Optimization
category:Options
category:Orphan-Instances
category:Other
category:Packaging
category:Parallelism
category:Parser
category:Parsers
category:Parsing
category:parsing
category:Pattern
category:PDF
category:Performance
category:performance
category:Phantom-Types
category:Physics
category:physics
category:Pipes
category:Plaid
category:Plotting
category:Plugin
category:Poker
category:Polymorphism
category:Polysemy
category:Polysemy-Filesystem
category:PostgreSQL
category:Prelude
category:Pretty-Printer
category:Primitive
category:Probability
category:Profiling
category:Profunctors
category:project
category:Project-Management
category:Proxies
category:Ptr
category:Quant
category:QuasiQuotes
category:Random
category:Raw
category:Reactive
category:Reactivity
category:reactivity
category:Records
category:Recursion
category:Redis
category:Reflection
category:Regex
category:Rewriting
category:Rounding
category:RSS
category:Safe
category:Science
category:science
category:Scripting
category:Search
category:Security
category:Selective
category:Selenium
category:selenium
category:Semantic-Web
category:Semigroups
category:Serialization
category:Servant
category:Server
category:Service
category:Shake
category:shake
category:Shell
category:Simple
category:Singletons
category:SMT
category:Snap
category:Sorting
category:Sound
category:Spreadsheet
category:Static-Analysis
category:Statistics
category:STM
category:Stream
category:Streaming
category:Streamly
category:String
category:string
category:subscriptions
category:Succinct-Data-Structures
category:Svg
category:Swagger
category:Symbolic-Computation
category:Syntax
category:System
category:system
category:tasty-kat
category:Template
category:Template-Haskell
category:template-haskell
category:TemplateHaskell
category:Terminal
category:Test
category:Testing
category:testing
category:Text
category:text
category:Theorem-Provers
category:These
category:Time
category:TOML
category:Tools
category:Trace
category:Tracing
category:Training
category:Type
category:Type-System
category:Types
category:Typography
category:UI
category:Unicode
category:Unification
category:Unknown
category:Unsafe
category:URI
category:URL
category:User-interface
category:User-Interfaces
category:UserInterface
category:Util
category:Utilities
category:Utility
category:Utils
category:utils
category:Validation
category:Validity
category:vector
category:Vector
category:Vinyl
category:Wai
category:Web
category:web
category:Web-Scraping
category:Webb
category:WebDriver
category:webdriver
category:Well-Known-Text
category:WKT
category:X11
category:XML
category:YAML
category:Yesod
category:Yi
category:zippers
license:AGPL-3
license:AGPL-3.0-or-later
license:Apache
license:BSD-2-Clause
license:BSD-2-Clause-Patent
license:BSD-3-Clause
license:BSD-3-Clause-AND-GPL-2.0-or-later
license:BSD-3-Clause-OR-Apache-2.0
license:BSD2
license:BSD3
license:CC0-1.0
license:GPL
license:GPL-2
license:GPL-2.0-only
license:GPL-2.0-or-later
license:GPL-2.0-or-later-AND-BSD-3-Clause
license:GPL-3.0-only
license:GPL-3.0-or-later
license:ISC
license:LGPL
license:LGPL-2
license:LGPL-2.1-only
license:LGPL-2.1-or-later
license:LGPL-3.0-only
license:LGPL-3.0-or-later
license:MIT
license:MPL-2.0
license:MPL-2.0-AND-BSD-3-Clause
license:OtherLicense
license:PublicDomain
license:Unlicense
license:Zlib
author:"Luc-Tielen"
author:"Ryan-Scott"
author:"Samuel-Gélineau"
author:2015-2017
author:2016-2021
author:2024
author:8c6794b6
author:Aaron-Allen
author:Aaron-Denney
author:Aaron-Levin
author:Aaron-Wolf
author:Abhinav-Gupta
author:Adam-Bergmark
author:Adam-C.-Foltzer
author:Adam-Curtis
author:Adam-Gundry
author:Adam-Langley
author:Adam-Procter
author:Adam-Scibior
author:Adam-Vogt
author:Adam-Wick
author:Aden-Grue
author:AdituV
author:Aditya-Bhargava
author:Adjoint-Inc
author:Adjoint-Inc.
author:Adrian-Glouftsis
author:Adrian-Sieber
author:Agustin-Camino
author:aiya000
author:Akihito-KIRISAKI
author:Akshay-Mankar
author:Alan-Zimmerman
author:Alastair-Reid
author:Albert-Krewinkel
author:Alberto-Gómez-Corona
author:Alberto-Ruiz
author:Alec-Berryman
author:Alec-Theriault
author:Alejandro-Serrano
author:Aleksandar-Dimitrov
author:Aleksey-Khudyakov
author:Aleksey-Kliger
author:Aleksey-Makarov
author:Aleksey-Uimanov
author:Aleksey-Uymanov
author:Alex-Biehl
author:Alex-Chapman
author:ALeX-Kazik
author:Alex-Lang
author:Alex-McLean
author:Alex-Tarkovsky
author:Alex-Washburn
author:Alexander-'ccntrq'-Pankoff
author:Alexander-Altman
author:Alexander-Batischev
author:Alexander-Bondarenko
author:Alexander-Dunlap
author:Alexander-Ignatyev
author:Alexander-Thiemann
author:Alexander-Thiemann-et.al.
author:Alexander-Vershilov
author:Alexandr-Ruchkin
author:Alexandre-Moine
author:Alexandre-Peyroux
author:Alexey-Khudaykov
author:Alexey-Khudyakov
author:Alexey-Kotlyarov
author:Alexey-Kuleshevich
author:Alexey-Radkov
author:Alexey-Raga
author:Alexey-Tochin
author:Alexis-King
author:Aleš-Bizjak
author:Alfredo-Di-Napoli
author:Ali-Abrar
author:Alice-Rixte
author:Alistair-Burrowes
author:Allele-Dev
author:Alp-Mestanogullari
author:Alwyn-Goodloe
author:Amit-Aryeh-Levy
author:Amit-Levy
author:Amr-Sabry
author:Anders-Kaseorg
author:Andras-Slemmer
author:Andraz-Bajt
author:Andre-Van-Der-Merwe
author:Andrea-Rossato
author:Andreas-Abel
author:Andreas-Hammar
author:Andreas-Ländle
author:Andreas-Meingast
author:Andreas-Raster
author:Andrei-Barbu
author:Andres-Loeh
author:Andres-Löh
author:Andres-Schmois
author:Andrew-Coppin
author:Andrew-Cowie
author:Andrew-Drake
author:Andrew-Farmer
author:Andrew-Gibiansky
author:Andrew-Gill
author:Andrew-Lelechenko
author:Andrew-Lelechenko-andrew-dot-lelechenko-at-gmail-dot-com
author:Andrew-Martin
author:Andrew-Miller
author:Andrew-Pritchard
author:Andrew-Rademacher
author:Andrew-Rice
author:AndrewRademacher
author:Andrey-Mokhov
author:Andrey-Prokopenko
author:Andrey-Sverdlichenko
author:Andrzej-Rybczak
author:András-Kovács
author:Andrés-Sicard-RamÃrez
author:Andy-Gill
author:Andy-Stewart
author:Anthony-Cowley
author:Antoine-Catton
author:Antoine-Latter
author:Anton-Ageev
author:Anton-Kholomiov
author:Anton-Tayanovskyy
author:Antony-Courtney
author:Arash-Rouhani
author:ARATA-Mizuki
author:Arbor-Networks
author:Aristid-Breitkreuz
author:ARJANEN-Loïc-Jean-David
author:Artem-Chirkin
author:Artem-Pelenitsyn
author:Artem-Pelenitsyn.
author:ArtemPelenitsyn
author:Arthur-S.-Fayzrakhmanov
author:Artyom
author:Artyom-Kazak
author:Asad-Saeeduddin
author:Asakamirai
author:Asherah-Connor
author:Ashley-Yakeley
author:aszlig
author:Athan-Clark
author:Audrey-Tang
author:Austin-Erlandson
author:Austin-Seipp
author:Author-name-here
author:Avi-Press
author:Axel-Simon
author:Aycan-iRiCAN
author:Azara
author:Azara-Solutions-Inc.-Jeff-Taggart
author:Balazs-Komuves
author:Baojun-Wang
author:Bardur-Arantsson
author:Bart-Massey
author:bartavelle
author:Bartosz-Nitka
author:Bas-van-Dijk
author:Behrang-Norouzinia
author:Ben-Foppa
author:Ben-Gamari
author:Ben-James
author:Ben-Lippmeier
author:Ben-Millwood
author:Ben-Moseley
author:Ben-Orchard
author:Ben-Selfridge
author:Ben-Sinclair
author:Benno-Fünfstück
author:Bertram-Felgenhauer
author:Bjorn-Bringert
author:Bjorn-Buckwalter
author:Björn-Bringert
author:bkomuves
author:Bob-Grudem
author:Bob-Long
author:Bodigrim
author:Bogdan-Neterebskii
author:Borys-Lykakh
author:Brandon-Chinn
author:Brandon-Moore
author:Brandon-S-Allbery
author:Brandon-Simmons
author:Brendan-Hay
author:Brent-Yorgey
author:Brian-Lewis
author:Bryan-O'Sullivan
author:Bulat-Ziganshin
author:Byron-James-Johnson
author:C.-McCann
author:Cabal-Development-Team
author:Cai-Lei
author:Cale-Gibbard
author:Callum-Rogers
author:Cameron-Swords
author:Cardano-Foundation
author:Carl-Baatz
author:Carl-Howells
author:Carter-Charbonneau
author:Carter-Schonwald
author:Cetin-Sert
author:Chase
author:Cheng-Shao
author:chessai
author:Chris-Allen
author:Chris-Catalfo
author:Chris-Done
author:Chris-Dornan
author:Chris-Eidhof
author:Chris-hackett
author:Chris-Kuklewicz
author:Chris-Martin
author:Chris-Mears
author:Chris-Müller
author:Chris-Parks
author:Chris-Penner
author:Chris-Smith
author:Christiaan-Baaij
author:Christian-Charukiewicz
author:Christian-Hoener-zu-Siederdissen
author:Christian-Hoener-zu-Siederdissen-2015-2023
author:Christian-Sakai
author:Christian-Thiemann
author:Christine-Dodrill
author:Christof-Schramm
author:Christoph-Breitkopf
author:Christopher-A.-Gorski
author:Christopher-Chalmers
author:Christopher-Davenport
author:Christopher-Done
author:Christopher-Kuklewicz
author:Christopher-Reichert
author:Chung-chieh-Shan
author:Clark-Gaebel
author:Claude-Heiland-Allen
author:Clemens-Fruhwirth
author:Clemens-Schmid
author:Cliff-Harvey
author:Clifford-Beshers
author:Clint-Adams
author:Co-Log
author:Colin-Runciman
author:Colin-Woodbury
author:comp
author:Composewell-Technologies
author:Conal-Elliott
author:Conor-McBride
author:Conrad-Irwin
author:Contributors
author:contributors
author:contributors-2008
author:coord_e
author:Core-Libraries-Committee
author:Corsis-Research
author:Cristhian-Motoche
author:Csongor-Kiss
author:D
author:Daan-Leijen
author:Daggerboard-Inc.-Greg-Weber
author:Daiki-Handa
author:Daishi-Nakajima
author:Dan-Burton
author:Dan-Doel
author:Dan-Fithian
author:Dan-Peebles
author:Dan-Rosén
author:Daniel-B.-Giffin
author:Daniel-Bergey
author:Daniel-Brice
author:Daniel-Campoverde
author:Daniel-Casanueva
author:Daniel-DÃaz
author:Daniel-Firth
author:Daniel-Fischer
author:Daniel-Gorin
author:Daniel-Mendler
author:Daniel-Neri
author:Daniel-P.-Wright
author:Daniel-Patterson
author:Daniel-Peebles
author:Daniel-Rolls
author:Daniel-Schoepe
author:Daniel-Schüssler
author:Daniel-Taskoff
author:Daniel-Vianna
author:Daniel-Wagner
author:Daniel-Winograd-Cort
author:Daniel-YU
author:Danny-Navarro
author:Darius-Jahandarie
author:Dave-Laing
author:Dave-Leimbach
author:David-Anderson
author:David-Barbour
author:David-Burkett
author:David-Feuer
author:David-Fox
author:David-Himmelstrup
author:David-Johnson
author:David-Lazar
author:David-Leuschner
author:David-Luposchainsky
author:David-M.-Johnson
author:David-Millar-Durrant
author:David-Raymond-Christiansen
author:David-Roundy
author:David-Sánchez
author:David-Terei
author:David-Turner
author:Daviti-Nalchevanidze
author:Dean-Herington
author:Deepak-Jois
author:Denis-Redozubov
author:Dennis-Gosnell
author:Dennis-Hennen
author:Devin-Mullins
author:Devon-Hollowood
author:Digital-Asset
author:Dino-Morelli
author:Diogo-Biazus
author:Divam
author:Dmitrii-Kovanikov
author:Dmitrii-Krylov
author:Dmitry-Bogatov
author:Dmitry-Dzhus
author:Dmitry-Ivanov
author:Dmitry-Kovanikov
author:Dobromir-Nikolov
author:Dom-De-Re
author:Domen-Kozar
author:Domen-Kožar
author:Dominic-Orchard
author:Dominic-Steinitz
author:Dominick-Samperi
author:Dominik-Schrempf
author:Don-Stewart
author:Donnie-Jones
author:Doug-Beardsley
author:Doug-Whiting
author:Douglas-Burke
author:Douglas-McClean
author:Duncan-Coutts
author:Dylan-Simon
author:Dylan-Thurston
author:Edmund-Noble
author:Edsko-de-Vries
author:Eduard-Sergeev
author:Edward-Kmett
author:Edward-L.-Blake
author:Edward-Z.-Yang
author:Eitan-Chatav
author:Elefunc
author:Elise-Huard
author:Ellie-Hermaszewska
author:Elliott-Hird
author:Emanuel-Borsboom
author:Emil-Axelsson
author:Emil-Nordling
author:Emily-Pillmore
author:Eric-Conlon
author:Eric-Demko
author:Eric-Kow
author:Eric-Mertens
author:Eric-Rochester
author:Erick-Gonzalez
author:Erik-Charlebois
author:Erik-de-Castro-Lopo
author:Erik-Hesselink
author:Erik-Schnetter
author:Ernesto-Hernández-Novich
author:Ertugrul-Söylemez
author:Erèbe
author:Eugen-Wissner
author:Eugene-Kirpichov
author:Evan-Czaplicki
author:Evan-Martin
author:Evan-Rinehart
author:Evan-Rutledge-Borden
author:Eyal-Lotem
author:Fabian-Beuke
author:Fabian-Thorand
author:Fabricio-Olivetti-de-França
author:Falko-Peters
author:Fedor-Gogolev
author:Felipe-Lessa
author:Felix-Hirn
author:Felix-Paulusma
author:Felix-Springer
author:Ferdinand-van-Walree
author:Ferenc-Wagner
author:Ferenc-Wágner
author:Finn-Espen-Gundersen
author:firstname-at-thenumbertwohundred-thewordproof-dotcc
author:fix-whitespace-was-originally-written-by-Nils-Anders-Danielsson-as-part-of-Agda-2-with-contributions-from-Ulf-Norell
author:Flavio-Corpa
author:Flipstone-Technology-Partners
author:Florian-Eggenhofer
author:Florian-Hofmann
author:Florian-Knupfer
author:Florian-Ragwitz
author:FP-Complete
author:FP-Complete-Developers
author:Francesco-Ariis
author:Francesco-Ariis-et-al.
author:Francesco-Mazzoli
author:Francisco-Blas-Izquierdo-Riera
author:Frank-Dedden
author:Frank-Doepper
author:Frank-Huch
author:Franklin-Chen
author:Fraser-Murray
author:Fraser-Tweedale
author:Freckle
author:Freckle-Education
author:Freckle-Engineering
author:Freckle-R
author:Fred-Ross
author:Frederick-Pringle
author:Fredrik-Lindblad
author:Fujimura-Daisuke
author:Fumiaki-Kinoshita
author:funnycat
author:Gabriel-Tollini
author:Gabriele-Sales
author:Gabriella-Gonzalez
author:GabrÃel-Arthúr-Pétursson
author:Galois-Inc.
author:Ganesh-Sittampalam
author:Geoff-Reedy
author:Geoffrey-Mainland
author:Georg-Rudoy
author:George-Giorgidze
author:George-Pollard
author:George-Thomas
author:Georgi-Lyubenov
author:Gergely-Risko
author:Gero-Kriependorf
author:Gershom-Bazerman
author:Getty-Ritter
author:Ghais-Issa
author:GHC-Team
author:github:
author:Gracjan-Polak
author:Graham-Klyne--
author:Grant-Monroe
author:Greg-Horn
author:Greg-Pfeil
author:Greg-Weber
author:Gregory-Collins
author:Gregory-Crosswhite
author:Gregory-Schwartz
author:Grendel-Grendel-Grendel
author:Grzegorz-ChrupaÅa
author:Grzegorz-Milka
author:Guillaume-Bouchard
author:Guru-Devanla
author:Gábor-Lipták
author:Haisheng-Wu
author:Hamish-Mackenzie
author:Hans-Christian-Esperer
author:Hans-Peter-Deifel
author:HAppS-LLC
author:Happstack-team
author:Harendra-Kumar
author:Harry-Garrood
author:Haskell-Bytestring-Team
author:Haskell-Libraries
author:Haskell-Libraries-Team
author:Haskell-Text-Team
author:haskell.vivian.mcphail
author:Heikki-Johannes-Hildén
author:Heinrich-Apfelmus
author:Helmut-Podhaisky
author:Henning-Günther
author:Henning-Thielemann
author:Henri-Verroken
author:Henrik-Nilsson
author:Henry-Bucklow
author:Henry-Laxen
author:Herbert-Valerio-Riedel
author:Hexirp
author:Hideaki-Kawai
author:Hideyuki-Tanaka
author:Hiromi-Ishii
author:Hiromi-ISHII
author:Holger-Reinhardt
author:Holmusk
author:https://funprog.zulipchat.com/#narrow/stream/216942-Polysemy
author:https://github.com/blaze-builder
author:https://github.com/fpco/haskell-filesystem
author:https://github.com/haskell-hvr
author:https://github.com/haskell-hvr/brotli
author:https://github.com/haskell-hvr/brotli-streams
author:https://github.com/haskell-hvr/cassava
author:https://github.com/haskell-hvr/cryptohash-md5
author:https://github.com/haskell-hvr/cryptohash-sha1
author:https://github.com/haskell-hvr/hslogger
author:https://github.com/haskell-hvr/HsYAML
author:https://github.com/haskell-hvr/http-io-streams
author:https://github.com/haskell-hvr/rss
author:https://github.com/haskell-hvr/token-bucket
author:https://github.com/haskell-hvr/windns
author:https://github.com/haskell-pkg-janitors
author:https://github.com/haskell/alex
author:https://github.com/haskell/happy
author:https://github.com/haskell/old-time
author:https://github.com/Hexirp/doctest-driver-gen/issues
author:Hugo-Daniel-Gomes
author:HugoDaniel
author:Hussein-Ait-Lahcen
author:Huw-Campbell
author:Hécate-Moonlight
author:Iago-Abal
author:Ian-Duncan
author:Ian-Graves
author:Ian-Lynagh
author:Iavor-Diatchki
author:Iavor-S.-Diatchki
author:Illia-Shkroba
author:Ilya-Ostrovskiy
author:IlyaPortnov
author:Inc.
author:IOG
author:IOHK
author:IOHK-Engineering-Team
author:Iphigenia-Df
author:Irene-Knapp
author:Isaac-Elliott
author:Isaac-Jones
author:Ismail-Mustafa
author:Iustin-Pop
author:Ivan-Lazar-Miljenovic
author:Ivan-Malison
author:Ivan-N.-Veselov
author:Ivan-Perez
author:Ivan-Tarasov
author:Ixcom-Core-Team
author:Iñaki-GarcÃa-Etxebarria
author:J.R.-Heard
author:Jaap-Weel
author:Jacek-Galowicz
author:Jack-Henahan
author:Jacob-Stanley
author:Jacob-Stanleyyeah
author:Jade-Lovelace
author:Jakob-Schöttl
author:Jakub-FijaÅkowski
author:Jakub-Waszczuk
author:James-Brock
author:James-Cook
author:James-Cranch
author:James-H.-Fisher
author:James-M.C.-Haver-II
author:Jan-Bracker
author:Jan-Skibinski
author:Jan-Stolarek
author:Janne-Hellsten
author:Janos-Tapolczai
author:Janus-Troelsen
author:Jappie-Klooster
author:Jared-Tobin
author:Jason-Creighton
author:Jason-Dagit
author:Jason-Dusek
author:Jason-Hickner
author:Jason-Shipman
author:Jasper-Van-der-Jeugt
author:Jasper-Woudenberg
author:Javier-Jaramago
author:Javran-Cheng
author:Jean-François-Roche
author:Jean-Philippe-Bernardy
author:Jean-Pierre-Rupp
author:Jed-Brown
author:Jeff-Polakow
author:Jeff-Taggart
author:Jeff-Wheeler
author:Jeffrey-Rosenbluth
author:Jens-Blanck
author:Jens-Petersen
author:Jens-Thomas
author:Jeremy-Bornstein
author:Jeremy-Huffman
author:Jeremy-Shaw
author:Jesper-Cockx
author:Jesper-Louis-Andersen
author:Joachim-Breitner
author:Joachim-Fasting
author:Joachim-Korittky
author:Joao-Dias
author:Joe-Canero
author:joe9
author:Joel-Taylor
author:Joel-Williamson
author:Joel-Williamson-2015
author:Joey-Adams
author:Joey-Hess
author:Johan-Kiviniemi
author:Johan-Tibell
author:Johannes-Hildén
author:Johannes-Weiss
author:John-Chee
author:John-Dorsey
author:John-Galt
author:John-Goerzen
author:John-Ky
author:John-Lato
author:John-Lenz
author:John-MacFarlane
author:John-Meacham
author:John-Millikin
author:John-Van-Enk
author:John-Van-Enk.
author:John-Walker
author:John-Wiegley
author:Jonas-Carpay
author:Jonas-Duregard
author:Jonas-Duregård
author:Jonas-Platte
author:Jonathan-Childress
author:Jonathan-Daugherty
author:Jonathan-Dimond
author:Jonathan-Fischoff
author:Jonathan-Jouty
author:Jonathan-Knowles
author:Jonathan-Laurent
author:Jonathan-Sterling
author:Jonne-Ransijn
author:Joomy-Korkut
author:Jorah-Gao
author:Jose-Iborra
author:Josef-Svenningsson
author:Josep-Bigorra
author:Joseph-Abrahamson
author:Josh-Cough
author:Josh-Holland
author:Joshua-Booth
author:Joshua-Chia
author:Jost-Berthold
author:José-Lorenzo-RodrÃguez
author:José-Pedro-Magalhães
author:João-Cristóvão
author:JP-Rupp
author:jpmoresmau
author:Juan-Pedro-Villa-Isaza
author:Judah-Jacobson
author:Jude-Taylor
author:Juergen-Keck
author:Juergen-Nicklisch-Franken
author:Julian-Fleischer
author:Julian-K.-Arni
author:Julian-Ospald
author:Julie-Moronuki
author:Julien-Debon
author:Jun-Matsushita
author:Jun-Mukai
author:Jun-Narumi
author:Justin-Bailey
author:Justin-Le
author:Justin-Leitgeb
author:Justus-Adam
author:Justus-Sagemüller
author:Jón-Fairbairn
author:Kadzuya-Okamoto
author:Kai-Zhang
author:Kamil-Dworakowski
author:Karl-Ostmo
author:Karolis-Velicka
author:Karsten-Schoelzel
author:Karun-Ramakrishnan
author:Kazu-Yamamoto
author:Keegan-Carruthers-Smith
author:Keegan-McAllister
author:Kei-Hibino
author:Kenny-Shen
author:Kevin-Conley
author:Kevin-Jardine
author:Kevin-Quick
author:Khudyakov-Alexey
author:Kilian-Kilger
author:Kim-Altintop
author:Kim-Altintop-et.al.
author:Kirill-Elagin
author:Kirill-Simonov
author:Kirill-Zaborsky
author:klapaucius
author:Klaus-Weidner
author:Koen-Claessen
author:Koji-Miyazato
author:konn.jinro-_at_-gmail.com
author:konn.jinro_at_gmail.com
author:Konstantin-Zudov
author:konsumlamm
author:koral
author:Kostiantyn-Rybnikov
author:Kosyrev-Serge
author:Kowainik
author:Koz-Ross
author:Krasimir-Angelov
author:Kris-Jenkins
author:Kristof-Bastiaensen
author:Kyle-Beechly
author:Kyle-Raftogianis
author:Kyle-Van-Berendonck
author:Kyriakos-Papachrysanthou
author:Lana-Black
author:Lars-Kuhtz
author:Lars-Petersen
author:Lasse-Collin
author:later-changes-Paul-Rouse
author:Laurent-P.-René-de-Cotret
author:LazyPPL-team
author:Lee-Pike
author:Lemmih
author:Lennart-Augustsson
author:Lennart-Kolmodin
author:Lennart-Spitzner
author:Leo-P.-Smith
author:Leon-Mergen
author:Leon-P-Smith
author:Levent-Erkok
author:Leza-M.-Lutonda
author:Leza-Morais-Lutonda
author:Li-yao-Xia
author:Liam-O'Connor-Davis
author:Liang-Ting-Chen
author:Linh-Nguyen
author:Liyang-HU
author:LLC
author:Logan-McPhail
author:Lorenz-Moesenlechner
author:Louis-Pan
author:Louis-Wasserman
author:Lucas-David-Traverso
author:Luis-G.-Torres
author:Luis-Pedro-Coelho
author:Luite-Stegeman
author:Luka-HadžiegriÄ
author:Lukas-Epple
author:Lukas-Mai
author:Lukas-Martinelli
author:Luke-Clifton
author:Luke-Hoersten
author:Luke-Lau
author:Luke-Murphy
author:Luke-Palmer
author:Luke-Taylor
author:Lutz-Donnerhacke
author:M-Farkas-Dyck
author:Magnus-Therning
author:Mahdi-Dibaiee
author:Malcolm-Wallace
author:Manlio-Perillo
author:Manuel-Bärenz
author:Manuel-Chakravaty
author:Manuel-Eberl
author:Manuel-M-T-Chakravarty
author:Manuel-Schneckenreither
author:Marat-Khafizov
author:Marc-Weber
author:marcelbuesing
author:Marcellus-Siegburg
author:Marcin-Kowalczyk
author:Marcin-Szamotulski
author:Marcin-Tolysz
author:Marco-Kuhlmann
author:Marco-Túlio-Pimenta-Gontijo
author:Marco-Zocca
author:Marek-Fajkus
author:Marek-Suchánek
author:Mario-Blazevic
author:Mario-BlaževiÄ
author:Mario-Lang
author:Marios-Titas
author:Marius-Ghita
author:Mariusz-Rak
author:Mark-Dittmer
author:Mark-Fine
author:Mark-Hibberd
author:Mark-Karpov
author:Mark-Wotton
author:Markus-Rothe
author:Markus-Schirp
author:Marten-Wijnja
author:Martijn-Bastiaan
author:Martijn-Rijkeboer
author:Martijn-van-Steenbergen
author:Martin-Bednar
author:Martin-Erwig
author:Martin-Gius
author:Martin-Grabmueller
author:Martin-Schmidt
author:Marty-Pauley
author:Masahiro-Honma
author:Masahiro-Sakai
author:Mateusz-Kloczko
author:Mateusz-Kowalczyk
author:Mathias-Biilmann-Christensen
author:Mathieu-Boespflug
author:Matt-Bray
author:Matt-Brown
author:Matt-Donadio
author:Matt-Hellige
author:Matt-Kline
author:Matt-Morrow
author:Matt-Noonan
author:Matt-Parsons
author:Matthew-Bauer
author:Matthew-Bekkema
author:Matthew-Danish
author:Matthew-Elder
author:Matthew-Farkas-Dyck
author:Matthew-Kaney
author:Matthew-Naylor
author:Matthew-Parsons
author:Matthew-Pickering
author:Matthew-Pocock-[drdozer]
author:Matthew-Sackman
author:Matthieu-Monsch
author:MatthÃas-Páll-Gissurarson
author:Matti-Niemenmaa
author:Matvey-Aksenov
author:MaurÃcio-C.-Antunes
author:Max
author:Max-Amanshauser
author:Max-Bolingbroke
author:Max-Rabkin
author:Max-Ulidtko
author:Maxim-Koltsov
author:Maximilian-Bolingbroke
author:Megan-Robinson
author:Megaparsec-contributors
author:Meik-Hellmund
author:Merijn-Verstraaten
author:Metrix.AI-Tech-Team
author:Michael-B.-Gale
author:Michael-Bock
author:Michael-Chavinda
author:Michael-Dressel
author:Michael-G.-Sloan
author:Michael-Schröder
author:Michael-Sloan
author:Michael-Snoyman
author:Michael-Thompson
author:Michael-Tolly
author:Michael-Walker
author:Michael-Williams
author:Michael-Xavier
author:michaelt
author:Michal-J.-Gajda
author:Michal-Konecny
author:Michal-KoneÄný
author:Michal-Terepeta
author:MichaÅ-PaÅka
author:Michel-Boucey
author:Michiel-Derhaeg
author:Mihai-Maruseac
author:Mihai-Sebastian-Ardelean
author:Mihaly-Barasz
author:Mikael-Johansson
author:Mike-Burns
author:Mike-Izbicki
author:Mike-Ledger
author:Mike-Meyer
author:Mike-Pilgrem
author:Mikhail-Glushenkov
author:Mikhail-Vorozhtsov
author:Mikkel-Christiansen
author:Mikolaj-Konarski
author:Milan-Straka
author:Mischa-Dieterle
author:Mistral-Contrastin
author:Mitchell-Dalvi-Rosen
author:Mitchell-Rosen
author:Mitsutoshi-Aoe
author:mniip
author:Monadfix
author:Moritz-Bruder
author:Moritz-Clasmeier
author:Moritz-Kiefeir
author:Moritz-Kiefer
author:Moritz-Schulte
author:Myles-C.-Maxfield
author:Naoto-Shimazaki
author:Nathan-"Taneb"-van-Doorn
author:Nathan-Howell
author:Naïm-Favier
author:ncaq
author:Neil-Mitchell
author:Nick-Partridge
author:Nick-Smallbone
author:Nick-Van-den-Broeck
author:Nickolay-Kudasov
author:Nicolas-Di-Prima
author:Nicolas-Dudebout
author:Nicolas-Frisby
author:Nicolas-Pouillard
author:Nicolas-Rolland
author:Nicolas-Wu
author:Nike
author:nikeoss
author:Nikita-Karetnikov
author:Nikita-Tchayka
author:Nikita-Volkov
author:Niklas-Baumstark
author:Niklas-Broberg
author:Niklas-Hambüchen
author:Nikolai-Kudasov
author:Nikolay-Amiantov
author:Nikos-Karagiannidis
author:Nils Anders Danielsson
author:Nils-Anders-Danielsson
author:Nils-Schweinsberg
author:Ning-Wang
author:Nis-Nordby-Wegmann
author:Nis-Nordbyop-Wegmann
author:Noam-Lewis
author:Noel-Winstanley
author:Norman-Ramsey
author:notquiteamonad
author:Nubis
author:Obsidian-Systems
author:Obsidian-Systems-LLC
author:ocramz
author:Oleg-Grenrus
author:Oleg-Kiselyov
author:Oleg.Grenrus
author:Oleksandr-Zhabenko
author:OleksandrZhabenko
author:Oleksii-Divak
author:Oliver-Charles
author:Olle-Fredriksson
author:Ollie-Charles
author:Omari-Norman
author:Ondrej-Palkovsky
author:OndÅej-Súkup
author:Oscar-Finnsson
author:other-contributors
author:others
author:Owen-Shepherd
author:Ozgun-Ataman
author:Paolo-Capriotti
author:Paolo-Losi
author:Paolo-Martini
author:parsonsmatt
author:Pascal-Hartig
author:Pascal-Wittmann
author:Pasqualino-`Titto`-Assini
author:Pat-Brisbin
author:Patai-Gergely
author:Patrick-Bahr
author:Patrick-Brisbin
author:Patrick-Chilton
author:Patrick-Hurst
author:Patrick-Nielsen
author:Patrick-Perry
author:Patrick-Steele
author:Patrick-Thomson
author:Paul-Bone
author:Paul-Dennis
author:Paul-Hebble
author:Paul-Hendry
author:Paul-Johnson
author:Paul-Rouse
author:Pavan-Rikhi
author:Pavel-Krajcevski
author:Pavel-Ryzhov
author:Pavol-Klacansky
author:Pedro-Tacla-Yamada
author:Pedro-Yamada
author:Pepe-Iborra
author:Peter-De-Wachter
author:Peter-Gavin
author:Peter-Harpending
author:Peter-J.-Jones
author:Peter-Jones
author:Peter-Lebbing
author:Peter-Scott
author:Peter-Selinger
author:Peter-Simons
author:Peter-Thiemann
author:Peter-Trško
author:Peter-W.-Thompson
author:Petr-Pudlák
author:Petr-Rockai
author:Petter-Bergman
author:Phil-de-Joux
author:Phil-Ruffwind
author:Phil-Wadler
author:Philipp-Balzarek
author:Philipp-Hausmann
author:Philippe-Laprade
author:Phillip-Seeber
author:PHO
author:Pierre-Etienne-Meunier
author:Pierre-Krafft
author:Pierre-Radermecker
author:Piotr-Mlodawski
author:Pranay-Sashank
author:Preetham-Gujjula
author:Profpatsch
author:Prowdsponsor
author:Purely-Agile
author:PÅemysl-Šťastný
author:QBayLogic-B.V.
author:QFPL-Data61
author:Qqwy-/-Marten
author:Queensland-Functional-Programming-Lab
author:qwbarch
author:R-D'Netto
author:Raghu-Kaippully
author:Ralf-Hinze
author:Ralf-Lammel
author:Raphael-Javaux
author:Rastislav-BodÃk
author:Razvan-Ranca
author:Reed-Oei
author:Reiner-Pope
author:Remi-Turk
author:Renzo-Carbonara
author:renzocarbonaraλgmail.com
author:ren¡ren!zone
author:ren§ren*zone
author:renλren!zone
author:renλren.zone
author:Richard-Eisenberg
author:Rick-Owens
author:Rickard-Andersson
author:rightfold
author:Rob-Bassi
author:Rob-Berry
author:Rob-O'Callahan
author:Rob-Rix
author:Rob-Stewart
author:Robbie-McMichael
author:Robbin-C.
author:robert-.-klotzner-A-T-gmx-.-at
author:Robert-Hensing
author:Robert-Klotzner
author:Robert-Massaioli
author:Robert-Vollmert
author:Robin-Green
author:Robin-Morisset
author:Rodrigo-Mesquita
author:Rodrigo-Setti
author:Roel-van-Dijk
author:Rohan-Drape
author:Roman-Cheplyaka
author:Roman-Gonzalez
author:Roman-Leshchinskiy
author:Roman-S.-Borschel
author:Rongcui-Dong
author:Ross-Paterson
author:Roy-Blankman
author:Rudy-Matela
author:Russell-O'Connor
author:Ruud-van-Asseldonk
author:Ryan-Artecona
author:Ryan-Ingram
author:Ryan-Newton
author:Ryan-R.-Newton
author:Ryan-Scott
author:Ryan-Trinkle
author:Ryan-Yates
author:Ryota-Kameoka
author:Rúnar-Bjarnason
author:s9gf4ult
author:Sakari-Jokinen
author:Sakura-chan-the-Goat
author:Sam-Anklesaria
author:Sam-Protas
author:Sam-Quinn
author:Sam-Rijs
author:Sam-Truzjan
author:Sandy-Maguire
author:Sarah-Berkemer
author:Sasha-Bogicevic
author:Satoshi-Egi
author:Sayo-contributors
author:Schell-Scivally
author:Scott-N.-Walck
author:Scrive
author:Scrive-AB
author:Sean-Chalmers
author:Sean-Hess
author:Sean-Leather
author:Sebastiaan-Visser
author:Sebastian-de-Bellefon
author:Sebastian-Fischer
author:Sebastian-Nagel
author:Sebastian-Niller
author:Sebastian-Witte
author:see-https://agda.readthedocs.io/en/latest/team.html
author:Serg-Nesterov
author:Sergey-Alirzaev
author:Sergey-Astanin
author:Sergey-Vinokurov
author:Serokell
author:Servant-Contributors
author:Seth-Fowler
author:Shachaf-Ben-Kiki
author:Sharif-Olorin
author:Shayne-Fletcher
author:Shea-Levy
author:shelarcy
author:Sho-KURODA
author:Shohei-Murayama
author:Shohei-Yasutake
author:Sibi-Prabakaran
author:Siddharth-Bhat
author:Sigbjorn-Finne
author:Siim-Põder
author:Silk
author:Simon-Hafner
author:Simon-Hengel
author:Simon-Jakobi
author:Simon-Marechal
author:Simon-Marlow
author:Simon-Meier
author:Simon-Michael
author:Simon-Peyton-Jones
author:Simon-Shine
author:SiniÅ¡a-BiÄin
author:Sirui-Lu
author:Sjoerd-Visscher
author:Snap-Framework-Authors
author:Soenke-Hahn
author:Sofia-m-a
author:Solomon-Bothwell
author:Song-Zhang
author:Sorki
author:Soumik-Sarkar
author:Spencer-Janssen
author:Stack-Builders
author:Stanislav-Chernichkin
author:Stefan-Bühler
author:Stefan-Kersten
author:Stefan-O'Rear
author:Stefan-Schmidt
author:Stefan-Wehr
author:Steffen-Schuldenzucker
author:Stephan-Friedrichs
author:Stephan-Schiffels
author:Stephen-Blackheath
author:Stephen-Blackheath-[blackh]
author:Stephen-Diehl
author:Stephen-Paul-Weber
author:Sterling-Clover
author:sternenseemann
author:Stevan-Andjelkovic
author:Steve-Kollmansberger
author:Steve-Severance
author:Steven-Fontanella
author:Steven-Keuchel
author:Steven-MacCoun
author:Steven-Shuck
author:Stuart-Cook
author:supercede
author:Sven-Bartscher
author:Sven-Heyll
author:Sven-Panne
author:swamp_agr
author:Swift-Navigation
author:Swift-Navigation-Inc.
author:Sylvain-Henry
author:Sævar-Berg
author:Sólrún-Halla-Einarsdóttir
author:Sönke-Hahn
author:Taimoor-Zaeem
author:Taisuke-Hikawa
author:Takahiro-HIMURA
author:Takano-Akio
author:Takayuki-Muranushi
author:Takenobu-Tani
author:Tamar-Christina
author:Taras-Serduke
author:Taru-Karttunen
author:Taylor-Fausak
author:Taylor-M.-Hedberg
author:Ted-Cooper
author:TensorFlow-authors
author:Teo-Camarasu
author:The-Agda-Team
author:The-Alfred-Margaret-authors
author:The-Clash-Authors
author:The-Distributed-Haskell-team
author:The-DPH-Team
author:The-GHC-Developers
author:The-GHC-Team
author:The-GHC-team
author:The-Haskell-Cryptography-contributors
author:The-Hint-Authors
author:The-House-Authors
author:The-Scotty-maintainers
author:Theodore-Lief-Gannon
author:Thierry-Bourrillon
author:Thomas-DuBuisson
author:Thomas-Eding
author:Thomas-Hallgren
author:Thomas-Horstmeyer
author:Thomas-M.-DuBuisson
author:Thomas-Mahler
author:Thomas-Schilling
author:Thomas-Sutton
author:Thomas-Tuegel
author:Thomas-Wilke
author:Tillmann-Rendel
author:Tillmann-Vogt
author:Tim
author:Tim-Adams
author:Tim-Baumann
author:Tim-Docker
author:Tim-Emiola
author:Tim-McGilchrist
author:Tim-McIver
author:Tim-Newsham
author:Tim-Thelion
author:Tim-Watson
author:Timo-von-Holtz
author:Timothy-Jones
author:Ting-Yen-Lai
author:Tobias-Dammers
author:Tobias-Pflug
author:Tom-Ellis
author:Tom-Hvitved
author:Tom-McLaughlin
author:Tom-Murphy
author:Tom-Nielsen
author:Tom-Oram
author:Tom-Schrijvers
author:Tom-Streller
author:Tom-Sydney-Kerckhove
author:Tom-Wells
author:Tomas-Carnecky
author:Tomas-Janousek
author:TomMurphy
author:Toni-Cebrián
author:Tony-Day
author:Tony-Hannan
author:Tony-Morris
author:Tony-Zorman
author:Toralf-Wittner
author:Torben-Kuseler
author:Torsten-Schmits
author:Toshio-Ito
author:Tracy-Wadleigh
author:Travis-Athougies
author:Travis-Cardwell
author:Travis-Stagon
author:Travis-Staton
author:Travis-Whitaker
author:Trevis-Elser
author:Trevor-Elliott
author:Trevor-L.-McDonell
author:Tristan-de-Cacqueray
author:Troels-Henriksen
author:Trystan-Spangler
author:Tung-Dao
author:tushar
author:Twan-van-Laarhoven
author:Tweag
author:Tweag-I/O
author:Tweag-I/O-Limited
author:Typeable.io-contributors
author:Ulf-Norell
author:Uli-Köhler
author:Uri-Barenholz
author:Uwe-Schmidt
author:Vaclav-Svejcar
author:Val-Packett
author:Valery-V.-Vorotyntsev
author:Vanessa-McHale
author:various
author:Veronika-Romashkina
author:Viacheslav-Lotsmanov
author:Victor-Denisov
author:Vidar-Holen
author:Viktor-Dukhovni
author:Ville-Tirronen
author:Vincent-Berthoux
author:Vincent-Hanquez
author:Vivian-McPhail
author:Vlad-Semenov
author:Vladimir-Semyonov
author:Vladimir-Shabanov
author:Vladislav-Zavialov
author:Vo-Minh-Thu
author:Václav-Haisman
author:Wanja-Chresta
author:Warlock
author:Warrick-Gray
author:Wen-Kokke
author:Will-Coster
author:Will-Donnelly
author:Will-Sewell
author:Will-Thompson
author:William-Casarin
author:William-Yao
author:winter
author:Winterland
author:winterland1989
author:Wouter-Swierstra
author:wren-gayle-romano
author:Wren-Thornton
author:Xia-Li-yao
author:Ximin-Luo
author:XT-et-al.
author:Yair-Chuchem
author:YAMAMOTO-Yuji
author:Yang-Bo
author:Yann-Esposito
author:Yevhen-Smolanka
author:Yi-developers
author:yihuang
author:Yitz-Gale
author:Yitzchak-Gale
author:ymdfield
author:YongJoon-Joe
author:Yorick-Laupa
author:Yoshikuni-Jujo
author:YoshikuniJujo
author:Yuji-Yamamoto
author:Yuras-Shumovich
author:Zac-Slade
author:Zachary-Wood
author:Zack-Grannan
author:Ziyang-Liu
author:zocca-marco-gmail
author:zocca.marco-gmail
author:Ãmer-Sinan-AÄacan
author:ÐÑигоÑий-ХоломÑÑв
compare package:Agda
Compare
:: Phase
Agda
Agda.Benchmarking
Subphase for
Termination
.
module
Agda.Compiler.Treeless.
Compare
Agda
compare
Args
:: MonadConversion m => [Polarity] -> [IsForced] -> Type -> Term -> Args -> Args -> m ()
Agda
Agda.TypeChecking.Conversion
Type-directed equality on argument lists
compare
As
:: MonadConversion m => Comparison -> CompareAs -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
Type directed equality on terms or types.
compare
As'
:: MonadConversion m => Comparison -> CompareAs -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
compare
AsDir
:: MonadConversion m => CompareDirection -> CompareAs -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
compare
Atom
:: MonadConversion m => Comparison -> CompareAs -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
Syntax directed equality on atomic values
compare
AtomDir
:: MonadConversion m => CompareDirection -> CompareAs -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
compare
Dom
:: (MonadConversion m, Free c) => Comparison -> Dom Type -> Dom Type -> Abs b -> Abs c -> m () -> m () -> m () -> m () -> m () -> m () -> m () -> m ()
Agda
Agda.TypeChecking.Conversion
Check whether
a1
cmp
a2
and continue in context extended by
a1
.
compare
Elims
:: MonadConversion m => [Polarity] -> [IsForced] -> Type -> Term -> [Elim] -> [Elim] -> m ()
Agda
Agda.TypeChecking.Conversion
compareElims pols a v els1 els2
performs type-directed equality on eliminator spines.
t
is the type of the head
v
.
compare
Interval
:: MonadConversion m => Comparison -> Type -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
compare
Irrelevant
:: MonadConversion m => Type -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
Compare
two terms in irrelevant position. This always succeeds. However, we can dig for solutions of irrelevant metas in the terms we compare. (Certainly not the systematic solution, that'd be proof search...)
compare
Level
:: MonadConversion m => Comparison -> Level -> Level -> m ()
Agda
Agda.TypeChecking.Conversion
compare
Metas
:: MonadConversion m => Comparison -> CompareAs -> MetaId -> Elims -> MetaId -> Elims -> m ()
Agda
Agda.TypeChecking.Conversion
Check whether
x xArgs
cmp
y yArgs
compare
Sort
:: MonadConversion m => Comparison -> Sort -> Sort -> m ()
Agda
Agda.TypeChecking.Conversion
compare
Term
:: MonadConversion m => Comparison -> Type -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
Type directed equality on values.
compare
Term'
:: MonadConversion m => Comparison -> Type -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
compare
TermOnFace
:: MonadConversion m => Comparison -> Term -> Type -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
compare
TermOnFace'
:: MonadConversion m => (Substitution -> Comparison -> Type -> Term -> Term -> m ()) -> Comparison -> Term -> Type -> Term -> Term -> m ()
Agda
Agda.TypeChecking.Conversion
compare
Type
:: MonadConversion m => Comparison -> Type -> Type -> m ()
Agda
Agda.TypeChecking.Conversion
Equality on Types
compare
WithPol
:: MonadConversion m => Polarity -> (Comparison -> a -> a -> m ()) -> a -> a -> m ()
Agda
Agda.TypeChecking.Conversion
compare
BelowMax
:: MonadConversion m => DeepSizeView -> SizeMaxView -> m ()
Agda
Agda.TypeChecking.SizedTypes
compareBelowMax u vs
checks
u <= max vs
. Precondition:
size vs >= 2
compare
MaxViews
:: MonadConversion m => Comparison -> SizeMaxView -> SizeMaxView -> m ()
Agda
Agda.TypeChecking.SizedTypes
Compare two sizes in max view.
compare
SizeViews
:: MonadConversion m => Comparison -> DeepSizeView -> DeepSizeView -> m ()
Agda
Agda.TypeChecking.SizedTypes
compare
Sizes
:: MonadConversion m => Comparison -> Term -> Term -> m ()
Agda
Agda.TypeChecking.SizedTypes
Compare two sizes.