Data.Autodiff.Ops

(source)

Definitions

Simplex : Nat -> AddCont

Visibility: public export

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

Visibility: public export

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

Visibility: public export

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

Visibility: public export

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

Visibility: public export

LeakyReLUTensor : {auto {conArg:7027} : Num a} -> Ord a => FromDouble a => {default 0.01 _ : a} -> {auto {conArg:7042} : 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:7402} : Num a} -> {auto {conArg:7405} : Num b} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const (Tensor [(axisName ~~> 2)] a)) (Const (Tensor [(axisName ~~> 2)] b))

Visibility: public export

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

Visibility: public export

sameFromTensor2 : {auto {conArg:8585} : Num a} -> {auto {conArg:8588} : 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:9083} : Num a} -> {auto {conArg:9086} : Num b} -> ParaAddDLens (Const a) (Const b) -> ParaAddDLens (Const (Tensor [(axisName1 ~~> 1)] a)) (Const (Tensor [(axisName2 ~~> 3)] b))

Visibility: public export

sameFromTensor : {auto {conArg:9767} : Num a} -> {auto {conArg:9770} : 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:10451} : Num a} -> {auto {conArg:10454} : Num b} -> {auto {conArg:10457} : 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:11434} : Num a} -> {auto {conArg:11437} : Num b} -> {auto {conArg:11440} : Num c} -> {auto {conArg:11443} : 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