Module

Math.Interval

Package
purescript-intervals
Repository
colehaus/purescript-intervals

#Infinite Source

data Infinite n

Constructors

Instances

#boundAbove Source

boundAbove :: forall n. Ord n => n -> Openness -> NonEmpty n -> Maybe (Interval n)

#boundBelow Source

boundBelow :: forall n. Ord n => n -> Openness -> NonEmpty n -> Maybe (Interval n)

#certainly Source

certainly :: forall a. Ord a => (forall b. Ord b => b -> b -> Boolean) -> NonEmpty a -> NonEmpty a -> Boolean

#empty Source

empty :: forall n. Interval n

#eqEverywhere Source

eqEverywhere :: forall a. Ord a => NonEmpty a -> NonEmpty a -> Boolean

#forget Source

forget :: forall n. NonEmpty n -> Interval n

#greaterThanEverywhere Source

greaterThanEverywhere :: forall a. Ord a => NonEmpty a -> NonEmpty a -> Boolean

#greaterThanOrEqEverywhere Source

greaterThanOrEqEverywhere :: forall a. Ord a => NonEmpty a -> NonEmpty a -> Boolean

#lessThanEverywhere Source

lessThanEverywhere :: forall a. Ord a => NonEmpty a -> NonEmpty a -> Boolean

#lessThanOrEqEverywhere Source

lessThanOrEqEverywhere :: forall a. Ord a => NonEmpty a -> NonEmpty a -> Boolean

#make Source

make :: forall n. Ord n => Lower n -> Upper n -> Maybe (NonEmpty n)

#member Source

member :: forall n. Ord n => n -> Interval n -> Boolean

#nonEmpty Source

nonEmpty :: forall n. Interval n -> Maybe (NonEmpty n)

#normalizedWidth Source

normalizedWidth :: forall n. EuclideanRing n => Ring n => Interval n -> Infinite n

Where both exist and are finite, upper bound divided by lower bound

#notEqEverywhere Source

notEqEverywhere :: forall a. Ord a => NonEmpty a -> NonEmpty a -> Boolean

#null Source

null :: forall a. Interval a -> Boolean

#singleton Source

singleton :: forall n. n -> NonEmpty n

#unmake Source

unmake :: forall n. NonEmpty n -> { lower :: Lower n, upper :: Upper n }

#width Source

width :: forall n. Ring n => Interval n -> Infinite n

#(/=!) Source

Operator alias for Math.Interval.notEqEverywhere (non-associative / precedence 4)

#(<!) Source

Operator alias for Math.Interval.lessThanEverywhere (non-associative / precedence 4)

#(<=!) Source

Operator alias for Math.Interval.lessThanOrEqEverywhere (non-associative / precedence 4)

#(==!) Source

Operator alias for Math.Interval.eqEverywhere (non-associative / precedence 4)

#(>!) Source

Operator alias for Math.Interval.greaterThanEverywhere (non-associative / precedence 4)

#(>=!) Source

Operator alias for Math.Interval.greaterThanOrEqEverywhere (non-associative / precedence 4)

Re-exports from Math.Interval.Internal

Modules
Math.Interval
Math.Interval.Bound
Math.Interval.Bound.Internal
Math.Interval.Internal
Math.Interval.Openness