Safe Haskell | None |
---|---|
Language | Haskell2010 |
An Space with no empty, a semigroup based on a convex hull union, and a monoid on a negative space.
Documentation
A continuous range over type a
>>>
let a = Range (-1) 1
>>>
a
Range -1 1>>>
fmap (+1) (Range 1 2)
Range 2 3>>>
one :: Range Double
Range -0.5 0.5>>>
zero :: Range Double
Range Infinity -Infinity
as a Field instance
>>>
Range 0 1 + zero
Range 0.0 1.0>>>
Range 0 1 + Range 2 3
Range 0.0 3.0>>>
Range 1 1 - one
Range 0.5 1.0>>>
Range 0 1 * one
Range 0.0 1.0>>>
Range 0 1 / one
Range 0.0 1.0>>>
abs (Range 1 0)
Range 0.0 1.0>>>
sign (Range 1 0) == negate one
True
Idempotent
>>>
Range 0 2 + Range 0 2
Range 0.0 2.0
as a space instance
>>>
NumHask.Space.project (Range 0 1) (Range 1 4) 0.5
2.5>>>
NumHask.Space.grid NumHask.Space.OuterPos (Range 0 10) 5
[0.0,2.0,4.0,6.0,8.0,10.0]>>>
NumHask.Space.gridSpace (Range 0 1) 4
[Range 0.0 0.25,Range 0.25 0.5,Range 0.5 0.75,Range 0.75 1.0]>>>
gridSensible NumHask.Space.OuterPos (Range (-12.0) 23.0) 6
[-10.0,-5.0,0.0,5.0,10.0,15.0,20.0]
Range' (a, a) |