Functor Obandit.WrapRange01

module WrapRange01: functor (B : Bandit) -> RangedBandit  with type bandit = B.bandit

The WrapRange01 functor is a convenience aliasing of WrapRange with an initial "standard" range of $ \left[ 0,1 \right] $.

Parameters:

B : Bandit

type bandit

val initialBandit : bandit Obandit.rangedBandit

val step : bandit Obandit.rangedBandit ->
       float ->
       Obandit.rangedAction * bandit Obandit.rangedBandit