deploy: hasktorch/hasktorch@5f97cd3

Author: junjihashimoto

doc-index-All.html

@@ -231,15 +231,15 @@ WithBias :: HasBias
 WithoutBias :: HasBias
 type WithBiasSym0 = 'WithBias :: HasBias
 type WithoutBiasSym0 = 'WithoutBias :: HasBias
-data SHasBias z_azFx
+data SHasBias z_azFz
 [SWithBias] :: SHasBias ('WithBias :: HasBias)
 [SWithoutBias] :: SHasBias ('WithoutBias :: HasBias)
 data HasDropout
 WithDropout :: HasDropout
 WithoutDropout :: HasDropout
 type WithDropoutSym0 = 'WithDropout :: HasDropout
 type WithoutDropoutSym0 = 'WithoutDropout :: HasDropout
-data SHasDropout z_azNg
+data SHasDropout z_azNi
 [SWithDropout] :: SHasDropout ('WithDropout :: HasDropout)
 [SWithoutDropout] :: SHasDropout ('WithoutDropout :: HasDropout)
 instance GHC.Show.Show (Torch.GraduallyTyped.NN.Type.SHasDropout hasDropout)
@@ -467,7 +467,7 @@ Dense :: LayoutType
 Sparse :: LayoutType
 type DenseSym0 = 'Dense :: LayoutType
 type SparseSym0 = 'Sparse :: LayoutType
-data SLayoutType z_aDiv
+data SLayoutType z_aDix
 [SDense] :: SLayoutType ('Dense :: LayoutType)
 [SSparse] :: SLayoutType ('Sparse :: LayoutType)
 class KnownLayoutType (layoutType :: LayoutType)
@@ -636,7 +636,7 @@ type QInt8Sym0 = 'QInt8 :: DType
 type QUInt8Sym0 = 'QUInt8 :: DType
 type QInt32Sym0 = 'QInt32 :: DType
 type BFloat16Sym0 = 'BFloat16 :: DType
-data SDType z_aH2C
+data SDType z_aH2E
 [SBool] :: SDType ('Bool :: DType)
 [SUInt8] :: SDType ('UInt8 :: DType)
 [SInt8] :: SDType ('Int8 :: DType)
@@ -722,7 +722,7 @@ WithGradient :: RequiresGradient
 WithoutGradient :: RequiresGradient
 type WithGradientSym0 = 'WithGradient :: RequiresGradient
 type WithoutGradientSym0 = 'WithoutGradient :: RequiresGradient
-data SRequiresGradient z_aJA8
+data SRequiresGradient z_aJAa
 [SWithGradient] :: SRequiresGradient ('WithGradient :: RequiresGradient)
 [SWithoutGradient] :: SRequiresGradient ('WithoutGradient :: RequiresGradient)
 class KnownRequiresGradient (requiresGradient :: RequiresGradient)
@@ -2620,19 +2620,19 @@ SliceFromUpTo :: a -> a -> IndexType a
 SliceFromWithStep :: a -> a -> IndexType a
 SliceUpToWithStep :: a -> a -> IndexType a
 SliceFromUpToWithStep :: a -> a -> a -> IndexType a
-data SIndexType z_a1kwL
-[SNewAxis] :: forall (a_a1kdH :: Type). () => SIndexType ('NewAxis :: IndexType (a_a1kdH :: Type))
-[SEllipsis] :: forall (a_a1kdH :: Type). () => SIndexType ('Ellipsis :: IndexType (a_a1kdH :: Type))
-[SSliceAll] :: forall (a_a1kdH :: Type). () => SIndexType ('SliceAll :: IndexType (a_a1kdH :: Type))
-[SSliceAt] :: forall (a_a1kdH :: Type) (n_a1kvB :: a_a1kdH). () => Sing n_a1kvB -> SIndexType ('SliceAt n_a1kvB :: IndexType (a_a1kdH :: Type))
-[SSliceBool] :: forall (a_a1kdH :: Type) (n_a1kvD :: Bool). () => Sing n_a1kvD -> SIndexType ('SliceBool n_a1kvD :: IndexType (a_a1kdH :: Type))
-[SSliceFrom] :: forall (a_a1kdH :: Type) (n_a1kvF :: a_a1kdH). () => Sing n_a1kvF -> SIndexType ('SliceFrom n_a1kvF :: IndexType (a_a1kdH :: Type))
-[SSliceUpTo] :: forall (a_a1kdH :: Type) (n_a1kvH :: a_a1kdH). () => Sing n_a1kvH -> SIndexType ('SliceUpTo n_a1kvH :: IndexType (a_a1kdH :: Type))
-[SSliceWithStep] :: forall (a_a1kdH :: Type) (n_a1kvJ :: a_a1kdH). () => Sing n_a1kvJ -> SIndexType ('SliceWithStep n_a1kvJ :: IndexType (a_a1kdH :: Type))
-[SSliceFromUpTo] :: forall (a_a1kdH :: Type) (n_a1kvL :: a_a1kdH) (n_a1kvM :: a_a1kdH). () => Sing n_a1kvL -> Sing n_a1kvM -> SIndexType ('SliceFromUpTo n_a1kvL n_a1kvM :: IndexType (a_a1kdH :: Type))
-[SSliceFromWithStep] :: forall (a_a1kdH :: Type) (n_a1kvP :: a_a1kdH) (n_a1kvQ :: a_a1kdH). () => Sing n_a1kvP -> Sing n_a1kvQ -> SIndexType ('SliceFromWithStep n_a1kvP n_a1kvQ :: IndexType (a_a1kdH :: Type))
-[SSliceUpToWithStep] :: forall (a_a1kdH :: Type) (n_a1kvT :: a_a1kdH) (n_a1kvU :: a_a1kdH). () => Sing n_a1kvT -> Sing n_a1kvU -> SIndexType ('SliceUpToWithStep n_a1kvT n_a1kvU :: IndexType (a_a1kdH :: Type))
-[SSliceFromUpToWithStep] :: forall (a_a1kdH :: Type) (n_a1kvX :: a_a1kdH) (n_a1kvY :: a_a1kdH) (n_a1kvZ :: a_a1kdH). () => Sing n_a1kvX -> Sing n_a1kvY -> Sing n_a1kvZ -> SIndexType ('SliceFromUpToWithStep n_a1kvX n_a1kvY n_a1kvZ :: IndexType (a_a1kdH :: Type))
+data SIndexType z_a1kwN
+[SNewAxis] :: forall (a_a1kdJ :: Type). () => SIndexType ('NewAxis :: IndexType (a_a1kdJ :: Type))
+[SEllipsis] :: forall (a_a1kdJ :: Type). () => SIndexType ('Ellipsis :: IndexType (a_a1kdJ :: Type))
+[SSliceAll] :: forall (a_a1kdJ :: Type). () => SIndexType ('SliceAll :: IndexType (a_a1kdJ :: Type))
+[SSliceAt] :: forall (a_a1kdJ :: Type) (n_a1kvD :: a_a1kdJ). () => Sing n_a1kvD -> SIndexType ('SliceAt n_a1kvD :: IndexType (a_a1kdJ :: Type))
+[SSliceBool] :: forall (a_a1kdJ :: Type) (n_a1kvF :: Bool). () => Sing n_a1kvF -> SIndexType ('SliceBool n_a1kvF :: IndexType (a_a1kdJ :: Type))
+[SSliceFrom] :: forall (a_a1kdJ :: Type) (n_a1kvH :: a_a1kdJ). () => Sing n_a1kvH -> SIndexType ('SliceFrom n_a1kvH :: IndexType (a_a1kdJ :: Type))
+[SSliceUpTo] :: forall (a_a1kdJ :: Type) (n_a1kvJ :: a_a1kdJ). () => Sing n_a1kvJ -> SIndexType ('SliceUpTo n_a1kvJ :: IndexType (a_a1kdJ :: Type))
+[SSliceWithStep] :: forall (a_a1kdJ :: Type) (n_a1kvL :: a_a1kdJ). () => Sing n_a1kvL -> SIndexType ('SliceWithStep n_a1kvL :: IndexType (a_a1kdJ :: Type))
+[SSliceFromUpTo] :: forall (a_a1kdJ :: Type) (n_a1kvN :: a_a1kdJ) (n_a1kvO :: a_a1kdJ). () => Sing n_a1kvN -> Sing n_a1kvO -> SIndexType ('SliceFromUpTo n_a1kvN n_a1kvO :: IndexType (a_a1kdJ :: Type))
+[SSliceFromWithStep] :: forall (a_a1kdJ :: Type) (n_a1kvR :: a_a1kdJ) (n_a1kvS :: a_a1kdJ). () => Sing n_a1kvR -> Sing n_a1kvS -> SIndexType ('SliceFromWithStep n_a1kvR n_a1kvS :: IndexType (a_a1kdJ :: Type))
+[SSliceUpToWithStep] :: forall (a_a1kdJ :: Type) (n_a1kvV :: a_a1kdJ) (n_a1kvW :: a_a1kdJ). () => Sing n_a1kvV -> Sing n_a1kvW -> SIndexType ('SliceUpToWithStep n_a1kvV n_a1kvW :: IndexType (a_a1kdJ :: Type))
+[SSliceFromUpToWithStep] :: forall (a_a1kdJ :: Type) (n_a1kvZ :: a_a1kdJ) (n_a1kw0 :: a_a1kdJ) (n_a1kw1 :: a_a1kdJ). () => Sing n_a1kvZ -> Sing n_a1kw0 -> Sing n_a1kw1 -> SIndexType ('SliceFromUpToWithStep n_a1kvZ n_a1kw0 n_a1kw1 :: IndexType (a_a1kdJ :: Type))
 data Indices (indexTypes :: Type)
 [UncheckedIndices] :: forall indexTypes. Indices indexTypes
 [Indices] :: forall indexTypes. indexTypes -> Indices indexTypes
@@ -2676,14 +2676,14 @@ instance Data.Singletons.Internal.SingI Torch.GraduallyTyped.Tensor.Indexing.Sli
 instance forall a (d :: a). Data.Singletons.Internal.SingI d => Data.Singletons.Internal.SingI (Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToWithStepSym1 d)
 instance forall a (d1 :: a) (d2 :: a). (Data.Singletons.Internal.SingI d1, Data.Singletons.Internal.SingI d2) => Data.Singletons.Internal.SingI (Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToWithStepSym2 d1 d2)
 instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToWithStepSym0
-instance forall a (a6989586621679326956 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToWithStepSym1 a6989586621679326956)
-instance forall a (a6989586621679326956 :: a) (a6989586621679326957 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToWithStepSym2 a6989586621679326956 a6989586621679326957)
+instance forall a (a6989586621679326958 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToWithStepSym1 a6989586621679326958)
+instance forall a (a6989586621679326958 :: a) (a6989586621679326959 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToWithStepSym2 a6989586621679326958 a6989586621679326959)
 instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Torch.GraduallyTyped.Tensor.Indexing.SliceUpToWithStepSym0
-instance forall a (a6989586621679326953 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceUpToWithStepSym1 a6989586621679326953)
+instance forall a (a6989586621679326955 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceUpToWithStepSym1 a6989586621679326955)
 instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Torch.GraduallyTyped.Tensor.Indexing.SliceFromWithStepSym0
-instance forall a (a6989586621679326950 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceFromWithStepSym1 a6989586621679326950)
+instance forall a (a6989586621679326952 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceFromWithStepSym1 a6989586621679326952)
 instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToSym0
-instance forall a (a6989586621679326947 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToSym1 a6989586621679326947)
+instance forall a (a6989586621679326949 :: a). Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Torch.GraduallyTyped.Tensor.Indexing.SliceFromUpToSym1 a6989586621679326949)
 instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Torch.GraduallyTyped.Tensor.Indexing.SliceWithStepSym0
 instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Torch.GraduallyTyped.Tensor.Indexing.SliceUpToSym0
 instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Torch.GraduallyTyped.Tensor.Indexing.SliceFromSym0
@@ -3958,7 +3958,7 @@ type PegasusSym0 = 'Pegasus :: TransformerStyle
 type BERTSym0 = 'BERT :: TransformerStyle
 type RoBERTaSym0 = 'RoBERTa :: TransformerStyle
 type GPT2Sym0 = 'GPT2 :: TransformerStyle
-data STransformerStyle z_a1RW5
+data STransformerStyle z_a1RW7
 [ST5] :: STransformerStyle ('T5 :: TransformerStyle)
 [SByT5] :: STransformerStyle ('ByT5 :: TransformerStyle)
 [SBART] :: STransformerStyle ('BART :: TransformerStyle)
@@ -3974,7 +3974,7 @@ WithoutHead :: TransformerHead
 WithLMHead :: TransformerHead
 type WithoutHeadSym0 = 'WithoutHead :: TransformerHead
 type WithLMHeadSym0 = 'WithLMHead :: TransformerHead
-data STransformerHead z_a1S3q
+data STransformerHead z_a1S3s
 [SWithoutHead] :: STransformerHead ('WithoutHead :: TransformerHead)
 [SWithLMHead] :: STransformerHead ('WithLMHead :: TransformerHead)
 padded :: Integral n => n -> a -> [a] -> [a]