Camfort.Specification.Stencils.Parser.Types

Documentation

data Specification

Constructors

RegionDec String Region

SpecDec SpecInner [String]

Instances

Eq Specification

Defined in Camfort.Specification.Stencils.Parser.Types

Methods

(==) :: Specification -> Specification -> Bool

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

Data Specification

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

Defined in Camfort.Specification.Stencils.Parser.Types

Methods

showsPrec :: Int -> Specification -> ShowS

show :: Specification -> String

showList :: [Specification] -> ShowS

ASTEmbeddable SA Specification

Defined in Camfort.Specification.Stencils.Annotation

Methods

annotateWithAST :: SA -> Specification -> SA

SynToAst Specification (Either RegionDecl SpecDecl)

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

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

data Region

Constructors

RegionConst Region

Or Region Region

And Region Region

Var String

Instances

Eq Region

Defined in Camfort.Specification.Stencils.Parser.Types

Methods

(==) :: Region -> Region -> Bool

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

Data Region

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

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

Defined in Camfort.Specification.Stencils.Parser.Types

Methods

showsPrec :: Int -> Region -> ShowS

show :: Region -> String

showList :: [Region] -> ShowS

SynToAst Region RegionSum

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

synToAst :: Region -> Either SynToAstError RegionSum

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)

data SpecInner

Constructors

SpecInner (Multiplicity (Approximation Region)) IsStencil

Instances

Eq SpecInner

Defined in Camfort.Specification.Stencils.Parser.Types

Methods

(==) :: SpecInner -> SpecInner -> Bool

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

Data SpecInner

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

Defined in Camfort.Specification.Stencils.Parser.Types

Methods

showsPrec :: Int -> SpecInner -> ShowS

show :: SpecInner -> String

showList :: [SpecInner] -> ShowS

SynToAst SpecInner Specification

Defined in Camfort.Specification.Stencils.CheckBackend

Methods

synToAst :: SpecInner -> Either SynToAstError Specification

reqRegions :: Specification -> [Variable]

Regions that are referenced in a specification.