lambdabot-trusted-5.0.2.1: src/Lambdabot/Plugin/Haskell/Eval/Trusted.hs

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

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

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

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

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