lambdabot 5.0.1 → 5.0.2
raw patch · 9 files changed
+356/−220 lines, 9 filesdep ~lambdabot-haskell-plugins
Dependency ranges changed: lambdabot-haskell-plugins
Files
- State/L.hs +0/−79
- State/Pristine.hs +0/−79
- State/Pristine.hs.706 +79/−0
- State/Pristine.hs.708 +78/−0
- State/Pristine.hs.default +169/−0
- State/source +21/−7
- lambdabot.cabal +6/−6
- scripts/online.rc +0/−46
- src/Modules.hs +3/−3
− State/L.hs
@@ -1,79 +0,0 @@-{-# LANGUAGE Safe #-}--{-# LANGUAGE ConstrainedClassMethods #-}-{-# LANGUAGE DeriveDataTypeable #-}-{-# LANGUAGE DeriveFoldable #-}-{-# LANGUAGE DeriveFunctor #-}-{-# LANGUAGE DeriveGeneric #-}-{-# LANGUAGE DeriveTraversable #-}-{-# LANGUAGE EmptyDataDecls #-}-{-# LANGUAGE ExistentialQuantification #-}-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE FunctionalDependencies #-}-{-# LANGUAGE ImplicitParams #-}-{-# LANGUAGE KindSignatures #-}-{-# LANGUAGE LiberalTypeSynonyms #-}-{-# LANGUAGE MagicHash #-}-{-# LANGUAGE MultiParamTypeClasses #-}-{-# LANGUAGE PackageImports #-}-{-# LANGUAGE ParallelListComp #-}-{-# LANGUAGE PatternGuards #-}-{-# LANGUAGE PolymorphicComponents #-}-{-# LANGUAGE PostfixOperators #-}-{-# LANGUAGE RankNTypes #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE StandaloneDeriving #-}-{-# LANGUAGE TypeOperators #-}-{-# LANGUAGE TypeSynonymInstances #-}-{-# LANGUAGE UnboxedTuples #-}-{-# LANGUAGE UnicodeSyntax #-}-module L where-import Control.Applicative-import Control.Arrow-import Control.Monad-import Control.Monad.Cont-import Control.Monad.Identity-import Control.Monad.Instances-import Control.Monad.Reader-import Control.Monad.ST.Safe-import Control.Monad.State-import Control.Monad.Writer-import Data.Bits-import Data.Bool-import Data.Char-import Data.Complex-import Data.Dynamic-import Data.Either-import Data.Eq-import Data.Function-import Data.Int-import Data.List-import Data.Maybe-import Data.Monoid-import Data.Ord-import Data.Ratio-import Data.STRef-import Data.Tree-import Data.Tuple-import Data.Typeable-import Data.Word-import Numeric-import ShowFun-import System.Random-import Lambdabot.Plugin.Haskell.Eval.Trusted-import Text.PrettyPrint.HughesPJ hiding (empty)-import Text.Printf-import qualified Data.ByteString as BS-import qualified Data.ByteString.Char8 as BSC-import qualified Data.ByteString.Lazy as BSL-import qualified Data.ByteString.Lazy.Char8 as BSLC-import qualified Data.Foldable-import qualified Data.IntMap as IM-import qualified Data.IntSet as IS-import qualified Data.Map as M-import qualified Data.Sequence-import qualified Data.Set as S-import qualified Data.Traversable--{-# LINE 1 "<local>" #-}
− State/Pristine.hs
@@ -1,79 +0,0 @@-{-# LANGUAGE Safe #-}--{-# LANGUAGE ConstrainedClassMethods #-}-{-# LANGUAGE DeriveDataTypeable #-}-{-# LANGUAGE DeriveFoldable #-}-{-# LANGUAGE DeriveFunctor #-}-{-# LANGUAGE DeriveGeneric #-}-{-# LANGUAGE DeriveTraversable #-}-{-# LANGUAGE EmptyDataDecls #-}-{-# LANGUAGE ExistentialQuantification #-}-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE FunctionalDependencies #-}-{-# LANGUAGE ImplicitParams #-}-{-# LANGUAGE KindSignatures #-}-{-# LANGUAGE LiberalTypeSynonyms #-}-{-# LANGUAGE MagicHash #-}-{-# LANGUAGE MultiParamTypeClasses #-}-{-# LANGUAGE PackageImports #-}-{-# LANGUAGE ParallelListComp #-}-{-# LANGUAGE PatternGuards #-}-{-# LANGUAGE PolymorphicComponents #-}-{-# LANGUAGE PostfixOperators #-}-{-# LANGUAGE RankNTypes #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE StandaloneDeriving #-}-{-# LANGUAGE TypeOperators #-}-{-# LANGUAGE TypeSynonymInstances #-}-{-# LANGUAGE UnboxedTuples #-}-{-# LANGUAGE UnicodeSyntax #-}-module L where-import Control.Applicative-import Control.Arrow-import Control.Monad-import Control.Monad.Cont-import Control.Monad.Identity-import Control.Monad.Instances-import Control.Monad.Reader-import Control.Monad.ST.Safe-import Control.Monad.State-import Control.Monad.Writer-import Data.Bits-import Data.Bool-import Data.Char-import Data.Complex-import Data.Dynamic-import Data.Either-import Data.Eq-import Data.Function-import Data.Int-import Data.List-import Data.Maybe-import Data.Monoid-import Data.Ord-import Data.Ratio-import Data.STRef-import Data.Tree-import Data.Tuple-import Data.Typeable-import Data.Word-import Numeric-import ShowFun-import System.Random-import Lambdabot.Plugin.Haskell.Eval.Trusted-import Text.PrettyPrint.HughesPJ hiding (empty)-import Text.Printf-import qualified Data.ByteString as BS-import qualified Data.ByteString.Char8 as BSC-import qualified Data.ByteString.Lazy as BSL-import qualified Data.ByteString.Lazy.Char8 as BSLC-import qualified Data.Foldable-import qualified Data.IntMap as IM-import qualified Data.IntSet as IS-import qualified Data.Map as M-import qualified Data.Sequence-import qualified Data.Set as S-import qualified Data.Traversable--{-# LINE 1 "<local>" #-}
+ State/Pristine.hs.706 view
@@ -0,0 +1,79 @@+{-# LANGUAGE Safe #-}++{-# LANGUAGE ConstrainedClassMethods #-}+{-# LANGUAGE DeriveDataTypeable #-}+{-# LANGUAGE DeriveFoldable #-}+{-# LANGUAGE DeriveFunctor #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DeriveTraversable #-}+{-# LANGUAGE EmptyDataDecls #-}+{-# LANGUAGE ExistentialQuantification #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE FunctionalDependencies #-}+{-# LANGUAGE ImplicitParams #-}+{-# LANGUAGE KindSignatures #-}+{-# LANGUAGE LiberalTypeSynonyms #-}+{-# LANGUAGE MagicHash #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE PackageImports #-}+{-# LANGUAGE ParallelListComp #-}+{-# LANGUAGE PatternGuards #-}+{-# LANGUAGE PolymorphicComponents #-}+{-# LANGUAGE PostfixOperators #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE TypeOperators #-}+{-# LANGUAGE TypeSynonymInstances #-}+{-# LANGUAGE UnboxedTuples #-}+{-# LANGUAGE UnicodeSyntax #-}+module L where+import Control.Applicative+import Control.Arrow+import Control.Monad+import Control.Monad.Cont+import Control.Monad.Identity+import Control.Monad.Instances+import Control.Monad.Reader+import Control.Monad.ST.Safe+import Control.Monad.State+import Control.Monad.Writer+import Data.Bits+import Data.Bool+import Data.Char+import Data.Complex+import Data.Dynamic+import Data.Either+import Data.Eq+import Data.Function+import Data.Int+import Data.List+import Data.Maybe+import Data.Monoid+import Data.Ord+import Data.Ratio+import Data.STRef+import Data.Tree+import Data.Tuple+import Data.Typeable+import Data.Word+import Numeric+import ShowFun+import System.Random+import Lambdabot.Plugin.Haskell.Eval.Trusted+import Text.PrettyPrint.HughesPJ hiding (empty)+import Text.Printf+import qualified Data.ByteString as BS+import qualified Data.ByteString.Char8 as BSC+import qualified Data.ByteString.Lazy as BSL+import qualified Data.ByteString.Lazy.Char8 as BSLC+import qualified Data.Foldable+import qualified Data.IntMap as IM+import qualified Data.IntSet as IS+import qualified Data.Map as M+import qualified Data.Sequence+import qualified Data.Set as S+import qualified Data.Traversable++{-# LINE 1 "<local>" #-}
+ State/Pristine.hs.708 view
@@ -0,0 +1,78 @@+{-# LANGUAGE Safe #-}++{-# LANGUAGE ConstrainedClassMethods #-}+{-# LANGUAGE DeriveDataTypeable #-}+{-# LANGUAGE DeriveFoldable #-}+{-# LANGUAGE DeriveFunctor #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DeriveTraversable #-}+{-# LANGUAGE EmptyDataDecls #-}+{-# LANGUAGE ExistentialQuantification #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE FunctionalDependencies #-}+{-# LANGUAGE ImplicitParams #-}+{-# LANGUAGE KindSignatures #-}+{-# LANGUAGE LiberalTypeSynonyms #-}+{-# LANGUAGE MagicHash #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE PackageImports #-}+{-# LANGUAGE ParallelListComp #-}+{-# LANGUAGE PatternGuards #-}+{-# LANGUAGE PolymorphicComponents #-}+{-# LANGUAGE PostfixOperators #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE TypeOperators #-}+{-# LANGUAGE TypeSynonymInstances #-}+{-# LANGUAGE UnboxedTuples #-}+{-# LANGUAGE UnicodeSyntax #-}+module L where+import Control.Applicative+import Control.Arrow+import Control.Monad+import Control.Monad.Cont+import Control.Monad.Identity+import Control.Monad.Reader+import Control.Monad.ST.Safe+import Control.Monad.State+import Control.Monad.Writer+import Data.Bits+import Data.Bool+import Data.Char+import Data.Complex+import Data.Dynamic+import Data.Either+import Data.Eq+import Data.Function+import Data.Int+import Data.List+import Data.Maybe+import Data.Monoid+import Data.Ord+import Data.Ratio+import Data.STRef+import Data.Tree+import Data.Tuple+import Data.Typeable+import Data.Word+import Numeric+import ShowFun+import System.Random+import Lambdabot.Plugin.Haskell.Eval.Trusted+import Text.PrettyPrint.HughesPJ hiding (empty)+import Text.Printf+import qualified Data.ByteString as BS+import qualified Data.ByteString.Char8 as BSC+import qualified Data.ByteString.Lazy as BSL+import qualified Data.ByteString.Lazy.Char8 as BSLC+import qualified Data.Foldable+import qualified Data.IntMap as IM+import qualified Data.IntSet as IS+import qualified Data.Map as M+import qualified Data.Sequence+import qualified Data.Set as S+import qualified Data.Traversable++{-# LINE 1 "<local>" #-}
+ State/Pristine.hs.default view
@@ -0,0 +1,169 @@+{-# LANGUAGE Safe #-}++{-# LANGUAGE BangPatterns #-}+{-# LANGUAGE ConstrainedClassMethods #-}+{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DeriveDataTypeable #-}+{-# LANGUAGE DeriveFoldable #-}+{-# LANGUAGE DeriveFunctor #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DeriveTraversable #-}+{-# LANGUAGE EmptyCase #-}+{-# LANGUAGE EmptyDataDecls #-}+{-# LANGUAGE ExistentialQuantification #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE FunctionalDependencies #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE ImplicitParams #-}+{-# LANGUAGE KindSignatures #-}+{-# LANGUAGE LiberalTypeSynonyms #-}+{-# LANGUAGE MagicHash #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE NoMonomorphismRestriction #-}+{-# LANGUAGE PackageImports #-}+{-# LANGUAGE ParallelListComp #-}+{-# LANGUAGE PatternGuards #-}+{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE PolymorphicComponents #-}+{-# LANGUAGE PostfixOperators #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE TupleSections #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-}+{-# LANGUAGE TypeSynonymInstances #-}+{-# LANGUAGE UnboxedTuples #-}+{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE UnicodeSyntax #-}+{-# LANGUAGE ViewPatterns #-}++module L where+-- TODO: unordered-containters, text, vector (+ lenses thereof)+import Control.Applicative+import Control.Arrow+import Control.Category (Category)+import qualified Control.Category as C+import Control.Exception+import Control.Exception.Lens+import Control.Lens hiding (index, indices)+import qualified Control.Lens as Lens+import qualified Control.Lens+import Control.Monad+import Control.Monad.Cont+import Control.Monad.Except+import Control.Monad.Error.Lens+import Control.Monad.Fix+import Control.Monad.Identity+-- import Control.Monad.Instances+import Control.Monad.RWS+import Control.Monad.Reader+import Control.Monad.ST+import Control.Monad.State+import Control.Monad.Writer+-- import Control.Parallel+-- import Control.Parallel.Strategies+-- import Control.Parallel.Strategies.Lens+import Data.Array+import Data.Array.Lens+import Data.Bits+import Data.Bits.Lens+import Data.Bool+import Data.Char+import Data.Complex+import Data.Complex.Lens+import Data.Data+import Data.Data.Lens+import Data.Default+import Data.Dynamic+import Data.Dynamic.Lens+import Data.Either+import Data.Eq+import Data.Fixed+import Data.Function+import Data.Graph+import Data.Int+import Data.Ix+import Data.List+import Data.List.Lens+import Data.List.Split+-- import Data.List.Split.Lens+import Data.Maybe+import Data.Monoid+-- import Data.Number.BigFloat+import Data.Number.CReal+import Data.Number.Interval+import Data.Number.Natural+import Data.Number.Symbolic hiding (var)+import qualified Data.Number.Symbolic+import qualified Data.Number.Symbolic as Sym+import Data.Ord+import Data.Ratio+import Data.STRef+import Data.Tree+import Data.Tree.Lens+import Data.Tuple+import Data.Typeable+import Data.Typeable.Lens+import Data.Default+-- import Data.Void+-- import Data.Universe+import Data.Word+import Debug.SimpleReflect+import Numeric+-- import Numeric.AD+-- import Numeric.AD.Types+import Numeric.Lens+import ShowFun+import System.Random hiding (split)+import qualified System.Random+import qualified System.Random as R+import Lambdabot.Plugin.Haskell.Eval.Trusted hiding ((.&.))+import Text.PrettyPrint.HughesPJ hiding (empty, first, (<>))+import qualified Text.PrettyPrint.HughesPJ+import Text.Printf+import qualified Data.ByteString as BS+import qualified Data.ByteString.Char8 as BSC+import qualified Data.ByteString.Lazy as BSL+import qualified Data.ByteString.Lazy.Char8 as BSLC+import Data.ByteString.Lens+import qualified Data.Foldable as F+import Data.Foldable (Foldable, fold, foldMap)+import qualified Data.IntMap as IM+import qualified Data.IntSet as IS+import qualified Data.Map as M+import qualified Data.Sequence as Seq+import Data.Sequence.Lens+import qualified Data.Set as S+import Data.Set.Lens+import qualified Data.Traversable as T+-- import Math.NumberTheory.GCD+-- import Math.NumberTheory.Logarithms+-- import Math.NumberTheory.Moduli+-- import Math.NumberTheory.MoebiusInversion+-- import Math.NumberTheory.Powers+-- import Math.NumberTheory.Primes+-- import Math.NumberTheory.Primes.Factorisation.Certified+-- import Math.NumberTheory.Primes.Testing.Certificates++default ((),Integer,Double)++infixl 0 `asTypeIn`+asTypeIn :: a -> (a -> b) -> a+x `asTypeIn` _ = x++infixl 0 `asAppliedTo`+asAppliedTo :: (a -> b) -> a -> a -> b+asAppliedTo f _ = f++-- FIXME: should just import Mu from elsewhere and avoid duplicating+-- the instances/definitions+cata :: Functor f => (f a -> a) -> Mu f -> a+cata f = f . fmap (cata f) . out++-- TODO: source from a package? define in terms of lens' Equality?+-- data Is a b where Refl :: Is a a++{-# LINE 1 "<local>" #-}
State/source view
@@ -83,8 +83,8 @@ mapM_ f as = sequence_ (map f as) guard-guard True = return ()-guard False = mzero+guard True = pure ()+guard False = empty forM forM = flip mapM@@ -1211,8 +1211,7 @@ (**), logBase :: a -> a -> a Num--- Doesn't require (Eq a, Show a) in newer GHC.-class (Eq a, Show a) => Num a where+class Num a where (+), (-), (*) :: a -> a -> a negate, abs, signum :: a -> a fromInteger :: Integer -> a@@ -1254,12 +1253,19 @@ (<|>) :: f a -> f a -> f a Monad-class Monad m where- (>>=) :: forall a b. m a -> (a -> m b) -> m b- (>>) :: forall a b. m a -> m b -> m b+class Applicative m => Monad m where+ -- Note: Applicative wasn't a superclass before GHC 7.10+ (>>=) :: m a -> (a -> m b) -> m b+ (>>) :: m a -> m b -> m b return :: a -> m a fail :: String -> m a +MonadPlus+class Alternative m => MonadPlus m where+ -- Note: Alternative wasn't a superclass before GHC 7.10+ mzero :: m a+ mplus :: m a -> m a -> m a+ Monoid class Monoid a where mempty :: a@@ -1382,6 +1388,14 @@ sequenceA :: Applicative f => t (f a) -> f (t a) mapM :: Monad m => (a -> m b) -> t a -> m (t b) sequence :: Monad m => t (m a) -> m (t a)++traverse_+traverse_ h xs = foldr (\fx fxs -> h fx *> fxs) (pure ())+--OR+traverse_ h xs = traverse h xs *> pure ()++map_+map_ = flip traverse_ IO fmap fmap f x = x >>= (return . f)
lambdabot.cabal view
@@ -1,5 +1,5 @@ name: lambdabot-version: 5.0.1+version: 5.0.2 license: GPL license-file: LICENSE@@ -32,10 +32,10 @@ Changelog README.md -data-files: scripts/online.rc,- State/haddock,- State/L.hs,- State/Pristine.hs,+data-files: State/haddock,+ State/Pristine.hs.706,+ State/Pristine.hs.708,+ State/Pristine.hs.default, State/source, State/vixen @@ -50,7 +50,7 @@ ghc-options: -Wall -threaded build-depends: base >= 3 && < 5, lambdabot-core >= 5.0.1 && < 5.1,- lambdabot-haskell-plugins >= 5.0.1 && < 5.1,+ lambdabot-haskell-plugins >= 5.0.2 && < 5.1, lambdabot-irc-plugins >= 5.0.1 && < 5.1, lambdabot-misc-plugins >= 5.0.1 && < 5.1, lambdabot-novelty-plugins >= 5.0.1 && < 5.1,
− scripts/online.rc
@@ -1,46 +0,0 @@-irc-connect freenode chat.freenode.net 6667 lambdabot Lambda_Robots:_100%_Loyal-rc passwd.rc-admin + freenode:Cale-admin + freenode:Igloo-admin + freenode:Lemmih-admin + freenode:Pseudonym-admin + freenode:mauke-admin + freenode:dons-admin + freenode:gwern-admin + freenode:igli-admin + freenode:int-e-admin + freenode:musasabi-admin + freenode:shapr-admin + freenode:sjanssen-admin + freenode:sorear-admin + freenode:vincenz-join freenode:##logic-join freenode:#arch-haskell-join freenode:#darcs-join freenode:#debian-es-join freenode:#friendly-coders-join freenode:#gentoo-haskell-join freenode:#ghc-join freenode:#happs-join freenode:#haskell-join freenode:#haskell-blah-join freenode:#haskell-books-join freenode:#haskell-overflow-join freenode:#haskell-soc-join freenode:#haskell.cz-join freenode:#haskell.de-join freenode:#haskell.dut-join freenode:#haskell.es-join freenode:#haskell.fi-join freenode:#haskell.fr-join freenode:#haskell.it-join freenode:#haskell.jp-join freenode:#haskell.se-join freenode:#haskell_ru-join freenode:#lessswrong-join freenode:#macosx-join freenode:#perl6-join freenode:#rosettacode-join freenode:#scala-join freenode:#unicycling-join freenode:#xmonad
src/Modules.hs view
@@ -18,6 +18,6 @@ ++ haskellPlugins ++ ["irc", "localtime", "topic"] -- ircPlugins ++ ["dummy", "fresh", "todo"] -- miscPlugins- ++ ["bf", "dice", "elite", "filter", "quote", "slap", "unlambda", "vixen"] -- noveltyPlugins- ++ referencePlugins- ++ socialPlugins)+ ++ ["bf", "dice", "elite", "filter", "quote", "slap", "unlambda"] -- noveltyPlugins+ ++ ["dict", "metar", "oeis", "search", "spell", "ticker", "where"] -- referencePlugins+ ++ ["activity", "karma", "poll", "tell"]) -- socialPlugins