camfort-0.802: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell98

Camfort.Specification.Stencils.Grammar

Documentation

data Specification Source #

Instances

Eq Specification Source # 
Data Specification Source # 

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 Source # 
Show Specification Source # 
SynToAst Specification (Either RegionEnv SpecDecls) Source # 

data Region Source #

Instances

Eq Region Source # 

Methods

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

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

Data Region Source # 

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 Source # 
Show Region Source # 
SynToAst Region RegionSum Source # 

data Spec Source #

Constructors

Spatial [Mod] Region 
Temporal [String] Bool 

Instances

Eq Spec Source # 

Methods

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

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

Data Spec Source # 

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 Source # 

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 Source # 

Methods

showsPrec :: Int -> Spec -> ShowS #

show :: Spec -> String #

showList :: [Spec] -> ShowS #

SynToAst Spec Specification Source # 

data Mod Source #

Constructors

AtLeast 
AtMost 
ReadOnce 

Instances

Eq Mod Source # 

Methods

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

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

Data Mod Source # 

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 Source # 

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 Source # 

Methods

showsPrec :: Int -> Mod -> ShowS #

show :: Mod -> String #

showList :: [Mod] -> ShowS #

SynToAst [Mod] (Linearity, Maybe Mod) Source #