lambdabot-4.3: src/Lambdabot/Plugin/Eval/Trusted.hs

{-# LANGUAGE Trustworthy #-}
module Lambdabot.Plugin.Eval.Trusted
    ( module Math.OEIS
    , module Test.QuickCheck
    , module Lambdabot.Plugin.Check.ShowQ
    , module Lambdabot.Plugin.Eval.Trusted
    ) where

import Math.OEIS
import Lambdabot.Plugin.Check.ShowQ
import Test.QuickCheck

describeSequence :: SequenceData -> Maybe String
describeSequence = fmap description . lookupSequence

newtype Mu f = In { out :: f (Mu f) }

newtype Rec a = InR { outR :: Rec a -> a }