The lambdabot-haskell-plugins package

[Tags:gpl, library]

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.

Properties

Versions 5.0, 5.0.1, 5.0.2, 5.0.2.1, 5.0.3, 5.1, 5.1.0.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.0.1 && <1.19.1), hoogle (>=4.2), HTTP (>=4000), IOSpec (>=0.2), lambdabot-core (==5.1.*), lambdabot-reference-plugins (==5.1.*), lambdabot-trusted (==5.1.*), lifted-base (>=0.2), logict (>=0.5), MonadRandom (>=0.1), mtl (>=2), mueval (>=0.9.3), network (>=2.3.0.13), 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 GPL
Author Don Stewart
Maintainer James Cook <mokus@deepbondi.net>
Category Development, Web
Home page https://wiki.haskell.org/Lambdabot
Source repository head: git clone https://github.com/lambdabot/lambdabot.git
Uploaded Thu Feb 23 18:43:59 UTC 2017 by BertramFelgenhauer
Distributions NixOS:5.1.0.1
Downloads 1212 total (43 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2017-02-23 [all 3 reports]
Hackage Matrix CI

Modules

  • Lambdabot
    • Plugin
      • Lambdabot.Plugin.Haskell

Downloads

Maintainer's Corner

For package maintainers and hackage trustees