Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Stencils.CheckBackend

Contents

Synopsis

Classes

class SynToAst s t | s -> t where Source #

Minimal complete definition

Methods

Instances

SynToAst SpecInner Specification Source #
Methods synToAst :: SpecInner -> Either SynToAstError Specification Source #
SynToAst Region RegionSum Source #
Methods synToAst :: Region -> Either SynToAstError RegionSum Source #
SynToAst Specification (Either RegionDecl SpecDecl) Source #
Methods synToAst :: Specification -> Either SynToAstError (Either RegionDecl SpecDecl) Source #
SynToAst (Maybe Region) (Maybe RegionSum) Source #
Methods synToAst :: Maybe Region -> Either SynToAstError (Maybe RegionSum) Source #
SynToAst (Multiplicity (Approximation Region)) (Multiplicity (Approximation Spatial)) Source #
Methods synToAst :: Multiplicity (Approximation Region) -> Either SynToAstError (Multiplicity (Approximation Spatial)) Source #
SynToAst (Approximation Region) (Approximation Spatial) Source #
Methods synToAst :: Approximation Region -> Either SynToAstError (Approximation Spatial) Source #

Errors

Instances

Eq SynToAstError Source #
Methods (==) :: SynToAstError -> SynToAstError -> Bool # (/=) :: SynToAstError -> SynToAstError -> Bool #
Show SynToAstError Source #
Methods showsPrec :: Int -> SynToAstError -> ShowS # show :: SynToAstError -> String # showList :: [SynToAstError] -> ShowS #