camfort-0.804: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Stencils.Model

Documentation

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 (Result Spatial) Source # 

type Multiset a = Map a Bool Source #

mkMultiset :: Ord a => [a] -> Map a Bool 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 #