Copyright	(c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish
License	Apache-2.0
Maintainer	dom.orchard@gmail.com
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Stencils.Parser.Types

Description

Synopsis

data Specification
- = RegionDec String Region
- | SpecDec SpecInner [String]
data Region
- = RegionConst Region
- | Or Region Region
- | And Region Region
- | Var String
data SpecInner = SpecInner (Multiplicity (Approximation Region)) IsStencil
reqRegions :: Specification -> [Variable]

Documentation

data Specification Source #

Constructors

RegionDec String Region
SpecDec SpecInner [String]

Instances

Instances details

Eq Specification Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods (==) :: Specification -> Specification -> Bool # (/=) :: Specification -> Specification -> Bool #
Data Specification Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Specification -> c Specification # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Specification # toConstr :: Specification -> Constr # dataTypeOf :: Specification -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Specification) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Specification) # gmapT :: (forall b. Data b => b -> b) -> Specification -> Specification # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Specification -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Specification -> r # gmapQ :: (forall d. Data d => d -> u) -> Specification -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Specification -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Specification -> m Specification # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Specification -> m Specification # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Specification -> m Specification #
Show Specification Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods showsPrec :: Int -> Specification -> ShowS # show :: Specification -> String # showList :: [Specification] -> ShowS #
ASTEmbeddable SA Specification Source #
Instance details Defined in Camfort.Specification.Stencils.Annotation Methods annotateWithAST :: SA -> Specification -> SA Source #
SynToAst Specification (Either RegionDecl SpecDecl) Source #
Instance details Defined in Camfort.Specification.Stencils.CheckBackend Methods synToAst :: Specification -> Either SynToAstError (Either RegionDecl SpecDecl) Source #

data Region Source #

Constructors

RegionConst Region
Or Region Region
And Region Region
Var String

Instances

Instances details

Eq Region Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods (==) :: Region -> Region -> Bool # (/=) :: Region -> Region -> Bool #
Data Region Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Region -> c Region # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Region # toConstr :: Region -> Constr # dataTypeOf :: Region -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Region) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Region) # gmapT :: (forall b. Data b => b -> b) -> Region -> Region # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r # gmapQ :: (forall d. Data d => d -> u) -> Region -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Region -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Region -> m Region # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region #
Ord Region Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods compare :: Region -> Region -> Ordering # (<) :: Region -> Region -> Bool # (<=) :: Region -> Region -> Bool # (>) :: Region -> Region -> Bool # (>=) :: Region -> Region -> Bool # max :: Region -> Region -> Region # min :: Region -> Region -> Region #
Show Region Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods showsPrec :: Int -> Region -> ShowS # show :: Region -> String # showList :: [Region] -> ShowS #
SynToAst Region RegionSum Source #
Instance details Defined in Camfort.Specification.Stencils.CheckBackend Methods synToAst :: Region -> Either SynToAstError RegionSum Source #
SynToAst (Maybe Region) (Maybe RegionSum) Source #
Instance details Defined in Camfort.Specification.Stencils.CheckBackend Methods synToAst :: Maybe Region -> Either SynToAstError (Maybe RegionSum) Source #
SynToAst (Multiplicity (Approximation Region)) (Multiplicity (Approximation Spatial)) Source #
Instance details Defined in Camfort.Specification.Stencils.CheckBackend Methods synToAst :: Multiplicity (Approximation Region) -> Either SynToAstError (Multiplicity (Approximation Spatial)) Source #
SynToAst (Approximation Region) (Approximation Spatial) Source #
Instance details Defined in Camfort.Specification.Stencils.CheckBackend Methods synToAst :: Approximation Region -> Either SynToAstError (Approximation Spatial) Source #

data SpecInner Source #

Constructors

SpecInner (Multiplicity (Approximation Region)) IsStencil

Instances

Instances details

Eq SpecInner Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods (==) :: SpecInner -> SpecInner -> Bool # (/=) :: SpecInner -> SpecInner -> Bool #
Data SpecInner Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SpecInner -> c SpecInner # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SpecInner # toConstr :: SpecInner -> Constr # dataTypeOf :: SpecInner -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SpecInner) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SpecInner) # gmapT :: (forall b. Data b => b -> b) -> SpecInner -> SpecInner # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SpecInner -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SpecInner -> r # gmapQ :: (forall d. Data d => d -> u) -> SpecInner -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SpecInner -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SpecInner -> m SpecInner # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SpecInner -> m SpecInner # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SpecInner -> m SpecInner #
Show SpecInner Source #
Instance details Defined in Camfort.Specification.Stencils.Parser.Types Methods showsPrec :: Int -> SpecInner -> ShowS # show :: SpecInner -> String # showList :: [SpecInner] -> ShowS #
SynToAst SpecInner Specification Source #
Instance details Defined in Camfort.Specification.Stencils.CheckBackend Methods synToAst :: SpecInner -> Either SynToAstError Specification Source #

reqRegions :: Specification -> [Variable] Source #

Regions that are referenced in a specification.