repo.or.cz
/
altfloat.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
floating: Add a Sortable constraint for PrimFloat.
2010-02-24
Nick
B
owl
e
r
f
l
oating: Add a Sort
a
ble con
s
tr
a
int for PrimFloat
.
commit
|
commitdiff
|
tree
2010-02-24
Nic
k
Bo
w
l
er
floating
:
Add a new Dat
a
.
Floating
.
T
y
pes module
.
commit
|
commitdiff
|
tree
2010-02-24
Ni
c
k B
o
wler
trivial
:
R
emove red
u
nd
a
nt
i
m
p
o
r
ts and pointles
s
variable
s
.
commit
|
commitdiff
|
tree
2010-02-24
Nick Bowler
roundab
l
e: Split
o
u
t
th
e
Roundab
l
e
c
l
ass
.
commit
|
commitdiff
|
tree
2010-02-24
Nick Bowler
poset
:
Add fixity
d
eclara
t
ions
.
commit
|
commitdiff
|
tree
2010-02-24
Nick Bowler
floating: Move Da
t
a
.
Floating
.
CMath
.
Instances under
.
.
.
commit
|
commitdiff
|
tree
2010-02-24
Nick Bowler
floating: Merge Data
.
Floatin
g
.
Type
s
and Data
.
Floating
.
.
.
commit
|
commitdiff
|
tree
2010-02-23
Nic
k
Bowler
f
en
v
:
Add support for su
p
pressing except
i
on
s
across
.
.
.
commit
|
commitdiff
|
tree
2010-02-22
Nick B
o
wler
floating: Add epsilon
t
o the
R
ealFloat class
.
commit
|
commitdiff
|
tree
2010-02-20
Ni
c
k
Bowle
r
cmath: Fix bad typo in atan2 and atan2f
.
commit
|
commitdiff
|
tree
2010-02-20
Ni
c
k
Bowler
complex: Add ini
t
ial co
m
pl
e
x s
u
pport
.
commit
|
commitdiff
|
tree
2010-02-20
Nick Bowler
c
m
ath: Fix section he
a
d
i
ngs to mat
c
h t
h
e C
standard
.
commit
|
commitdiff
|
tree
2010-02-20
Nick Bowl
e
r
f
loatin
g
: Add instan
c
es for
CDouble and CFloat
.
commit
|
commitdiff
|
tree
2010-02-20
Nic
k
Bowl
e
r
floating: Fix off-by-one
e
rror in scaleRational
.
commit
|
commitdiff
|
tree
2010-02-19
N
ic
k
Bowler
fl
o
ati
n
g: Sp
l
i
t
o
ut for
m
atting from the Double module
.
commit
|
commitdiff
|
tree
2010-02-19
Nick Bo
w
ler
f
loating: Make from
R
a
tional w
o
r
k
pro
p
erl
y
.
commit
|
commitdiff
|
tree
2010-02-19
Ni
c
k Bowler
floating: Add sca
l
b as th
e
alt
f
loat
version of scal
b
ln
.
commit
|
commitdiff
|
tree
2010-02-19
Nick Bowle
r
fl
o
a
t
ing: Add another cha
r
a
c
teristic function and
ge
n
eralize
.
.
.
commit
|
commitdiff
|
tree
2010-02-19
Nick
B
owler
floating: Add so
m
e
floating point character
i
stic
functions
.
commit
|
commitdiff
|
tree
2010-02-12
N
ick Bow
l
er
float
i
ng
:
Punt the F
F
I newtype wrappers
.
commit
|
commitdiff
|
tree
2010-02-06
N
ick Bowle
r
altfloat-0
.
3
commit
|
commitdiff
|
tree
2010-02-05
Nick Bowler
doc
:
Add
h
addock doc
u
mentation
f
or the RealFloa
t
class
.
commit
|
commitdiff
|
tree
2010-02-05
Nick
Bowler
flo
a
t
i
n
g
:
Rename tgamma to g
a
mma
.
commit
|
commitdiff
|
tree
2010-02-05
Nick Bowle
r
floating: Mov
e
t
h
e Double and Float modu
l
es
.
commit
|
commitdiff
|
tree
2010-02-05
Nic
k
Bowle
r
floating:
U
se nearbyint instead of round in f
q
uotRem
.
commit
|
commitdiff
|
tree
2010-02-05
Nick Bowler
floating: A
d
d ri
n
t f
u
ncti
o
n
to complemen
t
nearbyint
.
commit
|
commitdiff
|
tree
2010-02-05
Nick Bow
l
e
r
exampl
e
s: Add a demo
n
strat
i
o
n
of why
FEnv i
s
still
.
.
.
commit
|
commitdiff
|
tree
2010-02-05
Nic
k
Bo
w
ler
fenv: Add
support for raising exceptions expli
c
itly
.
commit
|
commitdiff
|
tree
2010-02-05
Nick Bowler
cfloat:
Use FE_ALL_EXCEPT instead
o
f -1
.
commit
|
commitdiff
|
tree
2010-02-02
Nick
Bowler
com
p
at: Make a
n
ef
f
ort to s
u
p
p
ort fma properly
.
commit
|
commitdiff
|
tree
2010-02-02
Nick Bo
w
l
er
floating: Punt
the class version o
f
C's remq
u
o function
.
commit
|
commitdiff
|
tree
2010-02-02
Nick Bowler
float
i
ng
:
Add a separate class
f
or the b
a
sic floating
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Nick B
o
wler
compat: Add note to s
o
urce
fil
e
a
bout
n
on-conformance
.
commit
|
commitdiff
|
tree
2010-01-30
Nick
Bowler
doc
:
Ackno
w
ledge t
h
e ex
i
sten
c
e of
f
loating
p
oint environment
.
.
.
commit
|
commitdiff
|
tree
2010-01-30
Nick
Bowler
c
o
mpa
t
:
Imple
m
ent wrappers
f
or C99
f
l
o
at-valued functions
.
commit
|
commitdiff
|
tree
2010-01-28
Nick
B
o
w
ler
build: Fix
b
uild t
y
pe in cabal f
i
le
.
commit
|
commitdiff
|
tree
2010-01-28
Nick B
o
wle
r
c
ompat
:
Add configure war
n
i
n
g when replacements
are
.
.
.
commit
|
commitdiff
|
tree
2010-01-28
Ni
c
k Bow
l
er
cfl
o
a
t
: Add compati
b
ility
w
r
a
ppers fo
r
so
m
e C99
f
unctions
.
commit
|
commitdiff
|
tree
2010-01-28
Nick Bowler
build: Add
sour
c
e r
e
pository to
ca
b
al file
.
commit
|
commitdiff
|
tree
2010-01-28
Nick Bowl
e
r
f
e
nv: Add e
x
plicit defi
n
i
tions for infinity
,
nan a
n
d pi
.
commit
|
commitdiff
|
tree
2010-01-28
Nick Bowler
fenv: Fix embarrassing t
y
po in the Fr
a
ctional i
n
s
tan
c
e
.
commit
|
commitdiff
|
tree
2010-01-28
Nick Bo
w
ler
fenv: Re-export Control
.
A
p
p
l
icative si
n
ce
u
sers need
it
.
commit
|
commitdiff
|
tree
2010-01-28
Nick Bowler
floati
n
g: Add
exception suppo
r
t
t
o
fenvEva
l
.
commit
|
commitdiff
|
tree
2010-01-28
Nick B
o
wler
license: Fix copyrig
h
t years in source files
.
commit
|
commitdiff
|
tree
2010-01-28
Nic
k
Bo
w
ler
floating: Use a strict
d
ata c
o
nstructor for FEnv
.
commit
|
commitdiff
|
tree
2010-01-28
Nic
k
Bowl
e
r
floatin
g
: Add initia
l
su
p
p
o
rt for floating point
exceptions
.
commit
|
commitdiff
|
tree
2010-01-27
Nick
Bow
l
er
f
l
o
ating:
A
dd
nearby
i
nt to
t
he
Rea
l
F
l
oat
class
.
commit
|
commitdiff
|
tree
2010-01-27
N
i
c
k Bowler
bui
l
d: Update cab
a
l depen
d
e
ncy
i
nformation
f
or GHC
.
.
.
commit
|
commitdiff
|
tree
2010-01-27
Nick B
o
w
l
er
f
lo
a
t: Remo
v
e use of
decodeFloatI
n
tege
r
.
commit
|
commitdiff
|
tree
2010-01-27
Nick Bo
w
ler
floating: Us
e
ban
g
p
a
tterns for unlifted bindings
.
commit
|
commitdiff
|
tree
2010-01-27
Nick Bo
w
ler
cfl
o
at: remove
I
NCLU
D
E pragmas as G
H
C
6
.
12 hates them
.
commit
|
commitdiff
|
tree
2010-01-27
N
i
ck
B
owler
b
uild: Add m
i
s
s
ing
Dat
a
.
Floati
n
g
.
Floa
t
to cabal file
.
commit
|
commitdiff
|
tree
2010-01-27
Nick Bowle
r
floating: A
d
d initial
s
u
p
p
o
rt for
the floating po
i
nt
.
.
.
commit
|
commitdiff
|
tree
2010-01-26
Nick
Bow
l
er
build: Add
h
omepage
.
commit
|
commitdiff
|
tree
2010-01-25
Nic
k
Bowler
cflo
a
t
: G
e
neralize double_format to
a
llo
w
spe
c
ifying
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Nick Bowler
f
l
oa
t
:
Add
cla
s
s in
s
tances
for Float
.
commit
|
commitdiff
|
tree
2010-01-25
Nick Bowler
cmath: Add
b
inding
s
for
f
loat-valued fu
n
ction
s
.
commit
|
commitdiff
|
tree
2010-01-21
Nick Bow
l
er
altfloa
t
-0
.
2
commit
|
commitdiff
|
tree
2010-01-21
Nick Bowler
license
:
Add
missing copyright header
s
.
commit
|
commitdiff
|
tree
2010-01-21
Nick Bowler
doc:
Add ra
t
ionale
b
ehin
d
t
he
Roundable
cl
a
ss
.
commit
|
commitdiff
|
tree
2010-01-21
Nick Bowler
d
o
c: Fix oops
i
n
de
s
cript
i
on of Ord class
.
commit
|
commitdiff
|
tree
2010-01-20
Nick Bowler
poset: Add commutativity not
e
for m
a
x and min
.
commit
|
commitdiff
|
tree
2010-01-20
Nick Bowler
po
s
et: Rename isSignificant to isO
r
der
e
d
.
commit
|
commitdiff
|
tree
2010-01-20
N
i
ck Bow
l
e
r
doc
:
Mo
v
e l
i
br
a
ry
descri
p
t
ion
to a
b
etter home
.
commit
|
commitdiff
|
tree
2010-01-19
Nick Bowl
e
r
build: H
a
ckage-ify the
cab
a
l file
.
commit
|
commitdiff
|
tree
2009-12-24
Nick Bowl
e
r
f
l
o
a
ti
n
g: Add Roundab
l
e instance for Integral a =
>
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
N
i
ck B
o
wler
poset:
A
d
d in
s
ta
n
ce for Integral a
=
> Ratio
a
.
commit
|
commitdiff
|
tree
2009-12-24
Nick Bowler
do
c
: Minor had
d
ock ma
r
kup fix
.
commit
|
commitdiff
|
tree
2009-12-24
Nick Bowler
double: Add
a
n
E
n
um instance
.
commit
|
commitdiff
|
tree
2009-12-24
Nick Bowler
floati
n
g: Ad
d
a cla
s
s whi
c
h supports rounding functions
.
commit
|
commitdiff
|
tree
2009-12-24
Ni
c
k
B
owler
floating: Fix broken isFinite imp
l
ementa
t
ion
.
commit
|
commitdiff
|
tree
2009-11-23
Nick Bo
w
ler
floating: Get rid of the
e
x
t
r
a Inst
a
nces module
.
commit
|
commitdiff
|
tree
2009-11-23
Nick Bow
l
e
r
po
s
et: Rem
o
ve In
c
ohere
n
t
I
n
s
tanc
e
s and
d
efine ou
r
o
wn
.
.
.
commit
|
commitdiff
|
tree
2009-11-21
Nick
Bowler
poset: Use Incoheren
t
I
n
stances to resolve over
l
aps
.
commit
|
commitdiff
|
tree
2009-11-21
Nick Bowle
r
f
l
o
a
t
ing: Up
d
ate export lists
.
commit
|
commitdiff
|
tree
2009-11-21
Nick Bowler
double: Split out
foreign dec
l
arations into their own
.
.
.
commit
|
commitdiff
|
tree
2009-11-20
Nick
B
ow
l
er
doc: Update haddoc
k
comments for Data
.
P
o
set
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bowler
poset: Expo
r
t the Ord class (
b
ut not
its me
t
hod
s
)
.
commit
|
commitdiff
|
tree
2009-11-20
Ni
c
k Bowl
e
r
d
oc
:
Elaborate o
n
w
h
y
O
r
d instances
for floating types
.
.
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bowler
flo
a
tin
g
: Add fquotRem, the analogue of
C's
remquo
.
commit
|
commitdiff
|
tree
2009-11-20
Nick
Bowl
e
r
floating:
A
dd
fma function
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bowler
double: Implement
s
p
e
ci
f
ic comparison func
t
i
o
ns
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bowler
do
u
ble
:
R
e
move super
f
luous parentheses
.
commit
|
commitdiff
|
tree
2009-11-20
Nick B
o
wler
build: Update c
a
bal scri
p
t
f
o
r distribution
.
commit
|
commitdiff
|
tree
2009-11-20
Nic
k
B
o
w
ler
misc: Fix FFI pragmas
.
commit
|
commitdiff
|
tree
2009-11-20
N
ick Bowle
r
license: Add copyright
a
n
d
lic
e
nse
info
r
m
a
t
ion
.
commit
|
commitdiff
|
tree
2009-11-20
N
ick Bowl
e
r
cfl
o
at: Update
cfloa
t
.
h
.
commit
|
commitdiff
|
tree
2009-11-20
N
i
ck Bowler
d
oc: A
d
d a
detailed overv
i
ew of
the
p
ur
p
ose of the
.
.
.
commit
|
commitdiff
|
tree
2009-11-20
Ni
c
k
Bowler
do
c
s: Update haddock markup and add a t
r
ivial function
.
commit
|
commitdiff
|
tree
2009-11-20
N
i
c
k Bowler
double: Add
Poset and
S
ortable instances
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bowle
r
poset: Add
a
c
l
ass
for partially ordered datatypes
.
commit
|
commitdiff
|
tree
2009-11-20
Ni
c
k Bo
w
l
e
r
b
u
il
d
:
Add an a
u
t
oconf con
f
igure
s
cript to determi
n
e
.
.
.
commit
|
commitdiff
|
tree
2009-11-19
N
i
ck Bowler
floati
n
g: Add descriptio
n
of
f
loating cla
s
ses
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bow
l
er
f
l
oating: A
d
d rem
a
inder functions
.
commit
|
commitdiff
|
tree
2009-11-19
N
i
c
k Bowler
cfl
o
at: Allow a printf format
specif
i
er to be passed
.
.
.
commit
|
commitdiff
|
tree
2009-11-19
N
ick Bowle
r
double: i
m
plemen
t
fromInteg
e
r using toFloa
t
ing
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bowl
e
r
f
l
oating: Al
l
ow conversio
n
f
r
om any Real to Double
.
.
.
commit
|
commitdiff
|
tree
2009-11-19
N
ick Bowler
f
loating:
E
x
p
or
t
the toFloating f
u
nction fr
o
m Data
.
.
.
commit
|
commitdiff
|
tree
2009-11-19
Nick B
o
wler
floating
:
A
d
d
error and gamma functions
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bowler
floating:
Add powe
r
f
unctio
n
s
.
commit
|
commitdiff
|
tree
next