The maximum length of a FiniteString[N]
.
Creates a FiniteString[N]
from t
by truncating it
if it is longer than N
.
Creates a FiniteString[N]
from t
by truncating it
if it is longer than N
.
Example:
scala> import eu.timepit.refined.W | import eu.timepit.refined.types.string.FiniteString scala> FiniteString[W.`3`.T].truncate("abcde") res1: FiniteString[W.`3`.T] = abc