Camfort.Specification.Stencils.Grammar

Documentation

specParser :: AnnotationParser Specification

data Specification

Constructors

RegionDec String Region

SpecDec Spec [String]

Instances

Eq Specification

Methods

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

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

Data Specification

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 :: (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

Ord Specification

Methods

compare :: Specification -> Specification -> Ordering

(<) :: Specification -> Specification -> Bool

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

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

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

max :: Specification -> Specification -> Specification

min :: Specification -> Specification -> Specification

Show Specification

Methods

showsPrec :: Int -> Specification -> ShowS

show :: Specification -> String

showList :: [Specification] -> ShowS

SynToAst Specification (Either RegionEnv SpecDecls)

Methods

synToAst :: Specification -> Either ErrorMsg (Either RegionEnv SpecDecls)

data Region

Constructors

Forward Int Int Bool

Backward Int Int Bool

Centered Int Int Bool

Or Region Region

And Region Region

Var String

Instances

Eq Region

Methods

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

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

Data Region

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 :: (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

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

Methods

showsPrec :: Int -> Region -> ShowS

show :: Region -> String

showList :: [Region] -> ShowS

SynToAst Region RegionSum

Methods

synToAst :: Region -> Either ErrorMsg RegionSum

data Spec

Constructors

Spatial [Mod] Region

Instances

Eq Spec

Methods

(==) :: Spec -> Spec -> Bool

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

Data Spec

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Spec -> c Spec

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Spec

toConstr :: Spec -> Constr

dataTypeOf :: Spec -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Spec)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Spec)

gmapT :: (forall b. Data b => b -> b) -> Spec -> Spec

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Spec -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Spec -> r

gmapQ :: (forall d. Data d => d -> u) -> Spec -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Spec -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Spec -> m Spec

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Spec -> m Spec

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Spec -> m Spec

Ord Spec

Methods

compare :: Spec -> Spec -> Ordering

(<) :: Spec -> Spec -> Bool

(<=) :: Spec -> Spec -> Bool

(>) :: Spec -> Spec -> Bool

(>=) :: Spec -> Spec -> Bool

max :: Spec -> Spec -> Spec

min :: Spec -> Spec -> Spec

Show Spec

Methods

showsPrec :: Int -> Spec -> ShowS

show :: Spec -> String

showList :: [Spec] -> ShowS

SynToAst Spec Specification

Methods

synToAst :: Spec -> Either ErrorMsg Specification

data Mod

Constructors

AtLeast

AtMost

ReadOnce

Instances

Eq Mod

Methods

(==) :: Mod -> Mod -> Bool

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

Data Mod

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mod -> c Mod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mod

toConstr :: Mod -> Constr

dataTypeOf :: Mod -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Mod)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mod)

gmapT :: (forall b. Data b => b -> b) -> Mod -> Mod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mod -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mod -> r

gmapQ :: (forall d. Data d => d -> u) -> Mod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Mod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Mod -> m Mod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Mod -> m Mod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Mod -> m Mod

Ord Mod

Methods

compare :: Mod -> Mod -> Ordering

(<) :: Mod -> Mod -> Bool

(<=) :: Mod -> Mod -> Bool

(>) :: Mod -> Mod -> Bool

(>=) :: Mod -> Mod -> Bool

max :: Mod -> Mod -> Mod

min :: Mod -> Mod -> Mod

Show Mod

Methods

showsPrec :: Int -> Mod -> ShowS

show :: Mod -> String

showList :: [Mod] -> ShowS

SynToAst [Mod] (Linearity, Maybe Mod)

Methods

synToAst :: [Mod] -> Either ErrorMsg (Linearity, Maybe Mod)

lexer :: String -> Either AnnotationParseError [Token]