Stdlib.Data.Range
Contents
type Range NSource#
An inclusive range of naturals
Constructors
type StepRange NSource#
to {N} {{Natural N}} (l h : N) : Range NSource#
`x to y` is the range [x..y]
step {N} (r : Range N) (s : 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#