Numeric.Backprop.Mono.Implicit

Types

Backprop types

type BVar s n a

type BPOp n a b

type Op n a b

type OpB s n a b

Vectors

data VecT k n f a

type Vec n

data I a

back-propagation

backprop

grad

eval

Var manipulation

constVar

liftB

(.$)

liftB1

liftB2

liftB3

Op

op1

op2

op3

opN

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