Safe Haskell	Safe-Inferred
Language	Haskell2010

Torch.GraduallyTyped.Tensor.MathOperations.Comparison

Documentation

gt :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

lt :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

ge :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

le :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

eq :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

ne :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

(>.) :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

(<.) :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

(>=.) :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

(<=.) :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

(==.) :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

(/=.) :: forall gradient layout device dataType shape gradient' layout' device' dataType' shape' shape'' m. (MonadThrow m, Catch (dataType <+> dataType'), shape'' ~ BroadcastShapesF shape shape', Catch shape'') => Tensor gradient layout device dataType shape -> Tensor gradient' layout' device' dataType' shape' -> m (Tensor ('Gradient 'WithoutGradient) (layout <+> layout') (device <+> device') ('DataType 'Bool) shape'') Source #

data Order Source #

Constructors

Ascending
Descending

Instances

Instances details

Generic Order Source #
Instance details Defined in Torch.GraduallyTyped.Tensor.MathOperations.Comparison Associated Types type Rep Order :: Type -> Type Source # Methods from :: Order -> Rep Order x Source # to :: Rep Order x -> Order Source #
Show Order Source #
Instance details Defined in Torch.GraduallyTyped.Tensor.MathOperations.Comparison Methods showsPrec :: Int -> Order -> ShowS Source # show :: Order -> String Source # showList :: [Order] -> ShowS Source #
Eq Order Source #
Instance details Defined in Torch.GraduallyTyped.Tensor.MathOperations.Comparison Methods (==) :: Order -> Order -> Bool Source # (/=) :: Order -> Order -> Bool Source #
Ord Order Source #
Instance details Defined in Torch.GraduallyTyped.Tensor.MathOperations.Comparison Methods compare :: Order -> Order -> Ordering Source # (<) :: Order -> Order -> Bool Source # (<=) :: Order -> Order -> Bool Source # (>) :: Order -> Order -> Bool Source # (>=) :: Order -> Order -> Bool Source # max :: Order -> Order -> Order Source # min :: Order -> Order -> Order Source #
type Rep Order Source #
Instance details Defined in Torch.GraduallyTyped.Tensor.MathOperations.Comparison type Rep Order = D1 ('MetaData "Order" "Torch.GraduallyTyped.Tensor.MathOperations.Comparison" "hasktorch-gradually-typed-0.2.0.0-1KV1aIPzzbp6JpSr37tC1K" 'False) (C1 ('MetaCons "Ascending" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Descending" 'PrefixI 'False) (U1 :: Type -> Type))

data Sorted gradient layout device dataType shape where Source #

Constructors

Sorted
Fields :: forall gradient layout device dataType shape. { sorted :: Tensor gradient layout device dataType shape , indices :: Tensor ('Gradient 'WithoutGradient) layout device ('DataType 'Int64) shape } -> Sorted gradient layout device dataType shape

Instances

Instances details

Generic (Sorted gradient layout device dataType shape) Source #
Instance details Defined in Torch.GraduallyTyped.Tensor.MathOperations.Comparison Associated Types type Rep (Sorted gradient layout device dataType shape) :: Type -> Type Source # Methods from :: Sorted gradient layout device dataType shape -> Rep (Sorted gradient layout device dataType shape) x Source # to :: Rep (Sorted gradient layout device dataType shape) x -> Sorted gradient layout device dataType shape Source #
Show (Sorted gradient layout device dataType shape) Source #
Instance details Defined in Torch.GraduallyTyped.Tensor.MathOperations.Comparison Methods showsPrec :: Int -> Sorted gradient layout device dataType shape -> ShowS Source # show :: Sorted gradient layout device dataType shape -> String Source # showList :: [Sorted gradient layout device dataType shape] -> ShowS Source #
type Rep (Sorted gradient layout device dataType shape) Source #
Instance details Defined in Torch.GraduallyTyped.Tensor.MathOperations.Comparison type Rep (Sorted gradient layout device dataType shape) = D1 ('MetaData "Sorted" "Torch.GraduallyTyped.Tensor.MathOperations.Comparison" "hasktorch-gradually-typed-0.2.0.0-1KV1aIPzzbp6JpSr37tC1K" 'False) (C1 ('MetaCons "Sorted" 'PrefixI 'True) (S1 ('MetaSel ('Just "sorted") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tensor gradient layout device dataType shape)) :*: S1 ('MetaSel ('Just "indices") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tensor ('Gradient 'WithoutGradient) layout device ('DataType 'Int64) shape))))

type SortErrorMessage (by :: By Symbol Nat) (dims :: [Dim (Name Symbol) (Size Nat)]) = "Cannot apply sort on the dimension matching" % ("" % (((" '" <> by) <> "'") % ("" % ("in the shape" % ("" % (((" '" <> dims) <> "'.") % "")))))) Source #

type family SortCheckF (by :: By Symbol Nat) (dims :: [Dim (Name Symbol) (Size Nat)]) (result :: Maybe (Dim (Name Symbol) (Size Nat))) :: [Dim (Name Symbol) (Size Nat)] where ... Source #

Equations

SortCheckF by dims 'Nothing = TypeError (SortErrorMessage by dims)
SortCheckF _ dims ('Just _) = dims

type family SortF (selectDim :: SelectDim (By Symbol Nat)) (shape :: Shape [Dim (Name Symbol) (Size Nat)]) :: Shape [Dim (Name Symbol) (Size Nat)] where ... Source #

Equations

SortF 'UncheckedSelectDim _ = 'UncheckedShape
SortF _ 'UncheckedShape = 'UncheckedShape
SortF ('SelectDim by) ('Shape dims) = 'Shape (SortCheckF by dims (GetDimImplF by dims))

sSort :: forall selectDim gradient layout device dataType shape. SSelectDim selectDim -> Order -> Tensor gradient layout device dataType shape -> Sorted gradient layout device dataType (SortF selectDim shape) Source #

sort :: forall selectDim gradient layout device dataType shape. SingI selectDim => Order -> Tensor gradient layout device dataType shape -> Sorted gradient layout device dataType (SortF selectDim shape) Source #