cryptol-3.1.0: Cryptol: The Language of Cryptography
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.Utils.Types

Description

Useful information about various types.

Synopsis

Documentation

float32ExpPrec :: (Integer, Integer) Source #

Exponent and precision of 32-bit IEEE-754 floating point.

float64ExpPrec :: (Integer, Integer) Source #

Exponent and precision of 64-bit IEEE-754 floating point.