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
poset: Add commutativity note for max and min.
2010-01-20
N
i
c
k
Bow
l
e
r
pos
e
t: Add commut
a
t
i
vity
n
o
te for max
and min
.
commit
|
commitdiff
|
tree
2010-01-20
Nic
k
Bowler
poset: Rename
i
s
S
ignificant to isOrdered
.
commit
|
commitdiff
|
tree
2010-01-20
Nick Bowler
doc:
Mov
e
li
b
rary descrip
t
io
n
to a
better ho
m
e
.
commit
|
commitdiff
|
tree
2010-01-19
Nic
k
Bo
w
le
r
bui
l
d
:
Ha
c
kage-if
y
t
h
e
caba
l
f
ile
.
commit
|
commitdiff
|
tree
2009-12-24
Nick Bowler
floating: Add Round
a
bl
e
instan
c
e for In
t
egral a =
>
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Nick Bowler
poset: Add
i
nstan
c
e for I
n
tegr
a
l a => Rati
o
a
.
commit
|
commitdiff
|
tree
2009-12-24
Nick Bowl
e
r
doc: Minor haddock markup fix
.
commit
|
commitdiff
|
tree
2009-12-24
Nic
k
Bowler
double:
Add
a
n Enum
i
nstance
.
commit
|
commitdiff
|
tree
2009-12-24
N
i
ck Bowler
floating: Add a
c
l
ass
w
hich
s
upport
s
rou
n
ding functions
.
commit
|
commitdiff
|
tree
2009-12-24
Nick Bowler
f
loatin
g
: F
i
x br
o
k
e
n isFinite implementatio
n
.
commit
|
commitdiff
|
tree
2009-11-23
Nic
k
Bow
l
er
floating: Get rid
o
f th
e
e
x
tra I
n
stan
c
es modu
l
e
.
commit
|
commitdiff
|
tree
2009-11-23
Nick Bowler
poset: Remo
v
e IncoherentInstances
a
nd
define our own
.
.
.
commit
|
commitdiff
|
tree
2009-11-21
N
ick B
o
wler
poset
:
Use
IncoherentInstances to resolve overlaps
.
commit
|
commitdiff
|
tree
2009-11-21
Nick Bowler
floating
:
Update export lists
.
commit
|
commitdiff
|
tree
2009-11-21
N
ick Bowler
double: Spl
i
t o
u
t fore
i
gn declarat
i
ons int
o
th
e
ir o
w
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-20
N
i
ck Bo
w
ler
doc
:
Update haddock
comments for Data
.
P
o
set
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bowler
poset
:
Export the Ord
class
(
b
ut no
t
its methods)
.
commit
|
commitdiff
|
tree
2009-11-20
Nick
Bo
w
l
e
r
doc: Elabor
a
te on w
h
y O
r
d instances
for
floating types
.
.
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bowler
floating: Add fquotRe
m
,
the analogue of C's
r
e
mquo
.
commit
|
commitdiff
|
tree
2009-11-20
N
ick Bowler
floating:
Add fma
function
.
commit
|
commitdiff
|
tree
2009-11-20
N
ick Bowler
double: Implement spec
i
fic comparison functions
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bowl
e
r
double: Re
m
ove superfluous parenthes
e
s
.
commit
|
commitdiff
|
tree
2009-11-20
N
i
ck
B
owl
e
r
b
u
ild: Update cabal script
f
or d
i
stribution
.
commit
|
commitdiff
|
tree
2009-11-20
N
i
ck Bowler
mi
s
c: Fix FFI
p
r
a
gmas
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bowler
l
icense:
Add
co
p
y
r
igh
t
and
license information
.
commit
|
commitdiff
|
tree
2009-11-20
N
ick
B
o
wler
cfloat: U
p
date cfloat
.
h
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bow
l
er
d
oc: Add a deta
i
led overvie
w
of
t
h
e purpose of the
.
.
.
commit
|
commitdiff
|
tree
2009-11-20
Nick Bow
l
er
docs: U
p
date h
a
ddock markup an
d
ad
d
a trivial funct
i
on
.
commit
|
commitdiff
|
tree
2009-11-20
Nick
B
owler
double: Add Pos
e
t a
n
d S
o
rt
a
ble inst
a
nces
.
commit
|
commitdiff
|
tree
2009-11-20
Nic
k
Bow
l
er
poset: Add
a
class
f
or partially ordered
d
ataty
p
es
.
commit
|
commitdiff
|
tree
2009-11-20
N
i
ck Bowl
e
r
build: A
d
d an a
u
toconf c
o
nfigure script
t
o de
t
er
m
ine
.
.
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bowler
fl
o
ating: Add d
e
s
c
ription
of
floatin
g
classes
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bowle
r
f
l
oating: Add remaind
e
r functions
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bowler
cfloat: Al
l
ow a p
r
intf format specifier
t
o be passed
.
.
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bowl
e
r
d
oubl
e
: i
m
plement fromInteger usin
g
to
F
loating
.
commit
|
commitdiff
|
tree
2009-11-19
Nick B
o
wler
fl
o
a
t
ing: Allow conve
r
sion from any Real to Double
.
.
.
commit
|
commitdiff
|
tree
2009-11-19
Nick B
o
wler
f
l
oating:
Export the toFloati
n
g f
u
nction from
D
ata
.
.
.
commit
|
commitdiff
|
tree
2009-11-19
N
ick Bowler
f
l
o
ating: A
d
d
e
r
ror and
g
amm
a
f
unctions
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bowler
floating: Add
power functi
o
ns
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bowler
floating: Add hyperboli
c
trigonometric functions
.
commit
|
commitdiff
|
tree
2009-11-19
Nic
k
Bo
w
ler
types: Use oper
a
tions
i
n G
H
C
.
Prim for double <=> fl
o
at
.
.
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bow
l
er
floating: Add classific
a
tion functi
o
ns
.
commit
|
commitdiff
|
tree
2009-11-19
N
ick
B
owler
f
l
o
a
ting:
Add nextafter
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bowl
e
r
floating
:
Add some
of the exponential func
t
io
n
s
.
commit
|
commitdiff
|
tree
2009-11-19
Nick
Bowler
f
loating: Ad
d
trigonometric functio
n
s
.
commit
|
commitdiff
|
tree
2009-11-19
Nick B
o
wl
e
r
floating: Split Floati
n
g in
t
o Flo
a
t
i
n
g
an
d
Real
F
loat
.
commit
|
commitdiff
|
tree
2009-11-19
N
i
ck Bowler
d
ouble:
S
implif
y
f
o
reign
c
alls
.
commit
|
commitdiff
|
tree
2009-11-19
Nick Bow
l
er
f
loating: Add ** op
e
rator to F
l
oating class
.
commit
|
commitdiff
|
tree
2009-11-19
N
i
c
k Bowler
Initial
commit
commit
|
commitdiff
|
tree