Nicer type

This commit is contained in:
Huw Campbell 2017-01-19 23:08:01 +11:00
parent 9989092216
commit 16573158d8

View File

@ -66,8 +66,8 @@ Usage
To perform back propagation, one can call the eponymous function
```haskell
backPropagate :: forall input target shapes layers. (Head shapes ~ input, Last shapes ~ target)
=> Network layers shapes -> S input -> S target -> Gradients layers
backPropagate :: forall shapes layers.
Network layers shapes -> S (Head shapes) -> S (Last shapes) -> Gradients layers
```
which takes a network, appropriate input and target data, and returns the
back propagated gradients for the network. The shapes of the gradients are