1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
-----------------------------------------------------------------------------
-- |
-- Module : Data.SBV.Float
-- Copyright : (c) Levent Erkok
-- License : BSD3
-- Maintainer: erkokl@gmail.com
-- Stability : experimental
--
-- A collection of arbitrary float operations.
-----------------------------------------------------------------------------
{-# OPTIONS_GHC -Wall -Werror #-}
module Data.SBV.Float (
-- * Type-sized floats
FP(..)
-- * Constructing values
, fpFromRawRep, fpFromBigFloat, fpNaN, fpInf, fpZero
-- * Operations
, fpFromInteger, fpFromRational, fpFromFloat, fpFromDouble, fpEncodeFloat
) where
import Data.SBV.Core.SizedFloats
|
