Safe Haskell	None
Language	GHC2021

NumHask.Space.Range

Description

A Space containing numerical elements

Synopsis

data Range a = Range a a
gridSensible :: Pos -> Bool -> Range Double -> Int -> [Double]
stepSensible :: Pos -> Double -> Int -> Double

Documentation

data Range a Source #

A continuous range over type a

>>> let a = Range (-1) 1
>>> a
Range -1 1

>>> a + a
Range -2 2

>>> a * a
Range -2.0 2.0

>>> (+1) <$> (Range 1 2)
Range 2 3

Ranges are very useful in shifting a bunch of numbers from one Range to another. eg project 0.5 from the range 0 to 1 to the range 1 to 4

>>> project (Range 0 1) (Range 1 4) 0.5
2.5

Create an equally spaced grid including outer bounds over a Range

>>> grid OuterPos (Range 0.0 10.0) 5
[0.0,2.0,4.0,6.0,8.0,10.0]

divide up a Range into equal-sized sections

>>> gridSpace (Range 0.0 1.0) 4
[Range 0.0 0.25,Range 0.25 0.5,Range 0.5 0.75,Range 0.75 1.0]

Constructors

Range a a

Instances

Instances details

Representable Range Source #

Instance details

Defined in NumHask.Space.Range

Associated Types

type Rep Range
Instance details Defined in NumHask.Space.Range type Rep Range = Bool

Methods

tabulate :: (Rep Range -> a) -> Range a #

index :: Range a -> Rep Range -> a #

Foldable Range Source #

Instance details

Defined in NumHask.Space.Range

Methods

fold :: Monoid m => Range m -> m #

foldMap :: Monoid m => (a -> m) -> Range a -> m #

foldMap' :: Monoid m => (a -> m) -> Range a -> m #

foldr :: (a -> b -> b) -> b -> Range a -> b #

foldr' :: (a -> b -> b) -> b -> Range a -> b #

foldl :: (b -> a -> b) -> b -> Range a -> b #

foldl' :: (b -> a -> b) -> b -> Range a -> b #

foldr1 :: (a -> a -> a) -> Range a -> a #

foldl1 :: (a -> a -> a) -> Range a -> a #

toList :: Range a -> [a] #

null :: Range a -> Bool #

length :: Range a -> Int #

elem :: Eq a => a -> Range a -> Bool #

maximum :: Ord a => Range a -> a #

minimum :: Ord a => Range a -> a #

sum :: Num a => Range a -> a #

product :: Num a => Range a -> a #

Eq1 Range Source #

Instance details

Defined in NumHask.Space.Range

Methods

liftEq :: (a -> b -> Bool) -> Range a -> Range b -> Bool #

Traversable Range Source #

Instance details

Defined in NumHask.Space.Range

Methods

traverse :: Applicative f => (a -> f b) -> Range a -> f (Range b) #

sequenceA :: Applicative f => Range (f a) -> f (Range a) #

mapM :: Monad m => (a -> m b) -> Range a -> m (Range b) #

sequence :: Monad m => Range (m a) -> m (Range a) #

Applicative Range Source #

Instance details

Defined in NumHask.Space.Range

Methods

pure :: a -> Range a #

(<*>) :: Range (a -> b) -> Range a -> Range b #

liftA2 :: (a -> b -> c) -> Range a -> Range b -> Range c #

(*>) :: Range a -> Range b -> Range b #

(<*) :: Range a -> Range b -> Range a #

Functor Range Source #

Instance details

Defined in NumHask.Space.Range

Methods

fmap :: (a -> b) -> Range a -> Range b #

(<$) :: a -> Range b -> Range a #

Distributive Range Source #

Instance details

Defined in NumHask.Space.Range

Methods

distribute :: Functor f => f (Range a) -> Range (f a) #

collect :: Functor f => (a -> Range b) -> f a -> Range (f b) #

distributeM :: Monad m => m (Range a) -> Range (m a) #

collectM :: Monad m => (a -> Range b) -> m a -> Range (m b) #

Apply Range Source #

Instance details

Defined in NumHask.Space.Range

Methods

(<.>) :: Range (a -> b) -> Range a -> Range b #

(.>) :: Range a -> Range b -> Range b #

(<.) :: Range a -> Range b -> Range a #

liftF2 :: (a -> b -> c) -> Range a -> Range b -> Range c #

Data a => Data (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Range a -> c (Range a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Range a) #

toConstr :: Range a -> Constr #

dataTypeOf :: Range a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Range a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Range a)) #

gmapT :: (forall b. Data b => b -> b) -> Range a -> Range a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Range a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Range a -> r #

gmapQ :: (forall d. Data d => d -> u) -> Range a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Range a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Range a -> m (Range a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Range a -> m (Range a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Range a -> m (Range a) #

Ord a => Semigroup (Range a) Source #

Monoid based on convex hull union

Instance details

Defined in NumHask.Space.Range

Methods

(<>) :: Range a -> Range a -> Range a #

sconcat :: NonEmpty (Range a) -> Range a #

stimes :: Integral b => b -> Range a -> Range a #

Generic (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Associated Types

type Rep (Range a)

Instance details

Defined in NumHask.Space.Range

type Rep (Range a) = D1 ('MetaData "Range" "NumHask.Space.Range" "numhask-space-0.13.2.0-5EPfNAfsKz84pToaZK4fAB" 'False) (C1 ('MetaCons "Range" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: Range a -> Rep (Range a) x #

to :: Rep (Range a) x -> Range a #

Show a => Show (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Methods

showsPrec :: Int -> Range a -> ShowS #

show :: Range a -> String #

showList :: [Range a] -> ShowS #

Eq a => Eq (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Methods

(==) :: Range a -> Range a -> Bool #

(/=) :: Range a -> Range a -> Bool #

(Additive a, Ord a) => Additive (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Methods

(+) :: Range a -> Range a -> Range a #

zero :: Range a #

(Subtractive a, Ord a) => Subtractive (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Methods

negate :: Range a -> Range a #

(-) :: Range a -> Range a -> Range a #

Ord a => JoinSemiLattice (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Methods

(\/) :: Range a -> Range a -> Range a #

Ord a => MeetSemiLattice (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Methods

(/\) :: Range a -> Range a -> Range a #

(Field a, Ord a) => Basis (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Associated Types

type Mag (Range a)
Instance details Defined in NumHask.Space.Range type Mag (Range a) = Range a
type Base (Range a)
Instance details Defined in NumHask.Space.Range type Base (Range a) = a

Methods

magnitude :: Range a -> Mag (Range a) #

basis :: Range a -> Base (Range a) #

(Ord a, Field a) => Divisive (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Methods

recip :: Range a -> Range a #

(/) :: Range a -> Range a -> Range a #

(Field a, Ord a) => Multiplicative (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Methods

(*) :: Range a -> Range a -> Range a #

one :: Range a #

(Field a, Ord a, FromIntegral a Int) => FieldSpace (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Associated Types

type Grid (Range a)
Instance details Defined in NumHask.Space.Range type Grid (Range a) = Int

Methods

grid :: Pos -> Range a -> Grid (Range a) -> [Element (Range a)] Source #

gridSpace :: Range a -> Grid (Range a) -> [Range a] Source #

Ord a => Space (Range a) Source #

Instance details

Defined in NumHask.Space.Range

Associated Types

type Element (Range a)
Instance details Defined in NumHask.Space.Range type Element (Range a) = a

Methods

lower :: Range a -> Element (Range a) Source #

upper :: Range a -> Element (Range a) Source #

singleton :: Element (Range a) -> Range a Source #

intersection :: Range a -> Range a -> Range a Source #

union :: Range a -> Range a -> Range a Source #

normalise :: Range a -> Range a Source #

(...) :: Element (Range a) -> Element (Range a) -> Range a Source #

(>.<) :: Element (Range a) -> Element (Range a) -> Range a Source #

(|.|) :: Element (Range a) -> Range a -> Bool Source #

(|>|) :: Range a -> Range a -> Bool Source #

(|<|) :: Range a -> Range a -> Bool Source #

type Rep Range Source #

Instance details

Defined in NumHask.Space.Range

type Rep Range = Bool

type Rep (Range a) Source #

Instance details

Defined in NumHask.Space.Range

type Rep (Range a) = D1 ('MetaData "Range" "NumHask.Space.Range" "numhask-space-0.13.2.0-5EPfNAfsKz84pToaZK4fAB" 'False) (C1 ('MetaCons "Range" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type Base (Range a) Source #

Instance details

Defined in NumHask.Space.Range

type Base (Range a) = a

type Mag (Range a) Source #

Instance details

Defined in NumHask.Space.Range

type Mag (Range a) = Range a

type Element (Range a) Source #

Instance details

Defined in NumHask.Space.Range

type Element (Range a) = a

type Grid (Range a) Source #

Instance details

Defined in NumHask.Space.Range

type Grid (Range a) = Int

gridSensible :: Pos -> Bool -> Range Double -> Int -> [Double] Source #

a grid for five-digits per limb species

>>> gridSensible OuterPos False (Range (-12.0) 23.0) 6
[-15.0,-10.0,-5.0,0.0,5.0,10.0,15.0,20.0,25.0]

stepSensible :: Pos -> Double -> Int -> Double Source #

Find a step that feels pleasent for a 10 digit species.

>>> stepSensible OuterPos 35 6
5.0