Safe Haskell	None
Language	Haskell2010

Modelling.PetriNet.Find

Documentation

data FindInstance n a Source #

Constructors

FindInstance
Fields drawFindWith :: !DrawSettings toFind :: !a net :: !n numberOfPlaces :: !Int numberOfTransitions :: !Int showSolution :: !Bool addText :: !ExtraText

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 #

(Reader a, Reader n) => Reader (FindInstance n a) Source #

Instance details

Defined in Modelling.PetriNet.Find

Methods

atomic_reader :: Parser (FindInstance n a)

atomic_readerPrec :: Int -> Parser (FindInstance n a)

reader :: Parser (FindInstance n a)

readerPrec :: Int -> Parser (FindInstance n a)

readerList :: Parser [FindInstance n a]

(ToDoc a, ToDoc n) => ToDoc (FindInstance n a) Source #

Instance details

Defined in Modelling.PetriNet.Find

Methods

toDocPrec :: Int -> FindInstance n a -> Doc

toDocList :: [FindInstance n a] -> Doc

Generic (FindInstance n a) Source #

Instance details

Defined in Modelling.PetriNet.Find

Associated Types

type Rep (FindInstance n a)

Instance details

Defined in Modelling.PetriNet.Find

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

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 #

(Eq a, Eq n) => Eq (FindInstance n a) Source #

Instance details

Defined in Modelling.PetriNet.Find

Methods

(==) :: FindInstance n a -> FindInstance n a -> Bool #

(/=) :: FindInstance n a -> FindInstance n a -> Bool #

(Hashable a, Hashable n) => Hashable (FindInstance n a) Source #

Instance details

Defined in Modelling.PetriNet.Find

Methods

hashWithSalt :: Int -> FindInstance n a -> Int

hash :: FindInstance n a -> Int

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

checkFindBasicConfig :: BasicConfig -> Maybe String Source #

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

findInitial :: (Transition, Transition) Source #

findTaskInstance :: forall m p (n :: Type -> Type) g t. (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 a1 a2 f. Functor f => (a1 -> f a2) -> FindInstance n a1 -> f (FindInstance n a2) Source #

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

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