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

backprop'

gradBPOp'

Utility combinators

withInps

implicitly

withInps'

implicitly'

Vars

constVar

inpVar

inpVars

bpOp

bindVar

inpVars'

bpOp'

bindVar'

From Ops

opVar

(~$)

opVar1

opVar2

opVar3

(-$)

opVar'

opVar1'

opVar2'

opVar3'

Var manipulation

As parts

partsVar

(#<~)

withParts

splitVars

gSplit

gTuple

partsVar'

withParts'

splitVars'

gSplit'

As sums

choicesVar

(?<~)

withChoices

choicesVar'

withChoices'

data Sum k f a

As sums of products

sopVar

gSplits

gSOP

sopVar'

gSplits'

Combining

liftB

(.$)

liftB1

liftB2

liftB3

Op

op1

op2

op3

opN

composeOp

composeOp1

(~.)

op1'

op2'

op3'

Utility

only

head'

only_

data Summer a

data Unity a

summers

unities

summers'

unities'