Torch.Types.Numeric

ADTs to manage runtime boundaries

Documentation

data OpenUnit x

Datatype to represent the open unit interval: 0 < x < 1. Any OpenUnit inhabitant must satisfy being in the interval.

FIXME: replace with numhask.

Instances

Eq x => Eq (OpenUnit x)

Defined in Torch.Types.Numeric

Methods

(==) :: OpenUnit x -> OpenUnit x -> Bool

(/=) :: OpenUnit x -> OpenUnit x -> Bool

Ord x => Ord (OpenUnit x)

Defined in Torch.Types.Numeric

Methods

compare :: OpenUnit x -> OpenUnit x -> Ordering

(<) :: OpenUnit x -> OpenUnit x -> Bool

(<=) :: OpenUnit x -> OpenUnit x -> Bool

(>) :: OpenUnit x -> OpenUnit x -> Bool

(>=) :: OpenUnit x -> OpenUnit x -> Bool

max :: OpenUnit x -> OpenUnit x -> OpenUnit x

min :: OpenUnit x -> OpenUnit x -> OpenUnit x

Show x => Show (OpenUnit x)

Defined in Torch.Types.Numeric

Methods

showsPrec :: Int -> OpenUnit x -> ShowS

show :: OpenUnit x -> String

showList :: [OpenUnit x] -> ShowS

openUnit :: (Ord x, Num x) => x -> Maybe (OpenUnit x)

smart constructor to place a number in the open unit interval.

openUnitValue :: OpenUnit x -> x

Get a value from the open unit interval.

data ClosedUnit x

Datatype to represent the closed unit interval: 0 =< x =< 1. Any ClosedUnit inhabitant must satisfy being in the interval.

FIXME: replace with numhask.

Instances

Eq x => Eq (ClosedUnit x)

Defined in Torch.Types.Numeric

Methods

(==) :: ClosedUnit x -> ClosedUnit x -> Bool

(/=) :: ClosedUnit x -> ClosedUnit x -> Bool

Ord x => Ord (ClosedUnit x)

Defined in Torch.Types.Numeric

Methods

compare :: ClosedUnit x -> ClosedUnit x -> Ordering

(<) :: ClosedUnit x -> ClosedUnit x -> Bool

(<=) :: ClosedUnit x -> ClosedUnit x -> Bool

(>) :: ClosedUnit x -> ClosedUnit x -> Bool

(>=) :: ClosedUnit x -> ClosedUnit x -> Bool

max :: ClosedUnit x -> ClosedUnit x -> ClosedUnit x

min :: ClosedUnit x -> ClosedUnit x -> ClosedUnit x

Show x => Show (ClosedUnit x)

Defined in Torch.Types.Numeric

Methods

showsPrec :: Int -> ClosedUnit x -> ShowS

show :: ClosedUnit x -> String

showList :: [ClosedUnit x] -> ShowS

closedUnit :: (Ord x, Num x) => x -> Maybe (ClosedUnit x)

smart constructor to place a number in the closed unit interval.

closedUnitValue :: ClosedUnit x -> x

Get a value from the closed unit interval.

data Ord2Tuple x

Datatype to represent an ordered pair of numbers, (a, b), where a <= b.

FIXME: replace with numhask.

Instances

Eq x => Eq (Ord2Tuple x)

Defined in Torch.Types.Numeric

Methods

(==) :: Ord2Tuple x -> Ord2Tuple x -> Bool

(/=) :: Ord2Tuple x -> Ord2Tuple x -> Bool

Show x => Show (Ord2Tuple x)

Defined in Torch.Types.Numeric

Methods

showsPrec :: Int -> Ord2Tuple x -> ShowS

show :: Ord2Tuple x -> String

showList :: [Ord2Tuple x] -> ShowS

ord2Tuple :: (Ord x, Num x) => (x, x) -> Maybe (Ord2Tuple x)

smart constructor to place two values in an ordered tuple.

ord2TupleValue :: Ord2Tuple x -> (x, x)

Get the values of an ordered tuple.

data Positive x

Datatype to represent a generic positive number: 0 =< x.

FIXME: replace with numhask.

Instances

Eq x => Eq (Positive x)

Defined in Torch.Types.Numeric

Methods

(==) :: Positive x -> Positive x -> Bool

(/=) :: Positive x -> Positive x -> Bool

Ord x => Ord (Positive x)

Defined in Torch.Types.Numeric

Methods

compare :: Positive x -> Positive x -> Ordering

(<) :: Positive x -> Positive x -> Bool

(<=) :: Positive x -> Positive x -> Bool

(>) :: Positive x -> Positive x -> Bool

(>=) :: Positive x -> Positive x -> Bool

max :: Positive x -> Positive x -> Positive x

min :: Positive x -> Positive x -> Positive x

Show x => Show (Positive x)

Defined in Torch.Types.Numeric

Methods

showsPrec :: Int -> Positive x -> ShowS

show :: Positive x -> String

showList :: [Positive x] -> ShowS

positive :: (Ord x, Num x) => x -> Maybe (Positive x)

smart constructor to place a number in a positive bound.

positiveValue :: Positive x -> x

Get a value from the positive bound.

data NonZero x

Datatype to represent a number that is not zero: 0 /= x.

FIXME: replace with numhask.

Instances

Eq x => Eq (NonZero x)

Defined in Torch.Types.Numeric

Methods

(==) :: NonZero x -> NonZero x -> Bool

(/=) :: NonZero x -> NonZero x -> Bool

Ord x => Ord (NonZero x)

Defined in Torch.Types.Numeric

Methods

compare :: NonZero x -> NonZero x -> Ordering

(<) :: NonZero x -> NonZero x -> Bool

(<=) :: NonZero x -> NonZero x -> Bool

(>) :: NonZero x -> NonZero x -> Bool

(>=) :: NonZero x -> NonZero x -> Bool

max :: NonZero x -> NonZero x -> NonZero x

min :: NonZero x -> NonZero x -> NonZero x

Show x => Show (NonZero x)

Defined in Torch.Types.Numeric

Methods

showsPrec :: Int -> NonZero x -> ShowS

show :: NonZero x -> String

showList :: [NonZero x] -> ShowS

nonZero :: (Ord x, Num x) => x -> Maybe (NonZero x)

smart constructor to place a number in a positive bound.

nonZeroValue :: NonZero x -> x

Get a value from the positive bound.