Compact systematic display of values

Author: timholy

src/FixedPointNumbers.jl

@@ -34,7 +34,12 @@ export
     uf12,
     uf14,
     uf16,
-    # Functions
+    U₈⁸,
+    U₁₀¹⁶,
+    U₁₂¹⁶,
+    U₁₄¹⁶,
+    U₁₆¹⁶,
+# Functions
     scaledual
 
 reinterpret(x::FixedPoint) = x.i
@@ -99,12 +104,14 @@ scaledual{Tdual<:Number, T<:FixedPoint}(b::Tdual, x::Union{T,AbstractArray{T}})
     convert(Tdual, b/one(T)), reinterpret(rawtype(T), x)
 
 # printing
+const subscripts = ('₀','₁','₂','₃','₄','₅','₆','₇','₈','₉')
+const superscripts = ('⁰','¹','²','³','⁴','⁵','⁶','⁷','⁸','⁹')
 function show{T,f}(io::IO, x::FixedPoint{T,f})
-    shorttype = typeof(x)<:UFixed ? "UFixed" : "Fixed"
-    print(io, shorttype, "{", T, ",", f, "}")
-    print(io, "(")
     showcompact(io, x)
-    print(io, ")")
+    shorttype = typeof(x)<:UFixed ? "U" : "F"
+    fstr = join(map(n->subscripts[n+1],   reverse(digits(f))), "")
+    Tstr = join(map(n->superscripts[n+1], reverse(digits(sizeof(T)*8))), "")
+    print(io, shorttype, fstr, Tstr)
 end
 const _log2_10 = 3.321928094887362
 showcompact{T,f}(io::IO, x::FixedPoint{T,f}) = show(io, round(convert(Float64,x), ceil(Int,f/_log2_10)))

src/ufixed.jl

@@ -21,7 +21,8 @@ const UF = (UFixed8, UFixed10, UFixed12, UFixed14, UFixed16)
 
 reinterpret{T<:Unsigned, f}(::Type{UFixed{T,f}}, x::T) = UFixed{T,f}(x, 0)
 
-# The next lines mimic the floating-point literal syntax "3.2f0"
+## The next lines mimic the floating-point literal syntax "3.2f0"
+# construction using a UInt, i.e., 0xccuf8
 immutable UFixedConstructor{T,f} end
 *{T,f}(n::Integer, ::UFixedConstructor{T,f}) = UFixed{T,f}(n,0)
 const uf8  = UFixedConstructor{UInt8,8}()
@@ -30,6 +31,15 @@ const uf12 = UFixedConstructor{UInt16,12}()
 const uf14 = UFixedConstructor{UInt16,14}()
 const uf16 = UFixedConstructor{UInt16,16}()
 
+# construction using the actual value, i.e., 0.8U₈⁸
+immutable UValueConstructor{T,f} end
+*{T,f}(x::Real, ::UValueConstructor{T,f}) = UFixed{T,f}(x)
+const U₈⁸   = UValueConstructor{UInt8,8}()
+const U₁₀¹⁶ = UValueConstructor{UInt16,10}()
+const U₁₂¹⁶ = UValueConstructor{UInt16,12}()
+const U₁₄¹⁶ = UValueConstructor{UInt16,14}()
+const U₁₆¹⁶ = UValueConstructor{UInt16,16}()
+
 zero{T,f}(::Type{UFixed{T,f}}) = UFixed{T,f}(zero(T),0)
 @generated function one{T<:UFixed}(::Type{T})
     f = 2^nbitsfrac(T)-1

test/ufixed.jl

@@ -13,6 +13,11 @@ using Compat
 @test reinterpret(UFixed12, 0x1fa2) == 0x1fa2uf12
 @test reinterpret(UFixed14, 0x1fa2) == 0x1fa2uf14
 @test reinterpret(UFixed16, 0x1fa2) == 0x1fa2uf16
+@test 0.635U₈⁸   == UFixed8(0.635)
+@test 0.635U₁₀¹⁶ == UFixed10(0.635)
+@test 0.635U₁₂¹⁶ == UFixed12(0.635)
+@test 0.635U₁₄¹⁶ == UFixed14(0.635)
+@test 0.635U₁₆¹⁶ == UFixed16(0.635)
 
 @test UFixed8(1.0) == 0xffuf8
 @test UFixed8(0.5) == 0x80uf8
@@ -159,7 +164,7 @@ x = 0xaauf8
 iob = IOBuffer()
 show(iob, x)
 str = takebuf_string(iob)
-@test startswith(str, "UFixed{UInt8,8}(")
+@test str == "0.667U₈⁸"
 @test eval(parse(str)) == x
 
 # scaledual