Safe Haskell	None
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 :: ExtraText
}
data MatchInstance a b = MatchInstance {
- from :: a
- showSolution :: Bool
- to :: Map Int (Bool, b)
- addText :: ExtraText
}
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 :: forall m p (n :: Type -> Type). (MonadAlloy m, MonadCatch m, MonadDiagrams m, MonadGraphviz m, Net p n) => MathConfig -> Int -> Int -> m (MatchInstance (Drawable (p n String)) Math)
graphToMathEvaluation :: forall (m :: Type -> Type). OutputCapable m => GraphToMathInstance -> Int -> LangM m
graphToMathSyntax :: forall (m :: Type -> Type). OutputCapable m => GraphToMathInstance -> Int -> LangM m
graphToMathTask :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => Bool -> FilePath -> GraphToMathInstance -> LangM m
matchSolution :: MatchInstance a b -> Int
mathToGraph :: forall m p (n :: Type -> Type). (MonadAlloy m, MonadCatch m, MonadDiagrams m, MonadGraphviz m, Net p n) => MathConfig -> Int -> Int -> m (MatchInstance Math (Drawable (p n String)))
mathToGraphEvaluation :: forall (m :: Type -> Type). OutputCapable m => MathToGraphInstance -> Int -> LangM m
mathToGraphSyntax :: forall (m :: Type -> Type). OutputCapable m => MathToGraphInstance -> Int -> LangM m
mathToGraphTask :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => Bool -> 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 :: ExtraText

Instances

Instances details

Reader MathConfig Source #

Instance details

Defined in Modelling.PetriNet.MatchToMath

Methods

atomic_reader :: Parser MathConfig

atomic_readerPrec :: Int -> Parser MathConfig

reader :: Parser MathConfig

readerPrec :: Int -> Parser MathConfig

readerList :: Parser [MathConfig]

ToDoc MathConfig Source #

Instance details

Defined in Modelling.PetriNet.MatchToMath

Methods

toDocPrec :: Int -> MathConfig -> Doc

toDocList :: [MathConfig] -> Doc

Generic MathConfig Source #

Instance details

Defined in Modelling.PetriNet.MatchToMath

Associated Types

type Rep MathConfig

Instance details

Defined in Modelling.PetriNet.MatchToMath

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

data MatchInstance a b Source #

Constructors

MatchInstance
Fields from :: a showSolution :: Bool to :: Map Int (Bool, b) addText :: ExtraText

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 #

(Reader a, Reader b) => Reader (MatchInstance a b) Source #

Instance details

Defined in Modelling.PetriNet.MatchToMath

Methods

atomic_reader :: Parser (MatchInstance a b)

atomic_readerPrec :: Int -> Parser (MatchInstance a b)

reader :: Parser (MatchInstance a b)

readerPrec :: Int -> Parser (MatchInstance a b)

readerList :: Parser [MatchInstance a b]

(ToDoc a, ToDoc b) => ToDoc (MatchInstance a b) Source #

Instance details

Defined in Modelling.PetriNet.MatchToMath

Methods

toDocPrec :: Int -> MatchInstance a b -> Doc

toDocList :: [MatchInstance a b] -> Doc

(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)

Instance details

Defined in Modelling.PetriNet.MatchToMath

type Rep (MatchInstance a b) = D1 ('MetaData "MatchInstance" "Modelling.PetriNet.MatchToMath" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" '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 ExtraText))))

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-2KiclaEArwR4yz1IHg8eKf" '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 ExtraText))))

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 :: forall m p (n :: Type -> Type). (MonadAlloy m, MonadCatch m, MonadDiagrams m, MonadGraphviz m, Net p n) => MathConfig -> Int -> Int -> m (MatchInstance (Drawable (p n String)) Math) Source #

graphToMathEvaluation :: forall (m :: Type -> Type). OutputCapable m => GraphToMathInstance -> Int -> LangM m Source #

graphToMathSyntax :: forall (m :: Type -> Type). OutputCapable m => GraphToMathInstance -> Int -> LangM m Source #

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

matchSolution :: MatchInstance a b -> Int Source #

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

mathToGraphEvaluation :: forall (m :: Type -> Type). OutputCapable m => MathToGraphInstance -> Int -> LangM m Source #

mathToGraphSyntax :: forall (m :: Type -> Type). OutputCapable m => MathToGraphInstance -> Int -> LangM m Source #

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

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