Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Units.Environment

Synopsis

Documentation

type VV = (Name, Name) Source #

A (unique name, source name) variable

data UnitInfo Source #

Description of the unit of an expression.

Constructors

UnitParamPosAbs (String, Int)
UnitParamPosUse (String, Int, Int)
UnitParamVarAbs (String, VV)
UnitParamVarUse (String, VV, Int)
UnitParamLitAbs Int
UnitParamLitUse (Int, 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 = D1 (MetaData "UnitInfo" "Camfort.Specification.Units.Environment" "camfort-0.902-8Im6xuROuWMLHG7LAKbLqn" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "UnitParamPosAbs" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (String, Int)))) (C1 (MetaCons "UnitParamPosUse" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (String, Int, Int))))) ((:+:) (C1 (MetaCons "UnitParamVarAbs" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (String, VV)))) (C1 (MetaCons "UnitParamVarUse" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (String, VV, Int)))))) ((:+:) ((:+:) (C1 (MetaCons "UnitParamLitAbs" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) (C1 (MetaCons "UnitParamLitUse" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Int, Int))))) ((:+:) (C1 (MetaCons "UnitParamEAPAbs" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VV))) (C1 (MetaCons "UnitParamEAPUse" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (VV, Int))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "UnitLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) (C1 (MetaCons "UnitlessLit" PrefixI False) U1)) ((:+:) (C1 (MetaCons "UnitlessVar" PrefixI False) U1) (C1 (MetaCons "UnitName" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) ((:+:) ((:+:) (C1 (MetaCons "UnitAlias" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "UnitVar" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VV)))) ((:+:) (C1 (MetaCons "UnitMul" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UnitInfo)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UnitInfo)))) ((:+:) (C1 (MetaCons "UnitPow" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UnitInfo)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))) (C1 (MetaCons "UnitRecord" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(String, UnitInfo)]))))))))

doubleToRationalSubset :: Double -> Maybe Rational Source #

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.902-8Im6xuROuWMLHG7LAKbLqn" 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 #

isVarUnit :: UnitInfo -> Bool Source #

isUnresolvedUnit :: UnitInfo -> Bool Source #

isResolvedUnit :: UnitInfo -> Bool Source #

pprintConstr :: Constraint -> String Source #

pprintUnitInfo :: UnitInfo -> String Source #

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

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

unitParamEq :: UnitInfo -> UnitInfo -> Bool Source #

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

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 # linkMultiple :: [Block UA] -> [Block UA] -> ([Block UA], [Block UA]) Source # linkMultiplePUs :: [ProgramUnit UA] -> [ProgramUnit UA] -> ([ProgramUnit UA], [ProgramUnit 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 #

dbgUnitAnnotation :: UnitAnnotation t -> [Char] Source #

mkUnitAnnotation :: a -> UnitAnnotation a Source #

toUnitInfo :: UnitOfMeasure -> UnitInfo Source #

Convert parser units to UnitInfo