
 0 | module IotaTime.Internal.Normalization
 1 | 
 2 | %default total
 3 | 
 4 | ||| Preserve a value at runtime while preventing importing modules from
 5 | ||| unfolding an expensive computation during dependent type elaboration.
 6 | export
 7 | normalizationBarrier : (input -> output) -> input -> output
 8 | normalizationBarrier function value = function value
 9 |