connections-0.0.3: Partial orders, Galois connections, and lattices.

Safe HaskellNone
LanguageHaskell2010

Data.Connection.Float

Contents

Synopsis

Float

f32i08 :: Trip Float (Extended Int8) Source #

All Int08 values are exactly representable in a Float.

f32i16 :: Trip Float (Extended Int16) Source #

All Int16 values are exactly representable in a Float.

f32i32 :: Conn Float (Nan Int32) Source #

Exact embedding up to the largest representable Int32.

i32f32 :: Conn (Nan Int32) Float Source #

Exact embedding up to the largest representable Int32.

Double

f64i08 :: Trip Double (Extended Int8) Source #

All Int8 values are exactly representable in a Double.

f64i16 :: Trip Double (Extended Int16) Source #

All Int16 values are exactly representable in a Double.

f64i32 :: Trip Double (Extended Int32) Source #

All Int32 values are exactly representable in a Double.

f64i64 :: Conn Double (Nan Int64) Source #

Exact embedding up to the largest representable Int64.

i64f64 :: Conn (Nan Int64) Double Source #

Exact embedding up to the largest representable Int64.