Copyright | (c) Hans Hoglund 2012 |
---|---|
License | BSD-style |
Maintainer | hans@hanshoglund.se |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Provides overloaded interval literals.
- class IsInterval a where
- fromInterval :: IntervalL -> a
- newtype IntervalL = IntervalL (Integer, Integer, Integer)
- d1 :: IsInterval a => a
- _P1 :: IsInterval a => a
- _A1 :: IsInterval a => a
- d2 :: IsInterval a => a
- m2 :: IsInterval a => a
- _M2 :: IsInterval a => a
- _A2 :: IsInterval a => a
- d3 :: IsInterval a => a
- m3 :: IsInterval a => a
- _M3 :: IsInterval a => a
- _A3 :: IsInterval a => a
- d4 :: IsInterval a => a
- _P4 :: IsInterval a => a
- _A4 :: IsInterval a => a
- d5 :: IsInterval a => a
- _P5 :: IsInterval a => a
- _A5 :: IsInterval a => a
- d6 :: IsInterval a => a
- m6 :: IsInterval a => a
- _M6 :: IsInterval a => a
- _A6 :: IsInterval a => a
- d7 :: IsInterval a => a
- m7 :: IsInterval a => a
- _M7 :: IsInterval a => a
- _A7 :: IsInterval a => a
- d8 :: IsInterval a => a
- _P8 :: IsInterval a => a
- _A8 :: IsInterval a => a
- d9 :: IsInterval a => a
- m9 :: IsInterval a => a
- _M9 :: IsInterval a => a
- _A9 :: IsInterval a => a
- d10 :: IsInterval a => a
- m10 :: IsInterval a => a
- _M10 :: IsInterval a => a
- _A10 :: IsInterval a => a
- d11 :: IsInterval a => a
- _P11 :: IsInterval a => a
- _A11 :: IsInterval a => a
- d12 :: IsInterval a => a
- _P12 :: IsInterval a => a
- _A12 :: IsInterval a => a
- d13 :: IsInterval a => a
- m13 :: IsInterval a => a
- _M13 :: IsInterval a => a
- _A13 :: IsInterval a => a
- d14 :: IsInterval a => a
- m14 :: IsInterval a => a
- _M14 :: IsInterval a => a
- _A14 :: IsInterval a => a
- d15 :: IsInterval a => a
- _P15 :: IsInterval a => a
- _A15 :: IsInterval a => a
IsInterval class
class IsInterval a where Source
fromInterval :: IntervalL -> a Source
IsInterval Int | |
IsInterval Integer | |
IsInterval Word | |
IsInterval IntervalL | |
IsInterval a => IsInterval [a] | |
IsInterval a => IsInterval (Maybe a) | |
IsInterval a => IsInterval (Last a) | |
IsInterval a => IsInterval (First a) | |
(Monoid b, IsInterval a) => IsInterval (b, a) |
Literal values
Simple intervals
d1 :: IsInterval a => a Source
_P1 :: IsInterval a => a Source
_A1 :: IsInterval a => a Source
d2 :: IsInterval a => a Source
m2 :: IsInterval a => a Source
_M2 :: IsInterval a => a Source
_A2 :: IsInterval a => a Source
d3 :: IsInterval a => a Source
m3 :: IsInterval a => a Source
_M3 :: IsInterval a => a Source
_A3 :: IsInterval a => a Source
d4 :: IsInterval a => a Source
_P4 :: IsInterval a => a Source
_A4 :: IsInterval a => a Source
d5 :: IsInterval a => a Source
_P5 :: IsInterval a => a Source
_A5 :: IsInterval a => a Source
d6 :: IsInterval a => a Source
m6 :: IsInterval a => a Source
_M6 :: IsInterval a => a Source
_A6 :: IsInterval a => a Source
d7 :: IsInterval a => a Source
m7 :: IsInterval a => a Source
_M7 :: IsInterval a => a Source
_A7 :: IsInterval a => a Source
One-octave compounds
d8 :: IsInterval a => a Source
_P8 :: IsInterval a => a Source
_A8 :: IsInterval a => a Source
d9 :: IsInterval a => a Source
m9 :: IsInterval a => a Source
_M9 :: IsInterval a => a Source
_A9 :: IsInterval a => a Source
d10 :: IsInterval a => a Source
m10 :: IsInterval a => a Source
_M10 :: IsInterval a => a Source
_A10 :: IsInterval a => a Source
d11 :: IsInterval a => a Source
_P11 :: IsInterval a => a Source
_A11 :: IsInterval a => a Source
d12 :: IsInterval a => a Source
_P12 :: IsInterval a => a Source
_A12 :: IsInterval a => a Source
d13 :: IsInterval a => a Source
m13 :: IsInterval a => a Source
_M13 :: IsInterval a => a Source
_A13 :: IsInterval a => a Source
d14 :: IsInterval a => a Source
m14 :: IsInterval a => a Source
_M14 :: IsInterval a => a Source
_A14 :: IsInterval a => a Source
Two-octave compounds
d15 :: IsInterval a => a Source
_P15 :: IsInterval a => a Source
_A15 :: IsInterval a => a Source