Documentation

Provides "1 of n" encoding for enumerable types.

>>> :set -XDataKinds
>>> encode1ofN LT :: Vector 3 Int
[1,0,0]

>>> encode1ofN EQ :: Vector 3 Int
[0,1,0]

>>> encode1ofN GT :: Vector 3 Int
[0,0,1]

Provides "1 of n" decoding for enumerable types.

>>> decode1ofN [0.9, 0.3, 0.1 :: Double] :: Ordering
LT

>>> decode1ofN [0.7, 0.8, 0.6 :: Double] :: Ordering
EQ

>>> decode1ofN [0.2, 0.3, 0.8 :: Double] :: Ordering
GT

Provides equidistant encoding for enumerable types.

>>> :set -XDataKinds
>>> encodeEquiDist LT :: Vector 2 Float
[1.0,0.0]

>>> encodeEquiDist EQ :: Vector 2 Float
[-0.5,-0.86602545]

>>> encodeEquiDist GT :: Vector 2 Float
[-0.5,0.86602545]

Provides equidistant decoding for enumerable types.

>>> :set -XDataKinds
>>> let u = fromJust (fromList [0.9, 0.2]) :: Vector 2 Double
>>> decodeEquiDist u :: Ordering
LT

>>> :set -XDataKinds
>>> let v = fromJust (fromList [-0.4, -0.5]) :: Vector 2 Double
>>> decodeEquiDist v :: Ordering
EQ

>>> :set -XDataKinds
>>> let w = fromJust (fromList [0.1, 0.8]) :: Vector 2 Double
>>> decodeEquiDist w :: Ordering
GT

Computes the cross entropy error (assuming "1 of n" encoding).

>>> crossEntropyError LT (cons 0.8 (cons 0.1 (cons 0.1 nil))) :: Float
0.22314353

>>> crossEntropyError EQ (cons 0.8 (cons 0.1 (cons 0.1 nil))) :: Float
2.3025851