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.

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 #

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 #

type Constraints = [Constraint] 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)))

Instances

Linkable UA Source #
Methods link :: UA -> Block UA -> UA Source # linkMultiple :: [Block UA] -> [Block UA] -> ([Block UA], [Block 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

UnitParamPosAbs (String, Int)
UnitParamPosUse (String, Int, Int)
UnitParamVarAbs (String, String)
UnitParamVarUse (String, String, Int)
UnitParamLitAbs Int
UnitParamLitUse (Int, Int)
UnitLiteral Int
UnitlessLit
UnitlessVar
UnitName String
UnitAlias String
UnitVar VV
UnitMul UnitInfo UnitInfo
UnitPow UnitInfo Double