Camfort.Specification.Stencils.CheckBackend

Classes

class SynToAst s t | s -> t where

Methods

synToAst :: (?renv :: RegionEnv) => s -> Either SynToAstError t

Instances

SynToAst SpecInner Specification

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

synToAst :: SpecInner -> Either SynToAstError Specification

SynToAst Region RegionSum

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

synToAst :: Region -> Either SynToAstError RegionSum

SynToAst Specification (Either RegionDecl SpecDecl)

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

synToAst :: Specification -> Either SynToAstError (Either RegionDecl SpecDecl)

SynToAst (Maybe Region) (Maybe RegionSum)

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

synToAst :: Maybe Region -> Either SynToAstError (Maybe RegionSum)

SynToAst (Multiplicity (Approximation Region)) (Multiplicity (Approximation Spatial))

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

synToAst :: Multiplicity (Approximation Region) -> Either SynToAstError (Multiplicity (Approximation Spatial))

SynToAst (Approximation Region) (Approximation Spatial)

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

synToAst :: Approximation Region -> Either SynToAstError (Approximation Spatial)

Errors

data SynToAstError

Instances

Eq SynToAstError

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

(==) :: SynToAstError -> SynToAstError -> Bool

(/=) :: SynToAstError -> SynToAstError -> Bool

Show SynToAstError

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

showsPrec :: Int -> SynToAstError -> ShowS

show :: SynToAstError -> String

showList :: [SynToAstError] -> ShowS

regionNotInScope :: String -> SynToAstError

Helpers

checkOffsetsAgainstSpec :: [(Variable, Multiplicity [[Int]])] -> [(Variable, Specification)] -> Bool