Camfort.Specification.Units.Environment

Documentation

type VV = (Name, Name)

A (unique name, source name) variable

data UnitInfo

Description of the unit of an expression.

Constructors

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

Instances

Eq UnitInfo

Methods

(==) :: UnitInfo -> UnitInfo -> Bool

(/=) :: UnitInfo -> UnitInfo -> Bool

Data UnitInfo

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

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

Methods

showsPrec :: Int -> UnitInfo -> ShowS

show :: UnitInfo -> String

showList :: [UnitInfo] -> ShowS

data Constraint

A relation between UnitInfos

Constructors

ConEq UnitInfo UnitInfo

ConConj [Constraint]

Instances

Eq Constraint

Methods

(==) :: Constraint -> Constraint -> Bool

(/=) :: Constraint -> Constraint -> Bool

Data Constraint

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

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

Methods

showsPrec :: Int -> Constraint -> ShowS

show :: Constraint -> String

showList :: [Constraint] -> ShowS

type Constraints = [Constraint]

pprintConstr :: Constraint -> String

pprintUnitInfo :: UnitInfo -> String

conParamEq :: Constraint -> Constraint -> Bool

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

unitParamEq :: UnitInfo -> UnitInfo -> Bool

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

data UnitAnnotation a

Constructors

UnitAnnotation

Fields

• prevAnnotation :: a
• unitSpec :: Maybe UnitStatement
• unitConstraint :: Maybe Constraint
• unitInfo :: Maybe UnitInfo
• unitBlock :: Maybe (Block (Analysis (UnitAnnotation a)))

Instances

Linkable UA

Methods

link :: UA -> Block UA -> UA

linkMultiple :: [Block UA] -> [Block UA] -> ([Block UA], [Block UA])

ASTEmbeddable UA UnitStatement

Methods

annotateWithAST :: UA -> UnitStatement -> UA

Data a => Data (UnitAnnotation a)

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)

Methods

showsPrec :: Int -> UnitAnnotation a -> ShowS

show :: UnitAnnotation a -> String

showList :: [UnitAnnotation a] -> ShowS

dbgUnitAnnotation :: UnitAnnotation t -> [Char]

mkUnitAnnotation :: a -> UnitAnnotation a

toUnitInfo :: UnitOfMeasure -> UnitInfo

Convert parser units to UnitInfo