lambdabot-haskell-plugins: Lambdabot Haskell plugins

[ development, library, web ] [ Propose Tags ]

Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel.

Provided plugins:

check
Quick, check!
djinn
Derive implementations from types intuitinistically.
eval
Run Haskell code.
free
Theorems for free.
haddock
Find modules implementing a function.
hoogle
Search for functions by type using hoogle.
instances
Query instances of type classes.
pl
Produce point-less code.
pointful
Produce point-ful code.
pretty
Print code prettily.
source
Show implementations of standard functions.
type
Query type of expressions.
undo
Unfold do notation.
unmtl
Expand monad transformers stacks.

Modules

[Index] [Quick Jump]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 5.0, 5.0.1, 5.0.2, 5.0.2.1, 5.0.3, 5.1, 5.1.0.1, 5.1.0.2, 5.1.0.3, 5.1.0.4, 5.2, 5.3, 5.3.0.2, 5.3.1 (info)
Dependencies array (>=0.4), arrows (>=0.4), base (>=4.4 && <5), bytestring (>=0.9), containers (>=0.4), data-memocombinators (>=0.4), directory (>=1.1), filepath (>=1.3), haskell-src-exts-simple (>=1.18 && <1.24), hoogle (>=5.0.17.1), HTTP (>=4000), IOSpec (>=0.2), lambdabot-core (>=5.3 && <5.4), lambdabot-reference-plugins (>=5.3 && <5.4), lambdabot-trusted (>=5.3 && <5.4), lifted-base (>=0.2), logict (>=0.5), mtl (>=2), mueval (>=0.9.3), network (>=2.7 && <3.2), numbers (>=3000), oeis (>=0.3.1), parsec (>=3), pretty (>=1.1), process (>=1.1), QuickCheck (>=2), regex-tdfa (>=1.1), show (>=0.4), split (>=0.2), syb (>=0.3), transformers (>=0.2), utf8-string (>=0.3), vector-space (>=0.8) [details]
License LicenseRef-GPL
Author Don Stewart
Maintainer Naïm Favier <n@monade.li>
Revised Revision 2 made by ncfavier at 2022-12-01T10:21:36Z
Category Development, Web
Home page https://wiki.haskell.org/Lambdabot
Source repo head: git clone https://github.com/lambdabot/lambdabot.git
Uploaded by ncfavier at 2022-11-13T09:26:05Z
Distributions Debian:5.3, NixOS:5.3.1
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 8501 total (37 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-11-13 [all 1 reports]