Zsyntax.ReactionList

Documentation

data CtrlType

Constructors

Regular

SupersetClosed

Instances

Eq CtrlType

Defined in Zsyntax.ReactionList

Methods

(==) :: CtrlType -> CtrlType -> Bool

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

Ord CtrlType

Defined in Zsyntax.ReactionList

Methods

compare :: CtrlType -> CtrlType -> Ordering

(<) :: CtrlType -> CtrlType -> Bool

(<=) :: CtrlType -> CtrlType -> Bool

(>) :: CtrlType -> CtrlType -> Bool

(>=) :: CtrlType -> CtrlType -> Bool

max :: CtrlType -> CtrlType -> CtrlType

min :: CtrlType -> CtrlType -> CtrlType

Show CtrlType

Defined in Zsyntax.ReactionList

Methods

showsPrec :: Int -> CtrlType -> ShowS

show :: CtrlType -> String

showList :: [CtrlType] -> ShowS

data CtrlSetCtxt af

Constructors

CSC

Fields

• _cscType :: CtrlType
• _cscCtxt :: MultiSet af

Instances

Eq af => Eq (CtrlSetCtxt af)

Defined in Zsyntax.ReactionList

Methods

(==) :: CtrlSetCtxt af -> CtrlSetCtxt af -> Bool

(/=) :: CtrlSetCtxt af -> CtrlSetCtxt af -> Bool

Ord af => Ord (CtrlSetCtxt af)

Defined in Zsyntax.ReactionList

Methods

compare :: CtrlSetCtxt af -> CtrlSetCtxt af -> Ordering

(<) :: CtrlSetCtxt af -> CtrlSetCtxt af -> Bool

(<=) :: CtrlSetCtxt af -> CtrlSetCtxt af -> Bool

(>) :: CtrlSetCtxt af -> CtrlSetCtxt af -> Bool

(>=) :: CtrlSetCtxt af -> CtrlSetCtxt af -> Bool

max :: CtrlSetCtxt af -> CtrlSetCtxt af -> CtrlSetCtxt af

min :: CtrlSetCtxt af -> CtrlSetCtxt af -> CtrlSetCtxt af

Show af => Show (CtrlSetCtxt af)

Defined in Zsyntax.ReactionList

Methods

showsPrec :: Int -> CtrlSetCtxt af -> ShowS

show :: CtrlSetCtxt af -> String

showList :: [CtrlSetCtxt af] -> ShowS

newtype CtrlSet af

A control set is a set of linear contexts made up of atomic formulas, that is, multisets of formulas of the bonding language.

For a context C in a control set S we may want to consider its superset closure, that is, have that C' is in S for all superset C' of C. We therefore distinguish between superset-closed contexts and normal contexts in a control set. Actually, superset-closed contexts are the only way to specify infinite control sets.

Constructors

CS

Fields

• unCS :: Set (CtrlSetCtxt af)

Instances

Eq af => Eq (CtrlSet af)

Defined in Zsyntax.ReactionList

Methods

(==) :: CtrlSet af -> CtrlSet af -> Bool

(/=) :: CtrlSet af -> CtrlSet af -> Bool

Ord af => Ord (CtrlSet af)

Defined in Zsyntax.ReactionList

Methods

compare :: CtrlSet af -> CtrlSet af -> Ordering

(<) :: CtrlSet af -> CtrlSet af -> Bool

(<=) :: CtrlSet af -> CtrlSet af -> Bool

(>) :: CtrlSet af -> CtrlSet af -> Bool

(>=) :: CtrlSet af -> CtrlSet af -> Bool

max :: CtrlSet af -> CtrlSet af -> CtrlSet af

min :: CtrlSet af -> CtrlSet af -> CtrlSet af

Show af => Show (CtrlSet af)

Defined in Zsyntax.ReactionList

Methods

showsPrec :: Int -> CtrlSet af -> ShowS

show :: CtrlSet af -> String

showList :: [CtrlSet af] -> ShowS

Ord af => Semigroup (CtrlSet af)

Defined in Zsyntax.ReactionList

Methods

(<>) :: CtrlSet af -> CtrlSet af -> CtrlSet af

sconcat :: NonEmpty (CtrlSet af) -> CtrlSet af

stimes :: Integral b => b -> CtrlSet af -> CtrlSet af

Ord af => Monoid (CtrlSet af)

Defined in Zsyntax.ReactionList

Methods

mempty :: CtrlSet af

mappend :: CtrlSet af -> CtrlSet af -> CtrlSet af

mconcat :: [CtrlSet af] -> CtrlSet af

fromCSCtxts :: (Foldable f, Ord af) => f (CtrlSetCtxt af) -> CtrlSet af

toCtxtList :: CtrlSet af -> [CtrlSetCtxt af]

respectsCC :: Ord af => MultiSet af -> CtrlSetCtxt af -> Bool

Checks whether a linear context "respects" a control set context.

msRespectsCS :: Ord af => MultiSet af -> CtrlSet af -> Bool

Checks whether a linear context "respects" a control set, that is, if it respects all the control set contexts.

newtype RList eb cs

A reaction list is a list of pairs, where in each pair the first component is an elementary base, and the second component is a control set.

Constructors

RL

Fields

• unRL :: [(eb, cs)]

Instances

(Eq eb, Eq cs) => Eq (RList eb cs)

Defined in Zsyntax.ReactionList

Methods

(==) :: RList eb cs -> RList eb cs -> Bool

(/=) :: RList eb cs -> RList eb cs -> Bool

(Ord eb, Ord cs) => Ord (RList eb cs)

Defined in Zsyntax.ReactionList

Methods

compare :: RList eb cs -> RList eb cs -> Ordering

(<) :: RList eb cs -> RList eb cs -> Bool

(<=) :: RList eb cs -> RList eb cs -> Bool

(>) :: RList eb cs -> RList eb cs -> Bool

(>=) :: RList eb cs -> RList eb cs -> Bool

max :: RList eb cs -> RList eb cs -> RList eb cs

min :: RList eb cs -> RList eb cs -> RList eb cs

(Show eb, Show cs) => Show (RList eb cs)

Defined in Zsyntax.ReactionList

Methods

showsPrec :: Int -> RList eb cs -> ShowS

show :: RList eb cs -> String

showList :: [RList eb cs] -> ShowS

Semigroup (RList eb cs)

Defined in Zsyntax.ReactionList

Methods

(<>) :: RList eb cs -> RList eb cs -> RList eb cs

sconcat :: NonEmpty (RList eb cs) -> RList eb cs

stimes :: Integral b => b -> RList eb cs -> RList eb cs

Monoid (RList eb cs)

Defined in Zsyntax.ReactionList

Methods

mempty :: RList eb cs

mappend :: RList eb cs -> RList eb cs -> RList eb cs

mconcat :: [RList eb cs] -> RList eb cs

justCS :: Monoid eb => cs -> RList eb cs

extend :: Semigroup eb => eb -> RList eb cs -> RList eb cs

Extends a reaction list with an elementary base.

respectsRList :: Semigroup eb => (eb -> cs -> Bool) -> eb -> RList eb cs -> Bool

Checks whether an elementary base "respects" a reaction list, given a function to check whether the base "respects" the list's control sets.