Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data DeviceType Source #
Instances
Show DeviceType Source # | |
Defined in Torch.Device | |
Eq DeviceType Source # | |
Defined in Torch.Device (==) :: DeviceType -> DeviceType -> Bool Source # (/=) :: DeviceType -> DeviceType -> Bool Source # | |
Ord DeviceType Source # | |
Defined in Torch.Device compare :: DeviceType -> DeviceType -> Ordering Source # (<) :: DeviceType -> DeviceType -> Bool Source # (<=) :: DeviceType -> DeviceType -> Bool Source # (>) :: DeviceType -> DeviceType -> Bool Source # (>=) :: DeviceType -> DeviceType -> Bool Source # max :: DeviceType -> DeviceType -> DeviceType Source # min :: DeviceType -> DeviceType -> DeviceType Source # | |
Castable DeviceType DeviceType Source # | |
Defined in Torch.Device cast :: DeviceType -> (DeviceType0 -> IO r) -> IO r Source # uncast :: DeviceType0 -> (DeviceType -> IO r) -> IO r Source # | |
HasToDevice device' device (HList xs) (HList ys) => ReduceGradients device' '[device] ('[HList xs] :: [Type]) (ys :: [k]) Source # | |
Defined in Torch.Typed.NN.DataParallel | |
(HasToDevice device' device (HList xs) (HList ys), ReduceGradients device' devices xxs ys, HZipWith SumF ys ys ys, 1 <= ListLength xxs) => ReduceGradients device' (device ': devices) (HList xs ': xxs :: [Type]) (ys :: [k]) Source # | |
Defined in Torch.Typed.NN.DataParallel | |
HasReplicate ('[] :: [(DeviceType, Nat)]) device f ('[] :: [Type]) Source # | |
Defined in Torch.Typed.Device | |
HasToDevices ('[] :: [(DeviceType, Nat)]) ('[] :: [(DeviceType, Nat)]) ('[] :: [Type]) ('[] :: [Type]) Source # | |
(chunks ~ ListLength devices', tensorChunks ~ (Chunk chunks 0 shape dtype device :: [Type]), Castable (HList tensorChunks) [ATenTensor], devices ~ HReplicateR chunks device, HasToDevices devices' devices tensorChunks gs, KnownNat chunks) => HasScatter (devices' :: [(DeviceType, Nat)]) (device :: (DeviceType, Nat)) (Tensor device dtype shape) (gs :: [Type]) Source # | |
(HZipWithM Concurrently GradConcurrentlyF parameters losses gradients', ReduceGradients device' devices gradients' gradients) => HasGradConcurrently (device' :: (DeviceType, Nat)) (devices :: [(DeviceType, Nat)]) (parameters :: [k1]) (losses :: [k1]) (gradients :: [k2]) Source # | |
Defined in Torch.Typed.NN.DataParallel gradConcurrently :: HList parameters -> HList losses -> Concurrently (HList gradients) Source # | |
(chunks ~ ListLength fs, devices ~ GetDevices fs, devices' ~ HReplicateR chunks device', HasToDevices devices' devices fs tensorChunks, '(shape, dtype, device') ~ Cat 0 tensorChunks, Castable (HList tensorChunks) [ATenTensor]) => HasGather (device' :: (DeviceType, Nat)) (devices :: [(DeviceType, Nat)]) (fs :: [Type]) (Tensor device' dtype shape) Source # | |
(HasReplicate devices' device f gs, HasToDevice device' device f g) => HasReplicate (device' ': devices') device f (g ': gs) Source # | |
Defined in Torch.Typed.Device | |
(HasToDevices devices' devices fs gs, HasToDevice device' device f g) => HasToDevices (device' ': devices') (device ': devices) (f ': fs) (g ': gs) Source # | |
KnownNat n => KnownDevice '('CPU, n) Source # | |
Defined in Torch.Typed.Tensor | |
KnownNat n => KnownDevice '('CUDA, n) Source # | |
Defined in Torch.Typed.Tensor |