module IEEE754.Everything where

-- Typechecking this module typechecks every normal module in ff-ieee-754.
-- The exploratory RangeUpperScratch module and the long-running Examples
-- module are outside the normal check set. IEEE754 is omitted because it
-- imports Examples.
import IEEE754.BitVec
import IEEE754.Classification
import IEEE754.DecodeSpec
import IEEE754.Exact
import IEEE754.Exception
import IEEE754.FiniteDecode
import IEEE754.FiniteSpec
import IEEE754.Format
import IEEE754.Prelude
import IEEE754.Range
import IEEE754.RationalOrder
import IEEE754.Representable
import IEEE754.Representation
import IEEE754.Rounding
import IEEE754.RoundingSpec
import IEEE754.Semantics
import IEEE754.Sign
import IEEE754.SignedValue