| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Stencils.CheckBackend
Synopsis
- class SynToAst s t | s -> t where
- synToAst :: (?renv :: RegionEnv) => s -> Either SynToAstError t
- data SynToAstError
- regionNotInScope :: String -> SynToAstError
- checkOffsetsAgainstSpec :: [(Variable, Multiplicity [[Int]])] -> [(Variable, Specification)] -> Bool
Classes
class SynToAst s t | s -> t where Source #
Instances
Errors
data SynToAstError Source #
Instances
| Eq SynToAstError Source # | |
Defined in Camfort.Specification.Stencils.CheckBackend Methods (==) :: SynToAstError -> SynToAstError -> Bool # (/=) :: SynToAstError -> SynToAstError -> Bool # | |
| Show SynToAstError Source # | |
Defined in Camfort.Specification.Stencils.CheckBackend Methods showsPrec :: Int -> SynToAstError -> ShowS # show :: SynToAstError -> String # showList :: [SynToAstError] -> ShowS # | |
Helpers
checkOffsetsAgainstSpec :: [(Variable, Multiplicity [[Int]])] -> [(Variable, Specification)] -> Bool Source #