fortran-vars-0.3.0: Fortran memory model and other static analysis tools.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Fortran.Vars.Range

Synopsis

Documentation

type Range Source #

Arguments

 = (Int, Int)

(start, end)

Inclusive range used to represent a piece of memory

overlap :: Range -> Range -> Bool Source #

Return True if two ranges have overlap

anyOverlap :: Range -> [Range] -> Bool Source #

Return True if a given Range overlaps any Range in the provided list