modelling-tasks-0.0.0.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Modelling.PetriNet.Find

Documentation

data FindInstance n a Source #

Constructors

FindInstance 

Fields

Instances

Instances details
Functor (FindInstance n) Source # 
Instance details

Defined in Modelling.PetriNet.Find

Methods

fmap :: (a -> b) -> FindInstance n a -> FindInstance n b #

(<$) :: a -> FindInstance n b -> FindInstance n a #

Generic (FindInstance n a) Source # 
Instance details

Defined in Modelling.PetriNet.Find

Associated Types

type Rep (FindInstance n a) :: Type -> Type #

Methods

from :: FindInstance n a -> Rep (FindInstance n a) x #

to :: Rep (FindInstance n a) x -> FindInstance n a #

(Read a, Read n) => Read (FindInstance n a) Source # 
Instance details

Defined in Modelling.PetriNet.Find

Methods

readsPrec :: Int -> ReadS (FindInstance n a) #

readList :: ReadS [FindInstance n a] #

readPrec :: ReadPrec (FindInstance n a) #

readListPrec :: ReadPrec [FindInstance n a] #

(Show a, Show n) => Show (FindInstance n a) Source # 
Instance details

Defined in Modelling.PetriNet.Find

Methods

showsPrec :: Int -> FindInstance n a -> ShowS #

show :: FindInstance n a -> String #

showList :: [FindInstance n a] -> ShowS #

type Rep (FindInstance n a) Source # 
Instance details

Defined in Modelling.PetriNet.Find

type Rep (FindInstance n a) = D1 ('MetaData "FindInstance" "Modelling.PetriNet.Find" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "FindInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "drawFindWith") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DrawSettings) :*: (S1 ('MetaSel ('Just "toFind") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "net") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 n))) :*: ((S1 ('MetaSel ('Just "numberOfPlaces") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "numberOfTransitions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "addText") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (Map Language String)))))))

checkFindBasicConfig :: BasicConfig -> Maybe String Source #

checkConfigForFind :: BasicConfig -> ChangeConfig -> GraphConfig -> Maybe String Source #

findInitial :: (Transition, Transition) Source #

findTaskInstance :: (MonadThrow m, Net p n, RandomGen g, Traversable t) => (AlloyInstance -> m (t Object)) -> AlloyInstance -> RandT g m (p n String, t String) Source #

lToFind :: forall n a a. Lens (FindInstance n a) (FindInstance n a) a a Source #

toFindEvaluation :: (Num a, OutputCapable m) => Map Language String -> Bool -> (Transition, Transition) -> (Transition, Transition) -> LangM' m (Maybe String, a) Source #

toFindSyntax :: OutputCapable m => Bool -> Int -> (Transition, Transition) -> LangM' m () Source #