Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Evaluation.Builtins.Conversion
Documentation
i2bProperty1 ∷ PropertyT IO () Source #
i2bProperty2 ∷ PropertyT IO () Source #
i2bProperty3 ∷ PropertyT IO () Source #
i2bProperty4 ∷ PropertyT IO () Source #
i2bProperty5 ∷ PropertyT IO () Source #
i2bProperty6 ∷ PropertyT IO () Source #
i2bProperty7 ∷ PropertyT IO () Source #
b2iProperty1 ∷ PropertyT IO () Source #
b2iProperty2 ∷ PropertyT IO () Source #
b2iProperty3 ∷ PropertyT IO () Source #
i2bLimitTests ∷ [TestTree] Source #