Numeric.Backprop.Op

Implementation

type Op as a

data OpM m as a

Tuple Types

data Prod k f a

type Tuple

data I a

Running

Pure

runOp

gradOp

gradOp'

gradOpWith

gradOpWith'

runOp'

Monadic

runOpM

gradOpM

gradOpM'

gradOpWithM

gradOpWithM'

runOpM'

Manipulation

composeOp

composeOp1

(~.)

composeOp'

composeOp1'

Creation

op0

opConst

opConst'

Automatic creation using the ad library

op1

op2

op3

opN

type family Replicate (n :: N) (a :: k) = (as :: [k]) | as -> n where ...

Giving gradients directly

op1'

op2'

op3'

From Isomorphisms

opCoerce

opTup

opIso

opCoerce'

opTup'

opIso'

Utility

only

head'

only_