Idris2Doc : NN.Architectures.Affine

NN.Architectures.Affine

(source)
Definitions
record AffineLayerParams : (x : Axis) -> (y : Axis) -> NewAxisConsistent y [x] => Type -> Type
  Totality: total
  Visibility: public export
  Constructor: 
MkParams : Tensor [y, x] a -> Tensor [y] a -> AffineLayerParams x y a

  Projections:
  
.bias : AffineLayerParams x y a -> Tensor [y] a
  
.weights : AffineLayerParams x y a -> Tensor [y, x] a
.weights : AffineLayerParams x y a -> Tensor [y, x] a
  Visibility: public export
weights : AffineLayerParams x y a -> Tensor [y, x] a
  Visibility: public export
.bias : AffineLayerParams x y a -> Tensor [y] a
  Visibility: public export
bias : AffineLayerParams x y a -> Tensor [y] a
  Visibility: public export
affineImpl : {auto {conArg:1171} : NewAxisConsistent y [x]} -> Num a => AllAlgebra [x] a => TensorMonoid (x .cont) => TensorMonoid (y .cont) => DPair (Tensor [x] a) (const (AffineLayerParams x y a)) -> Tensor [y] a
  Visibility: public export
affinePara : Num a => NewAxisConsistent y [x] => AllAlgebra [x] a => TensorMonoid (x .cont) => TensorMonoid (y .cont) => Tensor [x] a -\-> Tensor [y] a
  Visibility: public export