opentheory-primitive-1.2: Haskell primitives used by OpenTheory packages

Portabilityportable
Stabilityprovisional
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Safe HaskellNone

OpenTheory.Primitive.Test

Description

 

Documentation

assert :: String -> Bool -> IO ()Source

check :: Testable prop => String -> prop -> IO ()Source