Numeric.Backprop.Op.Mono

Types

Op and synonyms

type Op n a b

type OpM m n a

Vector types

data VecT k n f a

type Vec n

data I a

Running

Pure

runOp

gradOp

gradOp'

gradOpWith

gradOpWith'

runOp'

Monadic

runOpM

gradOpM

gradOpM'

gradOpWithM

gradOpWithM'

runOpM'

Creation

op0

opConst

composeOp

composeOp1

(~.)

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'

Utility

(*:)

(+:)

head'

Nat type synonyms

type N0

type N1

type N2

type N3

type N4

type N5

type N6

type N7

type N8

type N9

type N10