camfort-0.902: CamFort - Cambridge Fortran infrastructure
Camfort.Specification.Stencils.CheckBackend
type ErrorMsg = String Source #
class SynToAst s t | s -> t where Source #
Minimal complete definition
synToAst
Methods
synToAst :: (?renv :: RegionEnv) => s -> Either ErrorMsg t Source #
Instances
synToAst :: Spec -> Either ErrorMsg Specification Source #
synToAst :: Region -> Either ErrorMsg RegionSum Source #
synToAst :: Specification -> Either ErrorMsg (Either RegionEnv SpecDecls) Source #
synToAst :: [Mod] -> Either ErrorMsg (Linearity, Maybe Mod) Source #
dnf :: (?renv :: RegionEnv) => Region -> Either ErrorMsg RegionSum Source #
find' :: Eq a => (a -> Maybe b) -> [a] -> Maybe b Source #