Camfort.Specification.Stencils.Syntax

Documentation

type Variable = String

0. Representations

data Result a

Constructors

Exact a

Bound (Maybe a) (Maybe a)

Instances

Functor Result

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

Eq a => Eq (Result a)

Methods

(==) :: Result a -> Result a -> Bool

(/=) :: Result a -> Result a -> Bool

Data a => Data (Result a)

Methods

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

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

toConstr :: Result a -> Constr

dataTypeOf :: Result a -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Result a -> Result a

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

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

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

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

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

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

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

Show a => Show (Result a)

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS

Show (Result Spatial)

Methods

showsPrec :: Int -> Result Spatial -> ShowS

show :: Result Spatial -> String

showList :: [Result Spatial] -> ShowS

RegionRig (Result Spatial)

Methods

sum :: Result Spatial -> Result Spatial -> Result Spatial

prod :: Result Spatial -> Result Spatial -> Result Spatial

one :: Result Spatial

zero :: Result Spatial

isUnit :: Result Spatial -> Bool

Model (Result Spatial)

Associated Types

type Domain (Result Spatial) :: *

Methods

mkModel :: Result Spatial -> Domain (Result Spatial)

dimensionality :: Result Spatial -> Int

dimensions :: Result Spatial -> [Int]

type Domain (Result Spatial)

type Domain (Result Spatial) = Result (Multiset [Int])

fromExact :: Result a -> a

upperBound :: a -> Result a

lowerBound :: a -> Result a

absoluteRep :: Int

1 . Specification syntax

type RegionEnv = [(String, RegionSum)]

type SpecDecls = [([String], Specification)]

pprintSpecDecls :: SpecDecls -> String

lookupAggregate :: Eq a => [([a], b)] -> a -> [b]

data Specification

Constructors

Specification (Either (Result Spatial) Temporal)

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

Show Specification

Methods

showsPrec :: Int -> Specification -> ShowS

show :: Specification -> String

showList :: [Specification] -> ShowS

Model Specification

Associated Types

type Domain Specification :: *

Methods

mkModel :: Specification -> Domain Specification

dimensionality :: Specification -> Int

dimensions :: Specification -> [Int]

SynToAst Spec Specification

Methods

synToAst :: Spec -> Either ErrorMsg Specification

SynToAst Specification (Either RegionEnv SpecDecls)

Methods

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

type Domain Specification

type Domain Specification = Result (Multiset [Int])

data Temporal

Constructors

Dependency [String] Bool

Instances

Eq Temporal

Methods

(==) :: Temporal -> Temporal -> Bool

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

Data Temporal

Methods

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

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

toConstr :: Temporal -> Constr

dataTypeOf :: Temporal -> DataType

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

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

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

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

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

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

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

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

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

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

Show Temporal

Methods

showsPrec :: Int -> Temporal -> ShowS

show :: Temporal -> String

showList :: [Temporal] -> ShowS

data Spatial

Constructors

Spatial

Fields

• modLinearity :: Linearity
• region :: RegionSum

Instances

Eq Spatial

Methods

(==) :: Spatial -> Spatial -> Bool

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

Data Spatial

Methods

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

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

toConstr :: Spatial -> Constr

dataTypeOf :: Spatial -> DataType

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

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

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

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

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

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

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

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

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

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

Show Spatial

Methods

showsPrec :: Int -> Spatial -> ShowS

show :: Spatial -> String

showList :: [Spatial] -> ShowS

RegionRig Spatial

Methods

sum :: Spatial -> Spatial -> Spatial

prod :: Spatial -> Spatial -> Spatial

one :: Spatial

zero :: Spatial

isUnit :: Spatial -> Bool

Model Spatial

Associated Types

type Domain Spatial :: *

Methods

mkModel :: Spatial -> Domain Spatial

dimensionality :: Spatial -> Int

dimensions :: Spatial -> [Int]

Show (Result Spatial)

Methods

showsPrec :: Int -> Result Spatial -> ShowS

show :: Result Spatial -> String

showList :: [Result Spatial] -> ShowS

RegionRig (Result Spatial)

Methods

sum :: Result Spatial -> Result Spatial -> Result Spatial

prod :: Result Spatial -> Result Spatial -> Result Spatial

one :: Result Spatial

zero :: Result Spatial

isUnit :: Result Spatial -> Bool

Model (Result Spatial)

Associated Types

type Domain (Result Spatial) :: *

Methods

mkModel :: Result Spatial -> Domain (Result Spatial)

dimensionality :: Result Spatial -> Int

dimensions :: Result Spatial -> [Int]

type Domain Spatial

type Domain Spatial = Multiset [Int]

type Domain (Result Spatial)

type Domain (Result Spatial) = Result (Multiset [Int])

fromBool :: Bool -> Linearity

hasDuplicates :: Eq a => [a] -> ([a], Bool)

setLinearity :: Linearity -> Specification -> Specification

emptySpec :: Specification

emptySpatialSpec :: Spatial

isEmpty :: Specification -> Bool

data Linearity

Constructors

Linear

NonLinear

Instances

Eq Linearity

Methods

(==) :: Linearity -> Linearity -> Bool

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

Data Linearity

Methods

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

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

toConstr :: Linearity -> Constr

dataTypeOf :: Linearity -> DataType

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

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

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

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

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

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

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

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

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

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

RegionRig Linearity

Methods

sum :: Linearity -> Linearity -> Linearity

prod :: Linearity -> Linearity -> Linearity

one :: Linearity

zero :: Linearity

isUnit :: Linearity -> Bool

SynToAst [Mod] (Linearity, Maybe Mod)

Methods

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

type Dimension = Int

type Depth = Int

type IsRefl = Bool

data Region where

Constructors

Forward :: Depth -> Dimension -> IsRefl -> Region

Backward :: Depth -> Dimension -> IsRefl -> Region

Centered :: Depth -> Dimension -> IsRefl -> Region

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

Model Region

Associated Types

type Domain Region :: *

Methods

mkModel :: Region -> Domain Region

dimensionality :: Region -> Int

dimensions :: Region -> [Int]

type Domain Region

type Domain Region = Set [Int]

getDimension :: Region -> Dimension

newtype RegionProd

Constructors

Product

Fields

• unProd :: [Region]

Instances

Eq RegionProd

Methods

(==) :: RegionProd -> RegionProd -> Bool

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

Data RegionProd

Methods

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

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

toConstr :: RegionProd -> Constr

dataTypeOf :: RegionProd -> DataType

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

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

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

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

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

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

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

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

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

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

Ord RegionProd

Methods

compare :: RegionProd -> RegionProd -> Ordering

(<) :: RegionProd -> RegionProd -> Bool

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

(>) :: RegionProd -> RegionProd -> Bool

(>=) :: RegionProd -> RegionProd -> Bool

max :: RegionProd -> RegionProd -> RegionProd

min :: RegionProd -> RegionProd -> RegionProd

Show RegionProd

Methods

showsPrec :: Int -> RegionProd -> ShowS

show :: RegionProd -> String

showList :: [RegionProd] -> ShowS

PartialMonoid RegionProd

Methods

emptyM :: RegionProd

appendM :: RegionProd -> RegionProd -> Maybe RegionProd

Model RegionProd

Associated Types

type Domain RegionProd :: *

Methods

mkModel :: RegionProd -> Domain RegionProd

dimensionality :: RegionProd -> Int

dimensions :: RegionProd -> [Int]

type Domain RegionProd

type Domain RegionProd = Set [Int]

newtype RegionSum

Constructors

Sum

Fields

• unSum :: [RegionProd]

Instances

Eq RegionSum

Methods

(==) :: RegionSum -> RegionSum -> Bool

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

Data RegionSum

Methods

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

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

toConstr :: RegionSum -> Constr

dataTypeOf :: RegionSum -> DataType

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

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

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

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

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

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

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

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

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

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

Show RegionSum

Methods

showsPrec :: Int -> RegionSum -> ShowS

show :: RegionSum -> String

showList :: [RegionSum] -> ShowS

RegionRig RegionSum

Methods

sum :: RegionSum -> RegionSum -> RegionSum

prod :: RegionSum -> RegionSum -> RegionSum

one :: RegionSum

zero :: RegionSum

isUnit :: RegionSum -> Bool

Model RegionSum

Associated Types

type Domain RegionSum :: *

Methods

mkModel :: RegionSum -> Domain RegionSum

dimensionality :: RegionSum -> Int

dimensions :: RegionSum -> [Int]

SynToAst Region RegionSum

Methods

synToAst :: Region -> Either ErrorMsg RegionSum

SynToAst Specification (Either RegionEnv SpecDecls)

Methods

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

type Domain RegionSum

type Domain RegionSum = Set [Int]

specPlus :: Specification -> Specification -> Maybe Specification

regionPlus :: Region -> Region -> Maybe Region

absorbReflexive :: [Region] -> [Region] -> Maybe ([Region], [Region])

absorbReflexive' :: [Region] -> [Region] -> Maybe ([Region], [t])

distAndOverlaps :: [Region] -> [Region] -> Maybe [Region]

distAndOverlaps' :: [Region] -> [Region] -> Maybe [Region]

class RegionRig t where

Minimal complete definition

sum, prod, one, zero, isUnit

Methods

sum :: t -> t -> t

prod :: t -> t -> t

one :: t

zero :: t

isUnit :: t -> Bool

Instances

RegionRig RegionSum

Methods

sum :: RegionSum -> RegionSum -> RegionSum

prod :: RegionSum -> RegionSum -> RegionSum

one :: RegionSum

zero :: RegionSum

isUnit :: RegionSum -> Bool

RegionRig Linearity

Methods

sum :: Linearity -> Linearity -> Linearity

prod :: Linearity -> Linearity -> Linearity

one :: Linearity

zero :: Linearity

isUnit :: Linearity -> Bool

RegionRig Spatial

Methods

sum :: Spatial -> Spatial -> Spatial

prod :: Spatial -> Spatial -> Spatial

one :: Spatial

zero :: Spatial

isUnit :: Spatial -> Bool

RegionRig a => RegionRig (Maybe a)

Methods

sum :: Maybe a -> Maybe a -> Maybe a

prod :: Maybe a -> Maybe a -> Maybe a

one :: Maybe a

zero :: Maybe a

isUnit :: Maybe a -> Bool

RegionRig (Result Spatial)

Methods

sum :: Result Spatial -> Result Spatial -> Result Spatial

prod :: Result Spatial -> Result Spatial -> Result Spatial

one :: Result Spatial

zero :: Result Spatial

isUnit :: Result Spatial -> Bool

showL :: Show a => [a] -> String

showProdSpecs :: Show a => [a] -> String

showSumSpecs :: Show a => [a] -> String

showRegion :: (Show a1, Show a) => [Char] -> a -> a1 -> Bool -> [Char]

groupKeyBy :: Eq b => [(a, b)] -> [([a], b)]