camfort-1.2.0: CamFort - Cambridge Fortran infrastructure
Copyright(c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish
LicenseApache-2.0
Maintainerdom.orchard@gmail.com
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageHaskell2010

Camfort.Specification.Units.Analysis

Contents

Description

 
Synopsis

Documentation

type UnitAnalysis = ReaderT UnitEnv (AnalysisT () () IO) Source #

Analysis with access to UnitEnv information.

compileUnits :: UnitOpts -> ModFiles -> ProgramFile Annotation -> IO ModFile Source #

Compile a program to a ModFile containing units information.

initInference :: UnitSolver () Source #

Prepare to run an inference function.

runInference :: UnitSolver a -> UnitAnalysis (a, UnitState) Source #

Run a UnitSolver analysis within a UnitsAnalysis.

Helpers