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

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

OpenTheory.Primitive.Test

Description

 

Documentation

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

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