Numeric.Backprop

Types

Backprop types

data BP s rs a

type BPOp s rs a

type BPOpI s rs a

data BVar

type Op as a

type OpB s as a

Tuple types

data Prod k f a

type Tuple

data I a

BP

Backprop

backprop

evalBPOp

gradBPOp

Utility combinators

withInps

implicitly

withInps'

implicitly'

Vars

constVar

inpVar

inpVars

bpOp

bindVar

inpVars'

From Ops

opVar

(~$)

opVar1

opVar2

opVar3

(-$)

Var manipulation

As parts

partsVar

(#<~)

withParts

splitVars

gSplit

gTuple

As sums

choicesVar

(?<~)

withChoices

data Sum k f a

As sums of products

sopVar

gSplits

gSOP

As GADTs

withGADT

data BPCont

Combining

liftB

(.$)

liftB1

liftB2

liftB3

Op

op1

op2

op3

opN

composeOp

composeOp1

(~.)

op1'

op2'

op3'

Utility

only

head'

only_

Numeric Ops

(+.)

(-.)

(*.)

negateOp

absOp

signumOp

(/.)

recipOp

expOp

logOp

sqrtOp

(**.)

logBaseOp

sinOp

cosOp

tanOp

asinOp

acosOp

atanOp

sinhOp

coshOp

tanhOp

asinhOp

acoshOp

atanhOp