Safe Haskell	Safe-Inferred
Language	Haskell2010

Models.Mechanism

Description

This module defines the Mechanism, FOLLOW, Stage, and INCLUDE data types for representing chemical mechanisms and their stages.

The Mechanism type encapsulates the essential properties of a mechanism, including its ID, name, type, and activation energy. The FOLLOW type allows for descriptive annotations related to the mechanism. The Stage type models the stages within a mechanism, including order, name, description, and associated products. The INCLUDE type is defined as a placeholder for potential future extensions, enabling further development of the model without breaking existing functionality.

Documentation

type MechanismID = Int #

type StageID = Int #

data Mechanism #

Constructors

Mechanism
Fields mechanismId :: MechanismID mechanismName :: String mechanismType :: String mechanismActivationEnergy :: Float

Instances

Instances details

FromJSON Mechanism #
Instance details Defined in Models.Mechanism Methods parseJSON :: Value -> Parser Mechanism # parseJSONList :: Value -> Parser [Mechanism] # omittedField :: Maybe Mechanism #
ToJSON Mechanism #
Instance details Defined in Models.Mechanism Methods toJSON :: Mechanism -> Value # toEncoding :: Mechanism -> Encoding # toJSONList :: [Mechanism] -> Value # toEncodingList :: [Mechanism] -> Encoding # omitField :: Mechanism -> Bool #
Generic Mechanism #
Instance details Defined in Models.Mechanism Associated Types type Rep Mechanism :: Type -> Type # Methods from :: Mechanism -> Rep Mechanism x # to :: Rep Mechanism x -> Mechanism #
Show Mechanism #
Instance details Defined in Models.Mechanism Methods showsPrec :: Int -> Mechanism -> ShowS # show :: Mechanism -> String # showList :: [Mechanism] -> ShowS #
Eq Mechanism #
Instance details Defined in Models.Mechanism Methods (==) :: Mechanism -> Mechanism -> Bool # (/=) :: Mechanism -> Mechanism -> Bool #
ElemInteractant (Mechanism, Identity) #	Converts a Neo4j node with label Mechanism to a Haskell `Mechanism` and its `Identity`.
Instance details Defined in Domain.Converter.Instances Methods exactInteractant :: Elem -> Either ParsingError (Mechanism, Identity) #
type Rep Mechanism #
Instance details Defined in Models.Mechanism type Rep Mechanism = D1 ('MetaData "Mechanism" "Models.Mechanism" "chemist-preprocessor-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Mechanism" 'PrefixI 'True) ((S1 ('MetaSel ('Just "mechanismId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MechanismID) :: S1 ('MetaSel ('Just "mechanismName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :: (S1 ('MetaSel ('Just "mechanismType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "mechanismActivationEnergy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float))))

newtype FOLLOW #

Constructors

FOLLOW
Fields description :: String

Instances

Instances details

FromJSON FOLLOW #
Instance details Defined in Models.Mechanism Methods parseJSON :: Value -> Parser FOLLOW # parseJSONList :: Value -> Parser [FOLLOW] # omittedField :: Maybe FOLLOW #
ToJSON FOLLOW #
Instance details Defined in Models.Mechanism Methods toJSON :: FOLLOW -> Value # toEncoding :: FOLLOW -> Encoding # toJSONList :: [FOLLOW] -> Value # toEncodingList :: [FOLLOW] -> Encoding # omitField :: FOLLOW -> Bool #
Generic FOLLOW #
Instance details Defined in Models.Mechanism Associated Types type Rep FOLLOW :: Type -> Type # Methods from :: FOLLOW -> Rep FOLLOW x # to :: Rep FOLLOW x -> FOLLOW #
Show FOLLOW #
Instance details Defined in Models.Mechanism Methods showsPrec :: Int -> FOLLOW -> ShowS # show :: FOLLOW -> String # showList :: [FOLLOW] -> ShowS #
Eq FOLLOW #
Instance details Defined in Models.Mechanism Methods (==) :: FOLLOW -> FOLLOW -> Bool # (/=) :: FOLLOW -> FOLLOW -> Bool #
ElemInteractant (FOLLOW, Identity) #	Converts a Neo4j relationship of type FOLLOW to a Haskell `FOLLOW` and its `Identity`.
Instance details Defined in Domain.Converter.Instances Methods exactInteractant :: Elem -> Either ParsingError (FOLLOW, Identity) #
type Rep FOLLOW #
Instance details Defined in Models.Mechanism type Rep FOLLOW = D1 ('MetaData "FOLLOW" "Models.Mechanism" "chemist-preprocessor-0.1.0.0-inplace" 'True) (C1 ('MetaCons "FOLLOW" 'PrefixI 'True) (S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data Stage #

Constructors

Stage
Fields stageOrder :: StageID stageName :: String stageDescription :: String stageProducts :: [String]

Instances

Instances details

FromJSON Stage #
Instance details Defined in Models.Mechanism Methods parseJSON :: Value -> Parser Stage # parseJSONList :: Value -> Parser [Stage] # omittedField :: Maybe Stage #
ToJSON Stage #
Instance details Defined in Models.Mechanism Methods toJSON :: Stage -> Value # toEncoding :: Stage -> Encoding # toJSONList :: [Stage] -> Value # toEncodingList :: [Stage] -> Encoding # omitField :: Stage -> Bool #
Generic Stage #
Instance details Defined in Models.Mechanism Associated Types type Rep Stage :: Type -> Type # Methods from :: Stage -> Rep Stage x # to :: Rep Stage x -> Stage #
Show Stage #
Instance details Defined in Models.Mechanism Methods showsPrec :: Int -> Stage -> ShowS # show :: Stage -> String # showList :: [Stage] -> ShowS #
Eq Stage #
Instance details Defined in Models.Mechanism Methods (==) :: Stage -> Stage -> Bool # (/=) :: Stage -> Stage -> Bool #
ElemInteractant (Stage, Identity) #	Converts a Neo4j node with label Stage to a Haskell `Stage` and its `Identity`.
Instance details Defined in Domain.Converter.Instances Methods exactInteractant :: Elem -> Either ParsingError (Stage, Identity) #
type Rep Stage #
Instance details Defined in Models.Mechanism type Rep Stage = D1 ('MetaData "Stage" "Models.Mechanism" "chemist-preprocessor-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Stage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stageOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StageID) :: S1 ('MetaSel ('Just "stageName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :: (S1 ('MetaSel ('Just "stageDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "stageProducts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]))))

data INCLUDE #

Constructors

INCLUDE

Instances

Instances details

FromJSON INCLUDE #
Instance details Defined in Models.Mechanism Methods parseJSON :: Value -> Parser INCLUDE # parseJSONList :: Value -> Parser [INCLUDE] # omittedField :: Maybe INCLUDE #
ToJSON INCLUDE #
Instance details Defined in Models.Mechanism Methods toJSON :: INCLUDE -> Value # toEncoding :: INCLUDE -> Encoding # toJSONList :: [INCLUDE] -> Value # toEncodingList :: [INCLUDE] -> Encoding # omitField :: INCLUDE -> Bool #
Generic INCLUDE #
Instance details Defined in Models.Mechanism Associated Types type Rep INCLUDE :: Type -> Type # Methods from :: INCLUDE -> Rep INCLUDE x # to :: Rep INCLUDE x -> INCLUDE #
Show INCLUDE #
Instance details Defined in Models.Mechanism Methods showsPrec :: Int -> INCLUDE -> ShowS # show :: INCLUDE -> String # showList :: [INCLUDE] -> ShowS #
Eq INCLUDE #
Instance details Defined in Models.Mechanism Methods (==) :: INCLUDE -> INCLUDE -> Bool # (/=) :: INCLUDE -> INCLUDE -> Bool #
ElemInteractant (INCLUDE, Identity, Identity) #	Converts a Neo4j relationship of type INCLUDE to a Haskell `INCLUDE` and its two `Identity` values.
Instance details Defined in Domain.Converter.Instances Methods exactInteractant :: Elem -> Either ParsingError (INCLUDE, Identity, Identity) #
type Rep INCLUDE #
Instance details Defined in Models.Mechanism type Rep INCLUDE = D1 ('MetaData "INCLUDE" "Models.Mechanism" "chemist-preprocessor-0.1.0.0-inplace" 'False) (C1 ('MetaCons "INCLUDE" 'PrefixI 'False) (U1 :: Type -> Type))