lambdabot-trusted-5.0.2: Lambdabot trusted code.

Safe HaskellTrustworthy
LanguageHaskell98

Lambdabot.Plugin.Haskell.Eval.Trusted

Documentation

module Test.QuickCheck.Safe

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

newtype Mu f Source

Constructors

In 

Fields

out :: f (Mu f)
 

newtype Rec a Source

Constructors

InR 

Fields

outR :: Rec a -> a
 

module GHC.Exts

data Constraint :: BOX

Instances