| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Fortran.Model
Description
An embedding of Fortran expressions into strongly-typed Haskell values, and facilities for reasoning about them.
Synopsis
- module Language.Fortran.Model.Types
- module Language.Fortran.Model.Op
- module Language.Fortran.Model.Repr
Documentation
Each Fortran type gets a corresponding Haskell type.
module Language.Fortran.Model.Types
The Fortran expressions that can be formed are specified at the type level.
module Language.Fortran.Model.Op
Fortran values and expressions are represented symbolically, in a form that can be easily used in external theorem-provers via Data.SBV.
module Language.Fortran.Model.Repr