camfort-0.904: CamFort - Cambridge Fortran infrastructure

Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Stencils.DenotationalSemantics

Documentation

intervalsToRegions :: UnionNF (S n) (Interval Standard) -> Either String Spatial Source #

regionsToIntervals :: forall n. Natural n -> Spatial -> Either String (UnionNF n (Interval Standard)) Source #