Stdlib.Data.Range
Contents
type Range NSource#
An inclusive range of naturals
Constructors
type StepRange NSource#
to {N} {{Natural N}} (low high : N) : Range NSource#
`x to y` is the range [x..y]
step {N} (range : Range N) (step : N) : StepRange NSource#
`x to y step s` is the range [x, x + s, ..., y]
instance foldableRangeI {N} {{Eq N}} {{Natural N}} : Foldable (Range N) NSource#
instance foldableStepRangeI {N} {{Ord N}} {{Natural N}} : Foldable (StepRange N) NSource#
