ZM.Type.Float64

Documentation

data IEEE_754_binary64

An IEEE-754 Big Endian 64 bits Float

Constructors

IEEE_754_binary64

Fields

• sign :: Sign
• exponent :: MostSignificantFirst Bits11
• fraction :: MostSignificantFirst Bits52

Instances

Eq IEEE_754_binary64

Methods

(==) :: IEEE_754_binary64 -> IEEE_754_binary64 -> Bool

(/=) :: IEEE_754_binary64 -> IEEE_754_binary64 -> Bool

Ord IEEE_754_binary64

Methods

compare :: IEEE_754_binary64 -> IEEE_754_binary64 -> Ordering

(<) :: IEEE_754_binary64 -> IEEE_754_binary64 -> Bool

(<=) :: IEEE_754_binary64 -> IEEE_754_binary64 -> Bool

(>) :: IEEE_754_binary64 -> IEEE_754_binary64 -> Bool

(>=) :: IEEE_754_binary64 -> IEEE_754_binary64 -> Bool

max :: IEEE_754_binary64 -> IEEE_754_binary64 -> IEEE_754_binary64

min :: IEEE_754_binary64 -> IEEE_754_binary64 -> IEEE_754_binary64

Show IEEE_754_binary64

Methods

showsPrec :: Int -> IEEE_754_binary64 -> ShowS

show :: IEEE_754_binary64 -> String

showList :: [IEEE_754_binary64] -> ShowS

Generic IEEE_754_binary64

Associated Types

type Rep IEEE_754_binary64 :: * -> *

Methods

from :: IEEE_754_binary64 -> Rep IEEE_754_binary64 x

to :: Rep IEEE_754_binary64 x -> IEEE_754_binary64

Model IEEE_754_binary64

Methods

envType :: Proxy * IEEE_754_binary64 -> State Env HType

type Rep IEEE_754_binary64

type Rep IEEE_754_binary64 = D1 (MetaData "IEEE_754_binary64" "ZM.Type.Float64" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "IEEE_754_binary64" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "sign") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Sign)) ((:*:) (S1 (MetaSel (Just Symbol "exponent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MostSignificantFirst Bits11))) (S1 (MetaSel (Just Symbol "fraction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MostSignificantFirst Bits52))))))