Camfort.Specification.Stencils.Syntax

Documentation

type Variable = String

0. Representations

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 (Multiplicity (Approximation Spatial))

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

SynToAst Spec Specification

Methods

synToAst :: Spec -> Either ErrorMsg Specification

SynToAst Specification (Either RegionEnv SpecDecls)

Methods

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

isEmpty :: Specification -> Bool

data Spatial

Constructors

Spatial 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

Show (Multiplicity (Approximation Spatial))

Methods

showsPrec :: Int -> Multiplicity (Approximation Spatial) -> ShowS

show :: Multiplicity (Approximation Spatial) -> String

showList :: [Multiplicity (Approximation Spatial)] -> ShowS

Show (Approximation Spatial)

Methods

showsPrec :: Int -> Approximation Spatial -> ShowS

show :: Approximation Spatial -> String

showList :: [Approximation Spatial] -> ShowS

RegionRig (Approximation Spatial)

Methods

sum :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial

prod :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial

one :: Approximation Spatial

zero :: Approximation Spatial

isUnit :: Approximation Spatial -> Bool

fromBool :: Bool -> Linearity

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

setLinearity :: Linearity -> Specification -> Specification

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

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

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

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

SynToAst Region RegionSum

Methods

synToAst :: Region -> Either ErrorMsg RegionSum

SynToAst Specification (Either RegionEnv SpecDecls)

Methods

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

regionPlus :: 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 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 (Approximation Spatial)

Methods

sum :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial

prod :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial

one :: Approximation Spatial

zero :: Approximation Spatial

isUnit :: Approximation Spatial -> Bool

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

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

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

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

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