Data.Autodiff.Ops

(source)

Definitions

Simplex : Nat -> AddCont

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

sameFromTensor2 : {auto {conArg:8589} : Num a} -> {auto {conArg:8592} : 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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

sameFromTensor : {auto {conArg:9771} : Num a} -> {auto {conArg:9774} : 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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

sameFromConst : {auto {conArg:10455} : Num a} -> {auto {conArg:10458} : Num b} -> {auto {conArg:10461} : Num c} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const a) (Const c) -> ParaAddDLens (Const a) (Const (b, c))

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

sameFromConst3 : {auto {conArg:11438} : Num a} -> {auto {conArg:11441} : Num b} -> {auto {conArg:11444} : Num c} -> {auto {conArg:11447} : Num d} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const a) (Const c) -> ParaAddDLens (Const a) (Const d) -> ParaAddDLens (Const a) (Const (b, (c, d)))

Totality: total
Visibility: public export