>>> import Data.Text.Display (display)
>>> import Data.Text qualified as T
>>> let x = unsafeInterval @(Open 10) @(Closed 100) 50
>>> putStrLn $ T.unpack $ display x
50 ∈ (10, 100]

>>> let y = unsafeInterval @None @None (-2)
>>> putStrLn $ T.unpack $ display y
-2 ∈ (-∞, ∞)

Since: 0.1

Constructors

UnsafeInterval a

Bundled Patterns

pattern MkInterval :: a -> Interval l r a

Instances

Instances details

HasField "unInterval" (Interval l r a) a Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

getField :: Interval l r a -> a #

(k ~ A_Getter, a ~ n, b ~ n) => LabelOptic "unInterval" k (Interval l r a) (Interval l r a) a b Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

labelOptic :: Optic k NoIx (Interval l r a) (Interval l r a) a b Source #

Lift a => Lift (Interval l r a :: Type) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

lift :: Quote m => Interval l r a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Interval l r a -> Code m (Interval l r a) #

Foldable (Interval l r) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

fold :: Monoid m => Interval l r m -> m #

foldMap :: Monoid m => (a -> m) -> Interval l r a -> m #

foldMap' :: Monoid m => (a -> m) -> Interval l r a -> m #

foldr :: (a -> b -> b) -> b -> Interval l r a -> b #

foldr' :: (a -> b -> b) -> b -> Interval l r a -> b #

foldl :: (b -> a -> b) -> b -> Interval l r a -> b #

foldl' :: (b -> a -> b) -> b -> Interval l r a -> b #

foldr1 :: (a -> a -> a) -> Interval l r a -> a #

foldl1 :: (a -> a -> a) -> Interval l r a -> a #

toList :: Interval l r a -> [a] #

null :: Interval l r a -> Bool #

length :: Interval l r a -> Int #

elem :: Eq a => a -> Interval l r a -> Bool #

maximum :: Ord a => Interval l r a -> a #

minimum :: Ord a => Interval l r a -> a #

sum :: Num a => Interval l r a -> a #

product :: Num a => Interval l r a -> a #

MetricSpace a => MetricSpace (Interval l r a) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

diffR :: Interval l r a -> Interval l r a -> Double Source #

(FromInteger a, Ord a, SingI l, SingI r, Show a) => FromInteger (Interval l r a) Source #

WARNING: Partial

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

fromZ :: Integer -> Interval l r a Source #

(FromRational a, Ord a, SingI l, SingI r, Show a) => FromRational (Interval l r a) Source #

WARNING: Partial

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

fromQ :: Rational -> Interval l r a Source #

(FromReal a, Ord a, SingI l, SingI r, Show a) => FromReal (Interval l r a) Source #

WARNING: Partial

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

fromR :: Double -> Interval l r a Source #

ToInteger a => ToInteger (Interval l r a) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

toZ :: Interval l r a -> Integer Source #

ToRational a => ToRational (Interval l r a) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

toQ :: Interval l r a -> Rational Source #

ToReal a => ToReal (Interval l r a) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

toR :: Interval l r a -> Double Source #

NFData a => NFData (Interval l r a) Source #

Since: 0.1.0.0

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

rnf :: Interval l r a -> () #

Generic (Interval l r a) Source #

Instance details

Defined in Numeric.Data.Interval.Internal

Associated Types

type Rep (Interval l r a)	Since: smart-math-0.1
Instance details Defined in Numeric.Data.Interval.Internal type Rep (Interval l r a) = D1 ('MetaData "Interval" "Numeric.Data.Interval.Internal" "smart-math-0.1-inplace" 'True) (C1 ('MetaCons "UnsafeInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: Interval l r a -> Rep (Interval l r a) x #

to :: Rep (Interval l r a) x -> Interval l r a #

(Show a, SingI l, SingI r) => Show (Interval l r a) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

showsPrec :: Int -> Interval l r a -> ShowS #

show :: Interval l r a -> String #

showList :: [Interval l r a] -> ShowS #

Eq a => Eq (Interval l r a) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

(==) :: Interval l r a -> Interval l r a -> Bool #

(/=) :: Interval l r a -> Interval l r a -> Bool #

Ord a => Ord (Interval l r a) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

compare :: Interval l r a -> Interval l r a -> Ordering #

(<) :: Interval l r a -> Interval l r a -> Bool #

(<=) :: Interval l r a -> Interval l r a -> Bool #

(>) :: Interval l r a -> Interval l r a -> Bool #

(>=) :: Interval l r a -> Interval l r a -> Bool #

max :: Interval l r a -> Interval l r a -> Interval l r a #

min :: Interval l r a -> Interval l r a -> Interval l r a #

Hashable a => Hashable (Interval l r a) Source #

Since: 0.1.0.0

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

hashWithSalt :: Int -> Interval l r a -> Int Source #

hash :: Interval l r a -> Int Source #

(Show a, SingI l, SingI r) => Display (Interval l r a) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

Methods

displayBuilder :: Interval l r a -> Builder Source #

displayList :: [Interval l r a] -> Builder Source #

displayPrec :: Int -> Interval l r a -> Builder Source #

type Rep (Interval l r a) Source #

Since: 0.1

Instance details

Defined in Numeric.Data.Interval.Internal

type Rep (Interval l r a) = D1 ('MetaData "Interval" "Numeric.Data.Interval.Internal" "smart-math-0.1-inplace" 'True) (C1 ('MetaCons "UnsafeInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Creation

mkInterval :: forall (l :: IntervalBound) (r :: IntervalBound) a. (FromInteger a, Ord a, Show a, SingI l, SingI r) => a -> Either String (Interval l r a) Source #

Smart constructor for Interval. Returns Nothing if the given value is not within the bounds. Note that we do not check that the bounds fit within the type itself (e.g. consider Interval None (Closed 200) Int8).

Examples

Expand

>>> mkInterval @(Open 10) @(Closed 100) 50
Right (UnsafeInterval (Open 10) (Closed 100) 50)

>>> mkInterval @(Open 10) @(Closed 100) 100
Right (UnsafeInterval (Open 10) (Closed 100) 100)

>>> mkInterval @(Open 10) @(Closed 100) 10
Left "Numeric.Data.Interval: Wanted value in (10, 100], received: 10"

>>> mkInterval @(Open 10) @(Closed 100) 101
Left "Numeric.Data.Interval: Wanted value in (10, 100], received: 101"

Since: 0.1

unsafeInterval :: forall (l :: IntervalBound) (r :: IntervalBound) a. (FromInteger a, HasCallStack, Ord a, SingI l, SingI r, Show a) => a -> Interval l r a Source #

Variant of mkInterval that throws an error when given a value out of bounds.

WARNING: Partial

Examples

Expand

>>> unsafeInterval @(Open 10) @(Closed 100) 50
UnsafeInterval (Open 10) (Closed 100) 50

Since: 0.1

Singletons

data SIntervalBound (i :: IntervalBound) where Source #

Singleton for IntervalBound.

Since: 0.1

Constructors

SOpen :: forall (n :: Nat). KnownNat n => SIntervalBound ('Open n)
SClosed :: forall (n :: Nat). KnownNat n => SIntervalBound ('Closed n)
SNone :: SIntervalBound 'None

Instances

Instances details

Show (SIntervalBound d) Source #
Instance details Defined in Numeric.Data.Interval.Internal Methods showsPrec :: Int -> SIntervalBound d -> ShowS # show :: SIntervalBound d -> String # showList :: [SIntervalBound d] -> ShowS #

Misc

errMsg :: forall (l :: IntervalBound) (r :: IntervalBound) a. (Show a, SingI l, SingI r) => a -> String Source #

Since: 0.1