camfort-0.900: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Stencils.Model

Synopsis

Documentation

model :: Multiplicity (Approximation Spatial) -> Int -> Multiplicity (Approximation (Set [Int])) Source #

This function maps inner representation to a set of vectors of length - given by dim. This is the mathematical representation of the - specification. |

class Model spec where Source #

Minimal complete definition

mkModel, dimensions

Associated Types

type Domain spec Source #

Methods

mkModel :: (?globalDimensionality :: Int) => spec -> Domain spec Source #

dimensionality :: spec -> Int Source #

dimensions :: spec -> [Int] Source #

Instances

Model RegionSum Source # 
Model RegionProd Source # 
Model Region Source # 
Model Spatial Source # 
Model Specification Source # 
Model a => Model (Maybe a) Source # 

Associated Types

type Domain (Maybe a) :: * Source #

Model (Multiplicity (Approximation Spatial)) Source # 
Model (Approximation Spatial) Source # 

tensor :: Int -> [[Int]] -> [[Int]] -> Set [Int] Source #

cprodVs :: [[[Int]]] -> [[Int]] Source #

cprodV :: [[Int]] -> [[Int]] -> [[Int]] Source #

pairwisePerm :: [Int] -> [Int] -> [[Int]] Source #

maximum1 :: (Ord t, Num t) => [t] -> t Source #