NumHask.Data.RangeD

representation of a possibly discontinuous interval

Documentation

newtype RangeD a

Constructors

RangeD [Range a]

Instances

Functor RangeD

Defined in NumHask.Data.RangeD

Methods

fmap :: (a -> b) -> RangeD a -> RangeD b

(<$) :: a -> RangeD b -> RangeD a

Foldable RangeD

Defined in NumHask.Data.RangeD

Methods

fold :: Monoid m => RangeD m -> m

foldMap :: Monoid m => (a -> m) -> RangeD a -> m

foldr :: (a -> b -> b) -> b -> RangeD a -> b

foldr' :: (a -> b -> b) -> b -> RangeD a -> b

foldl :: (b -> a -> b) -> b -> RangeD a -> b

foldl' :: (b -> a -> b) -> b -> RangeD a -> b

foldr1 :: (a -> a -> a) -> RangeD a -> a

foldl1 :: (a -> a -> a) -> RangeD a -> a

toList :: RangeD a -> [a]

null :: RangeD a -> Bool

length :: RangeD a -> Int

elem :: Eq a => a -> RangeD a -> Bool

maximum :: Ord a => RangeD a -> a

minimum :: Ord a => RangeD a -> a

sum :: Num a => RangeD a -> a

product :: Num a => RangeD a -> a

Traversable RangeD

Defined in NumHask.Data.RangeD

Methods

traverse :: Applicative f => (a -> f b) -> RangeD a -> f (RangeD b)

sequenceA :: Applicative f => RangeD (f a) -> f (RangeD a)

mapM :: Monad m => (a -> m b) -> RangeD a -> m (RangeD b)

sequence :: Monad m => RangeD (m a) -> m (RangeD a)

Eq a => Eq (RangeD a)

Defined in NumHask.Data.RangeD

Methods

(==) :: RangeD a -> RangeD a -> Bool

(/=) :: RangeD a -> RangeD a -> Bool

Show a => Show (RangeD a)

Defined in NumHask.Data.RangeD

Methods

showsPrec :: Int -> RangeD a -> ShowS

show :: RangeD a -> String

showList :: [RangeD a] -> ShowS

Generic (RangeD a)

Defined in NumHask.Data.RangeD

Associated Types

type Rep (RangeD a) :: Type -> Type

Methods

from :: RangeD a -> Rep (RangeD a) x

to :: Rep (RangeD a) x -> RangeD a

(Ord a, Lattice a, Subtractive a, Multiplicative a) => Multiplicative (RangeD a)

Defined in NumHask.Data.RangeD

Methods

(*) :: RangeD a -> RangeD a -> RangeD a

one :: RangeD a

(Multiplicative a, BoundedLattice a, Epsilon a, Ord a, Subtractive a, Divisive a) => Divisive (RangeD a)

Defined in NumHask.Data.RangeD

Methods

recip :: RangeD a -> RangeD a

(/) :: RangeD a -> RangeD a -> RangeD a

(Ord a, Lattice a, Subtractive a) => Additive (RangeD a)

Defined in NumHask.Data.RangeD

Methods

(+) :: RangeD a -> RangeD a -> RangeD a

zero :: RangeD a

(Divisive a, Ord a, Lattice a, Subtractive a) => Subtractive (RangeD a)

Defined in NumHask.Data.RangeD

Methods

negate :: RangeD a -> RangeD a

(-) :: RangeD a -> RangeD a -> RangeD a

type Rep (RangeD a)

Defined in NumHask.Data.RangeD

type Rep (RangeD a) = D1 (MetaData "RangeD" "NumHask.Data.RangeD" "numhask-space-0.1.1-KhD7xYpwLfOGsUJAt0HVyO" True) (C1 (MetaCons "RangeD" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Range a])))

normalise :: (Ord a, Lattice a, Subtractive a) => RangeD a -> RangeD a