softfloat-hs: Haskell bindings for SoftFloat

[ bsd3, library, math ] [ Propose Tags ]

Provides a pure functional interface to John Hauser's SoftFloat, an implementation of IEEE floating point in the C programming language.

[Skip to Readme]


  • SoftFloat
    • SoftFloat.Internal


Maintainer's Corner

For package maintainers and hackage trustees


Versions [RSS] 0.1.0
Change log
Dependencies base (>=4.7 && <5) [details]
License BSD-3-Clause
Copyright March 2018
Author Ben Selfridge
Category Math
Home page
Uploaded by benselfridge at 2018-08-21T04:40:02Z
Distributions NixOS:0.1.0
Downloads 591 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2018-08-21 [all 2 reports]

Readme for softfloat-hs-0.1.0

[back to package description]

softfloat-hs - Haskell bindings for SoftFloat.

copyright (c) Ben Selfridge, Galois Inc. 2018

This library consists primarily of a Haskell interface to John Hauser's SoftFloat library ( It provides a pure interface to the functions in that library; while the C library is actually impure, reading and writing to global variables (rounding mode, exceptions), the Haskell functions have a pure interface, and those variables that were global in the original library are captured as input arguments and additional outputs of each function.


We assume you have already installed the Haskell stack build tool

Step 1: Install softfloat

SoftFloat is not too complicated to install, but it is best to build a dynamic library so that softfloat-hs can be loaded into ghci (which does not support statically linked C libraries). For convenience, we provide SoftFloat itself as a submodule, as well as a script to install it on OSX:

$ git submodule init --update --recursive
$ ./

If you are on a Linux system, use:

$ git submodule init --update --recursive
$ sudo ./

Step 2: Build softfloat-hs with stack

stack build

Step 3: Test softfloat-hs

stack ghci
> let Result x flags = ui32ToF32 RoundNearEven 23
> :m +Numeric
> showHex x ""
> flags
ExceptionFlags {inexact = False, underflow = False, overflow = False, infinite = False, invalid = False}
> let Result y flags = ui32ToF32 RoundNearEven 3
> showHex y ""
> let Result z flags = f32Div RoundNearEven x y
> showHex z ""
> flags
ExceptionFlags {inexact = True, underflow = False, overflow = False, infinite = False, invalid = False}


The following are a list of mandatory and secondary requirements for softfloat-hs.

Mandatory Requirements

  • Must provide a "pure" Haskell interface to all of the SoftFloat functions.
  • Must make explicit ALL global variables involved.

Secondary Requirements

  • Support 80-bit and 128-bit operations.

Current Status

The library is functional, although a few global variables are not yet captured (whether underflow is detected before or after rounding, for example).

Other information