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:6857} : Num a} -> ParaAddDLens (Const a) (Const a)

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

LeakyReLUTensor : {auto {conArg:7026} : Num a} -> Ord a => FromDouble a => {default 0.01 _ : a} -> {auto {conArg:7041} : 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:7400} : Num a} -> {auto {conArg:7403} : 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:7892} : Num a} -> {auto {conArg:7895} : 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:8583} : Num a} -> {auto {conArg:8586} : 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:9081} : Num a} -> {auto {conArg:9084} : 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:9765} : Num a} -> {auto {conArg:9768} : 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:10449} : Num a} -> {auto {conArg:10452} : Num b} -> {auto {conArg:10455} : 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:11432} : Num a} -> {auto {conArg:11435} : Num b} -> {auto {conArg:11438} : Num c} -> {auto {conArg:11441} : 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