stdlib - 0.0.1

Stdlib.Data.Range

Description

Definitions

type Range NSource#

An inclusive range of naturals

Constructors

| mkRange@{ low : N; high : N; }

type StepRange NSource#

Constructors

| mkStepRange@{ range : Range N; step : N; }

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#