Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.PetriNet.MatchToMath

Synopsis

type GraphToMathInstance = MatchInstance (Drawable (SimplePetriLike String)) Math
type Math = PetriMath Formula
data MathConfig = MathConfig {
- basicConfig :: BasicConfig
- advConfig :: AdvConfig
- changeConfig :: ChangeConfig
- generatedWrongInstances :: Int
- graphConfig :: GraphConfig
- printSolution :: Bool
- useDifferentGraphLayouts :: Bool
- wrongInstances :: Int
- alloyConfig :: AlloyConfig
- extraText :: Maybe (Map Language String)
}
data MatchInstance a b = MatchInstance {
- from :: a
- showSolution :: Bool
- to :: Map Int (Bool, b)
- addText :: Maybe (Map Language String)
}
type MathToGraphInstance = MatchInstance Math (Drawable (SimplePetriLike String))
addPartNames :: NamedParts n => n a -> n (String, a)
checkGraphToMathConfig :: MathConfig -> Maybe String
checkMathConfig :: MathConfig -> Maybe String
defaultGraphToMathInstance :: GraphToMathInstance
defaultMathConfig :: MathConfig
defaultMathToGraphInstance :: MathToGraphInstance
graphToMath :: (MonadAlloy m, MonadCatch m, MonadDiagrams m, MonadGraphviz m, Net p n) => MathConfig -> Int -> Int -> m (MatchInstance (Drawable (p n String)) Math)
graphToMathEvaluation :: OutputCapable m => GraphToMathInstance -> Int -> LangM m
graphToMathSyntax :: OutputCapable m => GraphToMathInstance -> Int -> LangM m
graphToMathTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> GraphToMathInstance -> LangM m
matchSolution :: MatchInstance a b -> Int
mathToGraph :: (MonadAlloy m, MonadCatch m, MonadDiagrams m, MonadGraphviz m, Net p n) => MathConfig -> Int -> Int -> m (MatchInstance Math (Drawable (p n String)))
mathToGraphEvaluation :: OutputCapable m => MathToGraphInstance -> Int -> LangM m
mathToGraphSyntax :: OutputCapable m => MathToGraphInstance -> Int -> LangM m
mathToGraphTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> MathToGraphInstance -> LangM m
petriNetRnd :: BasicConfig -> AdvConfig -> String

Documentation

type GraphToMathInstance = MatchInstance (Drawable (SimplePetriLike String)) Math Source #

type Math = PetriMath Formula Source #

data MathConfig Source #

Constructors

MathConfig
Fields basicConfig :: BasicConfig advConfig :: AdvConfig changeConfig :: ChangeConfig generatedWrongInstances :: Int graphConfig :: GraphConfig printSolution :: Bool useDifferentGraphLayouts :: Bool wrongInstances :: Int alloyConfig :: AlloyConfig extraText :: Maybe (Map Language String)

Instances

Instances details

Generic MathConfig Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Associated Types type Rep MathConfig :: Type -> Type # Methods from :: MathConfig -> Rep MathConfig x # to :: Rep MathConfig x -> MathConfig #
Read MathConfig Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Methods readsPrec :: Int -> ReadS MathConfig # readList :: ReadS [MathConfig] # readPrec :: ReadPrec MathConfig # readListPrec :: ReadPrec [MathConfig] #
Show MathConfig Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Methods showsPrec :: Int -> MathConfig -> ShowS # show :: MathConfig -> String # showList :: [MathConfig] -> ShowS #
type Rep MathConfig Source #
Instance details Defined in Modelling.PetriNet.MatchToMath type Rep MathConfig = D1 ('MetaData "MathConfig" "Modelling.PetriNet.MatchToMath" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "MathConfig" 'PrefixI 'True) (((S1 ('MetaSel ('Just "basicConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BasicConfig) :: S1 ('MetaSel ('Just "advConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdvConfig)) :: (S1 ('MetaSel ('Just "changeConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChangeConfig) :: (S1 ('MetaSel ('Just "generatedWrongInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "graphConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GraphConfig)))) :: ((S1 ('MetaSel ('Just "printSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "useDifferentGraphLayouts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "wrongInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "alloyConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AlloyConfig) :*: S1 ('MetaSel ('Just "extraText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Language String))))))))

data MatchInstance a b Source #

Constructors

MatchInstance
Fields from :: a showSolution :: Bool to :: Map Int (Bool, b) addText :: Maybe (Map Language String)

Instances

Instances details

Bifoldable MatchInstance Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Methods bifold :: Monoid m => MatchInstance m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> MatchInstance a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> MatchInstance a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> MatchInstance a b -> c #
Bifunctor MatchInstance Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Methods bimap :: (a -> b) -> (c -> d) -> MatchInstance a c -> MatchInstance b d # first :: (a -> b) -> MatchInstance a c -> MatchInstance b c # second :: (b -> c) -> MatchInstance a b -> MatchInstance a c #
Bitraversable MatchInstance Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> MatchInstance a b -> f (MatchInstance c d) #
Functor (MatchInstance a) Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Methods fmap :: (a0 -> b) -> MatchInstance a a0 -> MatchInstance a b # (<$) :: a0 -> MatchInstance a b -> MatchInstance a a0 #
(Data b, Data a) => Data (MatchInstance a b) Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> MatchInstance a b -> c (MatchInstance a b) # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MatchInstance a b) # toConstr :: MatchInstance a b -> Constr # dataTypeOf :: MatchInstance a b -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MatchInstance a b)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MatchInstance a b)) # gmapT :: (forall b0. Data b0 => b0 -> b0) -> MatchInstance a b -> MatchInstance a b # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MatchInstance a b -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MatchInstance a b -> r # gmapQ :: (forall d. Data d => d -> u) -> MatchInstance a b -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MatchInstance a b -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MatchInstance a b -> m (MatchInstance a b) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MatchInstance a b -> m (MatchInstance a b) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MatchInstance a b -> m (MatchInstance a b) #
Generic (MatchInstance a b) Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Associated Types type Rep (MatchInstance a b) :: Type -> Type # Methods from :: MatchInstance a b -> Rep (MatchInstance a b) x # to :: Rep (MatchInstance a b) x -> MatchInstance a b #
(Read a, Read b) => Read (MatchInstance a b) Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Methods readsPrec :: Int -> ReadS (MatchInstance a b) # readList :: ReadS [MatchInstance a b] # readPrec :: ReadPrec (MatchInstance a b) # readListPrec :: ReadPrec [MatchInstance a b] #
(Show a, Show b) => Show (MatchInstance a b) Source #
Instance details Defined in Modelling.PetriNet.MatchToMath Methods showsPrec :: Int -> MatchInstance a b -> ShowS # show :: MatchInstance a b -> String # showList :: [MatchInstance a b] -> ShowS #
type Rep (MatchInstance a b) Source #
Instance details Defined in Modelling.PetriNet.MatchToMath type Rep (MatchInstance a b) = D1 ('MetaData "MatchInstance" "Modelling.PetriNet.MatchToMath" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "MatchInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Int (Bool, b))) :*: S1 ('MetaSel ('Just "addText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Language String))))))

type MathToGraphInstance = MatchInstance Math (Drawable (SimplePetriLike String)) Source #

addPartNames :: NamedParts n => n a -> n (String, a) Source #

Deprecated: the whole type class NamedParts will be removed

checkGraphToMathConfig :: MathConfig -> Maybe String Source #

checkMathConfig :: MathConfig -> Maybe String Source #

defaultGraphToMathInstance :: GraphToMathInstance Source #

defaultMathConfig :: MathConfig Source #

defaultMathToGraphInstance :: MathToGraphInstance Source #

graphToMath :: (MonadAlloy m, MonadCatch m, MonadDiagrams m, MonadGraphviz m, Net p n) => MathConfig -> Int -> Int -> m (MatchInstance (Drawable (p n String)) Math) Source #

graphToMathEvaluation :: OutputCapable m => GraphToMathInstance -> Int -> LangM m Source #

graphToMathSyntax :: OutputCapable m => GraphToMathInstance -> Int -> LangM m Source #

graphToMathTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> GraphToMathInstance -> LangM m Source #

matchSolution :: MatchInstance a b -> Int Source #

mathToGraph :: (MonadAlloy m, MonadCatch m, MonadDiagrams m, MonadGraphviz m, Net p n) => MathConfig -> Int -> Int -> m (MatchInstance Math (Drawable (p n String))) Source #

mathToGraphEvaluation :: OutputCapable m => MathToGraphInstance -> Int -> LangM m Source #

mathToGraphSyntax :: OutputCapable m => MathToGraphInstance -> Int -> LangM m Source #

mathToGraphTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> MathToGraphInstance -> LangM m Source #

petriNetRnd :: BasicConfig -> AdvConfig -> String Source #