Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Interaction.Highlighting.Range

Description

Converting generic ranges to Agda's ranges.

Synopsis

Documentation

module Agda.Utils.Range

rToR :: Range -> Ranges Source #

Converts a Range to a Ranges.

rangeToRange :: Range -> Range Source #

Converts a Range, seen as a continuous range, to a Range.