Data.Autodiff.Ops

(source)

Definitions

Simplex : Nat -> AddCont

Visibility: public export

MulParametric : {auto {conArg:6782} : Num a} -> ParaAddDLens (Const a) (Const a)

Visibility: public export

AddParametric : {auto {conArg:6821} : Num a} -> ParaAddDLens (Const a) (Const a)

Visibility: public export

AffineParametric : {auto {conArg:6860} : Num a} -> ParaAddDLens (Const a) (Const a)

Visibility: public export

LeakyReLU : {auto {conArg:6893} : Num a} -> Ord a => FromDouble a => {default 0.01 _ : a} -> ParaAddDLens (Const a) (Const a)

Visibility: public export

LeakyReLUTensor : {auto {conArg:7029} : Num a} -> Ord a => FromDouble a => {default 0.01 _ : a} -> {auto {conArg:7044} : TensorMonoid (n .cont)} -> ParaAddDLens (Const (Tensor [n] a)) (Const (Tensor [n] a))

Visibility: public export

coproductPair : ParaAddDLens a c -> ParaAddDLens b d -> ParaAddDLens (a >+< b) (c >+< d)

Visibility: public export

parallelTensor2 : {auto {conArg:7408} : Num a} -> {auto {conArg:7411} : Num b} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const (Tensor [(axisName ~~> 2)] a)) (Const (Tensor [(axisName ~~> 2)] b))

Visibility: public export

parallelTensor3 : {auto {conArg:7904} : Num a} -> {auto {conArg:7907} : Num b} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const (Tensor [(axisName ~~> 3)] a)) (Const (Tensor [(axisName ~~> 3)] b))

Visibility: public export

sameFromTensor2 : {auto {conArg:8603} : Num a} -> {auto {conArg:8606} : Num b} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const (Tensor [(axisName1 ~~> 1)] a)) (Const (Tensor [(axisName2 ~~> 2)] b))

  Produces a parametric map that produces `n` copies of the output, instead
  of one, by using `n` different parameters

Visibility: public export

sameFromTensor3 : {auto {conArg:9103} : Num a} -> {auto {conArg:9106} : Num b} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const (Tensor [(axisName1 ~~> 1)] a)) (Const (Tensor [(axisName2 ~~> 3)] b))

Visibility: public export

sameFromTensor : {auto {conArg:9791} : Num a} -> {auto {conArg:9794} : Num b} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const (Tensor [(axisName1 ~~> 1)] a)) (Const (Tensor [(axisName2 ~~> n)] b))

  Produces a parametric map that produces `n` copies of the output, instead
  of one, by using `n` different parameters

Visibility: public export

sameFrom : ParaAddDLens a b -> ParaAddDLens a c -> ParaAddDLens a (b >< c)

Visibility: public export

sameFromConst : {auto {conArg:10477} : Num a} -> {auto {conArg:10480} : Num b} -> {auto {conArg:10483} : Num c} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const a) (Const c) -> ParaAddDLens (Const a) (Const (b, c))

Visibility: public export

sameFrom3 : ParaAddDLens a b -> ParaAddDLens a c -> ParaAddDLens a d -> ParaAddDLens a (b >< (c >< d))

Visibility: public export

sameFromConst3 : {auto {conArg:11460} : Num a} -> {auto {conArg:11463} : Num b} -> {auto {conArg:11466} : Num c} -> {auto {conArg:11469} : Num d} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const a) (Const c) -> ParaAddDLens (Const a) (Const d) -> ParaAddDLens (Const a) (Const (b, (c, d)))

Visibility: public export