ZM.Type.Float32

Documentation

data IEEE_754_binary32

An IEEE-754 Big Endian 32 bits Float

Constructors

IEEE_754_binary32

Fields

• sign :: Sign
• exponent :: MostSignificantFirst Bits8
• fraction :: MostSignificantFirst Bits23

Instances

Eq IEEE_754_binary32

Methods

(==) :: IEEE_754_binary32 -> IEEE_754_binary32 -> Bool

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

Ord IEEE_754_binary32

Methods

compare :: IEEE_754_binary32 -> IEEE_754_binary32 -> Ordering

(<) :: IEEE_754_binary32 -> IEEE_754_binary32 -> Bool

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

(>) :: IEEE_754_binary32 -> IEEE_754_binary32 -> Bool

(>=) :: IEEE_754_binary32 -> IEEE_754_binary32 -> Bool

max :: IEEE_754_binary32 -> IEEE_754_binary32 -> IEEE_754_binary32

min :: IEEE_754_binary32 -> IEEE_754_binary32 -> IEEE_754_binary32

Show IEEE_754_binary32

Methods

showsPrec :: Int -> IEEE_754_binary32 -> ShowS

show :: IEEE_754_binary32 -> String

showList :: [IEEE_754_binary32] -> ShowS

Generic IEEE_754_binary32

Associated Types

type Rep IEEE_754_binary32 :: * -> *

Methods

from :: IEEE_754_binary32 -> Rep IEEE_754_binary32 x

to :: Rep IEEE_754_binary32 x -> IEEE_754_binary32

Model IEEE_754_binary32

Methods

envType :: Proxy * IEEE_754_binary32 -> State Env HType

type Rep IEEE_754_binary32

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