Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Units.Environment

Contents

Datatypes and Aliases
Helpers
Modules (instances)

Synopsis

data Constraint
- = ConEq UnitInfo UnitInfo
- | ConConj [Constraint]
type Constraints = [Constraint]
data UnitInfo
- = UnitParamPosAbs (PP, Int)
- | UnitParamPosUse (PP, Int, Int)
- | UnitParamVarAbs (PP, VV)
- | UnitParamVarUse (PP, VV, Int)
- | UnitParamLitAbs UniqueId
- | UnitParamLitUse (UniqueId, Int)
- | UnitParamEAPAbs VV
- | UnitParamEAPUse (VV, Int)
- | UnitParamImpAbs String
- | UnitLiteral Int
- | UnitlessLit
- | UnitlessVar
- | UnitName String
- | UnitAlias String
- | UnitVar VV
- | UnitMul UnitInfo UnitInfo
- | UnitPow UnitInfo Double
- | UnitRecord [(String, UnitInfo)]
isMonomorphic :: UnitInfo -> Bool
isUnitless :: UnitInfo -> Bool
type VV = (Name, Name)
type PP = (Name, Name)
conParamEq :: Constraint -> Constraint -> Bool
unitParamEq :: UnitInfo -> UnitInfo -> Bool
doubleToRationalSubset :: Double -> Maybe Rational
pprintConstr :: Constraint -> String
pprintUnitInfo :: UnitInfo -> String
toUnitInfo :: UnitOfMeasure -> UnitInfo
foldUnits :: Foldable t => t UnitInfo -> UnitInfo
flattenUnits :: UnitInfo -> [UnitInfo]
simplifyUnits :: UnitInfo -> UnitInfo
colSort :: UnitInfo -> UnitInfo -> Ordering
type SortFn = UnitInfo -> UnitInfo -> Ordering
module Data.Data

Datatypes and Aliases

data Constraint Source #

A relation between UnitInfos

Constructors

ConEq UnitInfo UnitInfo
ConConj [Constraint]

Instances

Instances details

Eq Constraint Source #
Instance details Defined in Camfort.Specification.Units.Environment Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Data Constraint Source #
Instance details Defined in Camfort.Specification.Units.Environment 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 :: forall r r'. (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 #
Instance details Defined in Camfort.Specification.Units.Environment 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 #
Instance details Defined in Camfort.Specification.Units.Environment Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Generic Constraint Source #
Instance details Defined in Camfort.Specification.Units.Environment Associated Types type Rep Constraint :: Type -> Type # Methods from :: Constraint -> Rep Constraint x # to :: Rep Constraint x -> Constraint #
Binary Constraint Source #
Instance details Defined in Camfort.Specification.Units.Environment Methods put :: Constraint -> Put # get :: Get Constraint # putList :: [Constraint] -> Put #
type Rep Constraint Source #
Instance details Defined in Camfort.Specification.Units.Environment type Rep Constraint = D1 ('MetaData "Constraint" "Camfort.Specification.Units.Environment" "camfort-1.0.1-inplace" 'False) (C1 ('MetaCons "ConEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInfo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInfo)) :+: C1 ('MetaCons "ConConj" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint])))

type Constraints = [Constraint] Source #

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)
UnitParamImpAbs String
UnitLiteral Int
UnitlessLit
UnitlessVar
UnitName String
UnitAlias String
UnitVar VV
UnitMul UnitInfo UnitInfo
UnitPow UnitInfo Double
UnitRecord [(String, UnitInfo)]

Instances

Instances details

Eq UnitInfo Source #
Instance details Defined in Camfort.Specification.Units.Environment Methods (==) :: UnitInfo -> UnitInfo -> Bool # (/=) :: UnitInfo -> UnitInfo -> Bool #
Data UnitInfo Source #
Instance details Defined in Camfort.Specification.Units.Environment 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 :: forall r r'. (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 #
Instance details Defined in Camfort.Specification.Units.Environment 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 #
Instance details Defined in Camfort.Specification.Units.Environment Methods showsPrec :: Int -> UnitInfo -> ShowS # show :: UnitInfo -> String # showList :: [UnitInfo] -> ShowS #
Generic UnitInfo Source #
Instance details Defined in Camfort.Specification.Units.Environment Associated Types type Rep UnitInfo :: Type -> Type # Methods from :: UnitInfo -> Rep UnitInfo x # to :: Rep UnitInfo x -> UnitInfo #
Binary UnitInfo Source #
Instance details Defined in Camfort.Specification.Units.Environment Methods put :: UnitInfo -> Put # get :: Get UnitInfo # putList :: [UnitInfo] -> Put #
Out UnitInfo Source #
Instance details Defined in Camfort.Specification.Units.Environment Methods docPrec :: Int -> UnitInfo -> Doc doc :: UnitInfo -> Doc docList :: [UnitInfo] -> Doc
type Rep UnitInfo Source #
Instance details Defined in Camfort.Specification.Units.Environment type Rep UnitInfo