Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Stencils.Syntax

Contents

0. Representations
1 . Specification syntax

Synopsis

Documentation

type Variable = String Source #

0. Representations

data Approximation a Source #

Constructors

Exact a
Bound (Maybe a) (Maybe a)

Instances

Functor Approximation Source #
Methods fmap :: (a -> b) -> Approximation a -> Approximation b # (<$) :: a -> Approximation b -> Approximation a #
Eq a => Eq (Approximation a) Source #
Methods (==) :: Approximation a -> Approximation a -> Bool # (/=) :: Approximation a -> Approximation a -> Bool #
Data a => Data (Approximation a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Approximation a -> c (Approximation a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Approximation a) # toConstr :: Approximation a -> Constr # dataTypeOf :: Approximation a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Approximation a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Approximation a)) # gmapT :: (forall b. Data b => b -> b) -> Approximation a -> Approximation a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Approximation a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Approximation a -> r # gmapQ :: (forall d. Data d => d -> u) -> Approximation a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Approximation a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Approximation a -> m (Approximation a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Approximation a -> m (Approximation a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Approximation a -> m (Approximation a) #
Show (Multiplicity (Approximation Spatial)) Source #
Methods showsPrec :: Int -> Multiplicity (Approximation Spatial) -> ShowS # show :: Multiplicity (Approximation Spatial) -> String # showList :: [Multiplicity (Approximation Spatial)] -> ShowS #
Show a => Show (Approximation a) Source #
Methods showsPrec :: Int -> Approximation a -> ShowS # show :: Approximation a -> String # showList :: [Approximation a] -> ShowS #
Show (Approximation Spatial) Source #
Methods showsPrec :: Int -> Approximation Spatial -> ShowS # show :: Approximation Spatial -> String # showList :: [Approximation Spatial] -> ShowS #
RegionRig (Approximation Spatial) Source #
Methods sum :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial Source # prod :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial Source # one :: Approximation Spatial Source # zero :: Approximation Spatial Source # isUnit :: Approximation Spatial -> Bool Source #
Model (Multiplicity (Approximation Spatial)) Source #
Associated Types type Domain (Multiplicity (Approximation Spatial)) :: * Source # Methods mkModel :: Multiplicity (Approximation Spatial) -> Domain (Multiplicity (Approximation Spatial)) Source # dimensionality :: Multiplicity (Approximation Spatial) -> Int Source # dimensions :: Multiplicity (Approximation Spatial) -> [Int] Source #
Model (Approximation Spatial) Source #
Associated Types type Domain (Approximation Spatial) :: * Source # Methods mkModel :: Approximation Spatial -> Domain (Approximation Spatial) Source # dimensionality :: Approximation Spatial -> Int Source # dimensions :: Approximation Spatial -> [Int] Source #
type Domain (Multiplicity (Approximation Spatial)) Source #
type Domain (Multiplicity (Approximation Spatial)) = Multiplicity (Approximation (Set [Int]))
type Domain (Approximation Spatial) Source #
type Domain (Approximation Spatial) = Approximation (Set [Int])

fromExact :: Approximation a -> a Source #

upperBound :: a -> Approximation a Source #

lowerBound :: a -> Approximation a Source #

absoluteRep :: Int Source #

1 . Specification syntax

type RegionEnv = [(String, RegionSum)] Source #

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

pprintSpecDecls :: SpecDecls -> String Source #

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

data Specification Source #

Constructors

Specification (Multiplicity (Approximation Spatial))

Instances

Eq Specification Source #
Methods (==) :: Specification -> Specification -> Bool # (/=) :: Specification -> Specification -> Bool #
Data Specification Source #
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 Source #
Methods showsPrec :: Int -> Specification -> ShowS # show :: Specification -> String # showList :: [Specification] -> ShowS #
Model Specification Source #
Associated Types type Domain Specification :: * Source # Methods mkModel :: Specification -> Domain Specification Source # dimensionality :: Specification -> Int Source # dimensions :: Specification -> [Int] Source #
SynToAst Spec Specification Source #
Methods synToAst :: Spec -> Either ErrorMsg Specification Source #
SynToAst Specification (Either RegionEnv SpecDecls) Source #
Methods synToAst :: Specification -> Either ErrorMsg (Either RegionEnv SpecDecls) Source #
type Domain Specification Source #
type Domain Specification = Multiplicity (Approximation (Set [Int]))

isEmpty :: Specification -> Bool Source #

data Spatial Source #

Constructors

Spatial RegionSum

Instances

Eq Spatial Source #
Methods (==) :: Spatial -> Spatial -> Bool # (/=) :: Spatial -> Spatial -> Bool #
Data Spatial Source #
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 Source #
Methods showsPrec :: Int -> Spatial -> ShowS # show :: Spatial -> String # showList :: [Spatial] -> ShowS #
RegionRig Spatial Source #
Methods sum :: Spatial -> Spatial -> Spatial Source # prod :: Spatial -> Spatial -> Spatial Source # one :: Spatial Source # zero :: Spatial Source # isUnit :: Spatial -> Bool Source #
Model Spatial Source #
Associated Types type Domain Spatial :: * Source # Methods mkModel :: Spatial -> Domain Spatial Source # dimensionality :: Spatial -> Int Source # dimensions :: Spatial -> [Int] Source #
Show (Multiplicity (Approximation Spatial)) Source #
Methods showsPrec :: Int -> Multiplicity (Approximation Spatial) -> ShowS # show :: Multiplicity (Approximation Spatial) -> String # showList :: [Multiplicity (Approximation Spatial)] -> ShowS #
Show (Approximation Spatial) Source #
Methods showsPrec :: Int -> Approximation Spatial -> ShowS # show :: Approximation Spatial -> String # showList :: [Approximation Spatial] -> ShowS #
RegionRig (Approximation Spatial) Source #
Methods sum :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial Source # prod :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial Source # one :: Approximation Spatial Source # zero :: Approximation Spatial Source # isUnit :: Approximation Spatial -> Bool Source #
Model (Multiplicity (Approximation Spatial)) Source #
Associated Types type Domain (Multiplicity (Approximation Spatial)) :: * Source # Methods mkModel :: Multiplicity (Approximation Spatial) -> Domain (Multiplicity (Approximation Spatial)) Source # dimensionality :: Multiplicity (Approximation Spatial) -> Int Source # dimensions :: Multiplicity (Approximation Spatial) -> [Int] Source #
Model (Approximation Spatial) Source #
Associated Types type Domain (Approximation Spatial) :: * Source # Methods mkModel :: Approximation Spatial -> Domain (Approximation Spatial) Source # dimensionality :: Approximation Spatial -> Int Source # dimensions :: Approximation Spatial -> [Int] Source #
type Domain Spatial Source #
type Domain Spatial = Set [Int]
type Domain (Multiplicity (Approximation Spatial)) Source #
type Domain (Multiplicity (Approximation Spatial)) = Multiplicity (Approximation (Set [Int]))
type Domain (Approximation Spatial) Source #
type Domain (Approximation Spatial) = Approximation (Set [Int])

fromBool :: Bool -> Linearity Source #

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

fromMult :: Multiplicity a -> a Source #

setLinearity :: Linearity -> Specification -> Specification Source #

data Linearity Source #

Constructors

Linear
NonLinear

Instances

Eq Linearity Source #
Methods (==) :: Linearity -> Linearity -> Bool # (/=) :: Linearity -> Linearity -> Bool #
Data Linearity Source #
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) Source #
Methods synToAst :: [Mod] -> Either ErrorMsg (Linearity, Maybe Mod) Source #

data Multiplicity a Source #

Constructors

Multiple a
Single a

Instances

Functor Multiplicity Source #
Methods fmap :: (a -> b) -> Multiplicity a -> Multiplicity b # (<$) :: a -> Multiplicity b -> Multiplicity a #
Eq a => Eq (Multiplicity a) Source #
Methods (==) :: Multiplicity a -> Multiplicity a -> Bool # (/=) :: Multiplicity a -> Multiplicity a -> Bool #
Data a => Data (Multiplicity a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Multiplicity a -> c (Multiplicity a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Multiplicity a) # toConstr :: Multiplicity a -> Constr # dataTypeOf :: Multiplicity a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Multiplicity a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Multiplicity a)) # gmapT :: (forall b. Data b => b -> b) -> Multiplicity a -> Multiplicity a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Multiplicity a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Multiplicity a -> r # gmapQ :: (forall d. Data d => d -> u) -> Multiplicity a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Multiplicity a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Multiplicity a -> m (Multiplicity a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Multiplicity a -> m (Multiplicity a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Multiplicity a -> m (Multiplicity a) #
Show a => Show (Multiplicity a) Source #
Methods showsPrec :: Int -> Multiplicity a -> ShowS # show :: Multiplicity a -> String # showList :: [Multiplicity a] -> ShowS #
Show (Multiplicity (Approximation Spatial)) Source #
Methods showsPrec :: Int -> Multiplicity (Approximation Spatial) -> ShowS # show :: Multiplicity (Approximation Spatial) -> String # showList :: [Multiplicity (Approximation Spatial)] -> ShowS #
Model (Multiplicity (Approximation Spatial)) Source #
Associated Types type Domain (Multiplicity (Approximation Spatial)) :: * Source # Methods mkModel :: Multiplicity (Approximation Spatial) -> Domain (Multiplicity (Approximation Spatial)) Source # dimensionality :: Multiplicity (Approximation Spatial) -> Int Source # dimensions :: Multiplicity (Approximation Spatial) -> [Int] Source #
type Domain (Multiplicity (Approximation Spatial)) Source #
type Domain (Multiplicity (Approximation Spatial)) = Multiplicity (Approximation (Set [Int]))

type Dimension = Int Source #

type Depth = Int Source #

type IsRefl = Bool Source #

data Region where Source #

Constructors

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

Instances

Eq Region Source #
Methods (==) :: Region -> Region -> Bool # (/=) :: Region -> Region -> Bool #
Data Region Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Region -> ShowS # show :: Region -> String # showList :: [Region] -> ShowS #
Model Region Source #
Associated Types type Domain Region :: * Source # Methods mkModel :: Region -> Domain Region Source # dimensionality :: Region -> Int Source # dimensions :: Region -> [Int] Source #
type Domain Region Source #
type Domain Region = Set [Int]

getDimension :: Region -> Dimension Source #

newtype RegionProd Source #

Constructors

Product
Fields unProd :: [Region]

Instances

Eq RegionProd Source #
Methods (==) :: RegionProd -> RegionProd -> Bool # (/=) :: RegionProd -> RegionProd -> Bool #
Data RegionProd Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> RegionProd -> ShowS # show :: RegionProd -> String # showList :: [RegionProd] -> ShowS #
PartialMonoid RegionProd Source #
Methods emptyM :: RegionProd Source # appendM :: RegionProd -> RegionProd -> Maybe RegionProd Source #
Model RegionProd Source #
Associated Types type Domain RegionProd :: * Source # Methods mkModel :: RegionProd -> Domain RegionProd Source # dimensionality :: RegionProd -> Int Source # dimensions :: RegionProd -> [Int] Source #
type Domain RegionProd Source #
type Domain RegionProd = Set [Int]

newtype RegionSum Source #

Constructors

Sum
Fields unSum :: [RegionProd]

Instances

Eq RegionSum Source #
Methods (==) :: RegionSum -> RegionSum -> Bool # (/=) :: RegionSum -> RegionSum -> Bool #
Data RegionSum Source #
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 Source #
Methods showsPrec :: Int -> RegionSum -> ShowS # show :: RegionSum -> String # showList :: [RegionSum] -> ShowS #
RegionRig RegionSum Source #
Methods sum :: RegionSum -> RegionSum -> RegionSum Source # prod :: RegionSum -> RegionSum -> RegionSum Source # one :: RegionSum Source # zero :: RegionSum Source # isUnit :: RegionSum -> Bool Source #
Model RegionSum Source #
Associated Types type Domain RegionSum :: * Source # Methods mkModel :: RegionSum -> Domain RegionSum Source # dimensionality :: RegionSum -> Int Source # dimensions :: RegionSum -> [Int] Source #
SynToAst Region RegionSum Source #
Methods synToAst :: Region -> Either ErrorMsg RegionSum Source #
SynToAst Specification (Either RegionEnv SpecDecls) Source #
Methods synToAst :: Specification -> Either ErrorMsg (Either RegionEnv SpecDecls) Source #
type Domain RegionSum Source #
type Domain RegionSum = Set [Int]

regionPlus :: Region -> Region -> Maybe Region Source #

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

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

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

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

class RegionRig t where Source #

Minimal complete definition

sum, prod, one, zero, isUnit

Methods

sum :: t -> t -> t Source #

prod :: t -> t -> t Source #

one :: t Source #

zero :: t Source #

isUnit :: t -> Bool Source #

Instances

RegionRig RegionSum Source #
Methods sum :: RegionSum -> RegionSum -> RegionSum Source # prod :: RegionSum -> RegionSum -> RegionSum Source # one :: RegionSum Source # zero :: RegionSum Source # isUnit :: RegionSum -> Bool Source #
RegionRig Spatial Source #
Methods sum :: Spatial -> Spatial -> Spatial Source # prod :: Spatial -> Spatial -> Spatial Source # one :: Spatial Source # zero :: Spatial Source # isUnit :: Spatial -> Bool Source #
RegionRig a => RegionRig (Maybe a) Source #
Methods sum :: Maybe a -> Maybe a -> Maybe a Source # prod :: Maybe a -> Maybe a -> Maybe a Source # one :: Maybe a Source # zero :: Maybe a Source # isUnit :: Maybe a -> Bool Source #
RegionRig (Approximation Spatial) Source #
Methods sum :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial Source # prod :: Approximation Spatial -> Approximation Spatial -> Approximation Spatial Source # one :: Approximation Spatial Source # zero :: Approximation Spatial Source # isUnit :: Approximation Spatial -> Bool Source #

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

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

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

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

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