Map c f z x => Map c (NeuralNetwork ('[] :: [(Type -> Type -> Type, Type)]) f) z x Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
(Map c f z y, Map c (NeuralNetwork gys g) y x, Transition c (Dual c) y) => Map c (NeuralNetwork ('(g, y) ': gys) f) z x Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
(Propagate c f z y, Propagate c (NeuralNetwork gys g) y x, Map c f y z, Transition c (Dual c) y, Legendre y, Riemannian c y, Bilinear f z y) => Propagate c (NeuralNetwork ('(g, y) ': gys) f) z x Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
Propagate c f z x => Propagate c (NeuralNetwork ('[] :: [(Type -> Type -> Type, Type)]) f) z x Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
(Manifold (Affine f z z y), Manifold (NeuralNetwork gys g y x)) => Product (NeuralNetwork ('(g, y) ': gys) f z x) Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
(Manifold (Affine f z z y), Manifold (NeuralNetwork gys g y x)) => Manifold (NeuralNetwork ('(g, y) ': gys) f z x) Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
Manifold (Affine f z z x) => Manifold (NeuralNetwork ('[] :: [(Type -> Type -> Type, Type)]) f z x) Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
type First (NeuralNetwork ('(g, y) ': gys) f z x) Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
type Second (NeuralNetwork ('(g, y) ': gys) f z x) Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
type Dimension (NeuralNetwork ('(g, y) ': gys) f z x) Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |
type Dimension (NeuralNetwork ('[] :: [(Type -> Type -> Type, Type)]) f z x) Source # | |
Instance detailsDefined in Goal.Geometry.Map.NeuralNetwork |