class TensorType a
data TensorData a
class TensorDataType s a
data Scalar a
data Shape
class Attribute a
data DataType
type ResourceHandle
data ListOf f as
type List
data TensorTypeProxy a
class TensorTypes ts
type TensorTypeList
type OneOf ts a
type family a /= b :: Constraint where ...
type OneOfs ts as
data TypeError a
data ExcludedCase
type family NoneOf ts a :: Constraint where ...
type family as \\ bs where ...
type family Delete a as where ...
type AllTensorTypes