Home
last modified time | relevance | path

Searched refs:AutoExponent (Results 1 – 3 of 3) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Utils/
H A DPP.hs51 | AutoExponent -- ^ Only show exponent when needed constructor
58 , useFPFormat = FloatFree AutoExponent
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DFloatHelpers.hs80 AutoExponent -> f
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/REPL/
H A DMonad.hs878 "free" -> Just $ FloatFree AutoExponent
885 "" -> Just AutoExponent