:: element -> [element] -> [element] -package:foundation -package:LambdaHack package:Agda

init of non-empty list, safe. O(n). init1 a as = init (a:as)
Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version.