Lambdabot.Plugin.Haskell.Eval.Trusted

Documentation

module Test.QuickCheck.Safe

myquickcheck :: STestable prop => prop -> String

newtype Mu f

Constructors

In

Fields

out :: f (Mu f)

newtype Rec a

Constructors

InR

Fields

outR :: Rec a -> a

module GHC.Exts

data Constraint :: BOX

Instances

Typeable ((* -> *) -> Constraint) Alternative

Typeable ((* -> *) -> Constraint) Applicative