Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Stencils.Model

Documentation

model :: Result Spatial -> Result (Multiset [Int]) Source #

eqByModel :: Specification -> Specification -> Bool Source #

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 #
Associated Types type Domain RegionSum :: * Source # Methods mkModel :: RegionSum -> Domain RegionSum Source # dimensionality :: RegionSum -> Int Source # dimensions :: RegionSum -> [Int] Source #
Model RegionProd Source #
Associated Types type Domain RegionProd :: * Source # Methods mkModel :: RegionProd -> Domain RegionProd Source # dimensionality :: RegionProd -> Int Source # dimensions :: RegionProd -> [Int] Source #
Model Region Source #
Associated Types type Domain Region :: * Source # Methods mkModel :: Region -> Domain Region Source # dimensionality :: Region -> Int Source # dimensions :: Region -> [Int] Source #
Model Spatial Source #
Associated Types type Domain Spatial :: * Source # Methods mkModel :: Spatial -> Domain Spatial Source # dimensionality :: Spatial -> Int Source # dimensions :: Spatial -> [Int] Source #
Model Specification Source #
Associated Types type Domain Specification :: * Source # Methods mkModel :: Specification -> Domain Specification Source # dimensionality :: Specification -> Int Source # dimensions :: Specification -> [Int] Source #
Model a => Model (Maybe a) Source #
Associated Types type Domain (Maybe a) :: * Source # Methods mkModel :: Maybe a -> Domain (Maybe a) Source # dimensionality :: Maybe a -> Int Source # dimensions :: Maybe a -> [Int] Source #
Model (Result Spatial) Source #
Associated Types type Domain (Result Spatial) :: * Source # Methods mkModel :: Result Spatial -> Domain (Result Spatial) Source # dimensionality :: Result Spatial -> Int Source # dimensions :: Result Spatial -> [Int] Source #

type Multiset a = Map a Bool Source #

mkMultiset :: Ord a => [a] -> Map a Bool Source #

mkSingleEntryNeg :: Int -> Int -> Int -> [Int] 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 #