Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Units.Environment

Contents

Datatypes and Aliases
Helpers
Modules (instances)

Synopsis

Datatypes and Aliases

data Constraint Source #

A relation between UnitInfos

Constructors

ConEq UnitInfo UnitInfo
ConConj [Constraint]

Instances

Eq Constraint Source #
Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Data Constraint Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Constraint -> c Constraint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Constraint # toConstr :: Constraint -> Constr # dataTypeOf :: Constraint -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Constraint) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Constraint) # gmapT :: (forall b. Data b => b -> b) -> Constraint -> Constraint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r # gmapQ :: (forall d. Data d => d -> u) -> Constraint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Constraint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint #
Ord Constraint Source #
Methods compare :: Constraint -> Constraint -> Ordering # (<) :: Constraint -> Constraint -> Bool # (<=) :: Constraint -> Constraint -> Bool # (>) :: Constraint -> Constraint -> Bool # (>=) :: Constraint -> Constraint -> Bool # max :: Constraint -> Constraint -> Constraint # min :: Constraint -> Constraint -> Constraint #
Show Constraint Source #
Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Generic Constraint Source #
Associated Types type Rep Constraint :: * -> * # Methods from :: Constraint -> Rep Constraint x # to :: Rep Constraint x -> Constraint #
Binary Constraint Source #
Methods put :: Constraint -> Put # get :: Get Constraint # putList :: [Constraint] -> Put #
type Rep Constraint Source #
type Rep Constraint = D1 (MetaData "Constraint" "Camfort.Specification.Units.Environment" "camfort-0.904-Fd2p4aOxDp58zSsRDqamtC" False) ((:+:) (C1 (MetaCons "ConEq" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UnitInfo)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UnitInfo)))) (C1 (MetaCons "ConConj" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Constraint]))))

type Constraints = [Constraint] Source #

data UnitAnnotation a Source #

Constructors

UnitAnnotation
Fields prevAnnotation :: a unitSpec :: Maybe UnitStatement unitConstraint :: Maybe Constraint unitInfo :: Maybe UnitInfo unitBlock :: Maybe (Block (Analysis (UnitAnnotation a))) linked variable declaration unitPU :: Maybe (ProgramUnit (Analysis (UnitAnnotation a))) linked program unit

Instances

Linkable UA Source #
Methods link :: UA -> Block UA -> UA Source # linkPU :: UA -> ProgramUnit UA -> UA Source #
ASTEmbeddable UA UnitStatement Source #
Methods annotateWithAST :: UA -> UnitStatement -> UA Source #
Data a => Data (UnitAnnotation a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnitAnnotation a -> c (UnitAnnotation a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (UnitAnnotation a) # toConstr :: UnitAnnotation a -> Constr # dataTypeOf :: UnitAnnotation a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (UnitAnnotation a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (UnitAnnotation a)) # gmapT :: (forall b. Data b => b -> b) -> UnitAnnotation a -> UnitAnnotation a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnitAnnotation a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnitAnnotation a -> r # gmapQ :: (forall d. Data d => d -> u) -> UnitAnnotation a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnitAnnotation a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnitAnnotation a -> m (UnitAnnotation a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitAnnotation a -> m (UnitAnnotation a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitAnnotation a -> m (UnitAnnotation a) #
Show a => Show (UnitAnnotation a) Source #
Methods showsPrec :: Int -> UnitAnnotation a -> ShowS # show :: UnitAnnotation a -> String # showList :: [UnitAnnotation a] -> ShowS #

data UnitInfo Source #

Description of the unit of an expression.

Constructors

UnitParamPosAbs (PP, Int)
UnitParamPosUse (PP, Int, Int)
UnitParamVarAbs (PP, VV)
UnitParamVarUse (PP, VV, Int)
UnitParamLitAbs UniqueId
UnitParamLitUse (UniqueId, Int)
UnitParamEAPAbs VV
UnitParamEAPUse (VV, Int)
UnitLiteral Int
UnitlessLit
UnitlessVar
UnitName String
UnitAlias String
UnitVar VV
UnitMul UnitInfo UnitInfo
UnitPow UnitInfo Double
UnitRecord [(String, UnitInfo)]

Instances

Eq UnitInfo Source #
Methods (==) :: UnitInfo -> UnitInfo -> Bool # (/=) :: UnitInfo -> UnitInfo -> Bool #
Data UnitInfo Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnitInfo -> c UnitInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnitInfo # toConstr :: UnitInfo -> Constr # dataTypeOf :: UnitInfo -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c UnitInfo) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnitInfo) # gmapT :: (forall b. Data b => b -> b) -> UnitInfo -> UnitInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnitInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnitInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> UnitInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnitInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnitInfo -> m UnitInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitInfo -> m UnitInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitInfo -> m UnitInfo #
Ord UnitInfo Source #
Methods compare :: UnitInfo -> UnitInfo -> Ordering # (<) :: UnitInfo -> UnitInfo -> Bool # (<=) :: UnitInfo -> UnitInfo -> Bool # (>) :: UnitInfo -> UnitInfo -> Bool # (>=) :: UnitInfo -> UnitInfo -> Bool # max :: UnitInfo -> UnitInfo -> UnitInfo # min :: UnitInfo -> UnitInfo -> UnitInfo #
Show UnitInfo Source #
Methods showsPrec :: Int -> UnitInfo -> ShowS # show :: UnitInfo -> String # showList :: [UnitInfo] -> ShowS #
Generic UnitInfo Source #
Associated Types type Rep UnitInfo :: * -> * # Methods from :: UnitInfo -> Rep UnitInfo x # to :: Rep UnitInfo x -> UnitInfo #
Binary UnitInfo Source #
Methods put :: UnitInfo -> Put # get :: Get UnitInfo # putList :: [UnitInfo] -> Put #
type Rep UnitInfo Source #
type Rep UnitInfo

type VV = (Name, Name) Source #

A (unique name, source name) variable

type PP = (Name, Name) Source #

A (unique name, source name) program unit name

Helpers

conParamEq :: Constraint -> Constraint -> Bool Source #

Constraint parametric equality: treat all uses of a parametric abstractions as equivalent to the abstraction.

doubleToRationalSubset :: Double -> Maybe Rational Source #

mkUnitAnnotation :: a -> UnitAnnotation a Source #

pprintConstr :: Constraint -> String Source #

pprintUnitInfo :: UnitInfo -> String Source #

toUnitInfo :: UnitOfMeasure -> UnitInfo Source #

Convert parser units to UnitInfo

Modules (instances)

module Data.Data