Copyright	(c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish
License	Apache-2.0
Maintainer	dom.orchard@gmail.com
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

Camfort.Specification.Units.Parser.Types

Description

Documentation

data UnitStatement Source #

Constructors

UnitAssignment (Maybe [String]) UnitOfMeasure
UnitAlias String UnitOfMeasure

Instances

Instances details

Eq UnitStatement Source #
Instance details Defined in Camfort.Specification.Units.Parser.Types Methods (==) :: UnitStatement -> UnitStatement -> Bool # (/=) :: UnitStatement -> UnitStatement -> Bool #
Data UnitStatement Source #
Instance details Defined in Camfort.Specification.Units.Parser.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnitStatement -> c UnitStatement # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnitStatement # toConstr :: UnitStatement -> Constr # dataTypeOf :: UnitStatement -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnitStatement) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnitStatement) # gmapT :: (forall b. Data b => b -> b) -> UnitStatement -> UnitStatement # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnitStatement -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnitStatement -> r # gmapQ :: (forall d. Data d => d -> u) -> UnitStatement -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnitStatement -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnitStatement -> m UnitStatement # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitStatement -> m UnitStatement # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitStatement -> m UnitStatement #
Show UnitStatement Source #
Instance details Defined in Camfort.Specification.Units.Parser.Types Methods showsPrec :: Int -> UnitStatement -> ShowS # show :: UnitStatement -> String # showList :: [UnitStatement] -> ShowS #
ASTEmbeddable UA UnitStatement Source #
Instance details Defined in Camfort.Specification.Units.Annotation Methods annotateWithAST :: UA -> UnitStatement -> UA Source #

data UnitOfMeasure Source #

Constructors

Unitless
UnitBasic String
UnitProduct UnitOfMeasure UnitOfMeasure
UnitQuotient UnitOfMeasure UnitOfMeasure
UnitExponentiation UnitOfMeasure UnitPower
UnitRecord [(String, UnitOfMeasure)]

Instances

Instances details

Eq UnitOfMeasure Source #
Instance details Defined in Camfort.Specification.Units.Parser.Types Methods (==) :: UnitOfMeasure -> UnitOfMeasure -> Bool # (/=) :: UnitOfMeasure -> UnitOfMeasure -> Bool #
Data UnitOfMeasure Source #
Instance details Defined in Camfort.Specification.Units.Parser.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnitOfMeasure -> c UnitOfMeasure # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnitOfMeasure # toConstr :: UnitOfMeasure -> Constr # dataTypeOf :: UnitOfMeasure -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnitOfMeasure) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnitOfMeasure) # gmapT :: (forall b. Data b => b -> b) -> UnitOfMeasure -> UnitOfMeasure # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnitOfMeasure -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnitOfMeasure -> r # gmapQ :: (forall d. Data d => d -> u) -> UnitOfMeasure -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnitOfMeasure -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnitOfMeasure -> m UnitOfMeasure # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitOfMeasure -> m UnitOfMeasure # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitOfMeasure -> m UnitOfMeasure #
Show UnitOfMeasure Source #
Instance details Defined in Camfort.Specification.Units.Parser.Types Methods showsPrec :: Int -> UnitOfMeasure -> ShowS # show :: UnitOfMeasure -> String # showList :: [UnitOfMeasure] -> ShowS #

data UnitPower Source #

Constructors

UnitPowerInteger Integer
UnitPowerRational Integer Integer

Instances

Instances details

Eq UnitPower Source #
Instance details Defined in Camfort.Specification.Units.Parser.Types Methods (==) :: UnitPower -> UnitPower -> Bool # (/=) :: UnitPower -> UnitPower -> Bool #
Data UnitPower Source #
Instance details Defined in Camfort.Specification.Units.Parser.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnitPower -> c UnitPower # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnitPower # toConstr :: UnitPower -> Constr # dataTypeOf :: UnitPower -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnitPower) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnitPower) # gmapT :: (forall b. Data b => b -> b) -> UnitPower -> UnitPower # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnitPower -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnitPower -> r # gmapQ :: (forall d. Data d => d -> u) -> UnitPower -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnitPower -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnitPower -> m UnitPower # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitPower -> m UnitPower # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnitPower -> m UnitPower #
Show UnitPower Source #
Instance details Defined in Camfort.Specification.Units.Parser.Types Methods showsPrec :: Int -> UnitPower -> ShowS # show :: UnitPower -> String # showList :: [UnitPower] -> ShowS #