lambdabot-trusted-5.3.1.2: Lambdabot trusted code.
Safe HaskellTrustworthy
LanguageHaskell98

Lambdabot.Plugin.Haskell.Eval.Trusted

Documentation

module Math.OEIS

module Test.QuickCheck.Safe

myquickcheck :: STestable prop => prop -> String Source #

newtype Rec a Source #

Constructors

InR 

Fields

describeSequence :: SequenceData -> Maybe String Source #

newtype Mu (f :: Type -> Type) Source #

Constructors

In 

Fields