Documentation

data PickInstance n Source #

checkConfigForPick :: Bool -> Int -> BasicConfig -> ChangeConfig -> GraphConfig -> Maybe String Source #

pickGenerate :: (MonadCatch m, MonadDiagrams m, MonadGraphviz m, Net p n) => (c -> Int -> RandT StdGen m [(p n String, Maybe a)]) -> (c -> GraphConfig) -> (c -> Bool) -> (c -> Bool) -> (c -> Maybe (Map Language String)) -> c -> Int -> Int -> m (PickInstance (p n String)) Source #

pickEvaluation :: OutputCapable m => PickInstance n -> Int -> LangM m Source #

pickSolution :: PickInstance n -> Int Source #

pickSyntax :: OutputCapable m => PickInstance n -> Int -> LangM m Source #

pickTaskInstance :: (MonadThrow m, Net p n, Traversable t) => (AlloyInstance -> m (t Object)) -> AlloyInstance -> m [(p n String, Maybe (t String))] Source #

renderPick :: (Data (n String), Data (p n String), MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, Net p n, Typeable n, Typeable p) => FilePath -> PickInstance (p n String) -> m (Map Int (Bool, String)) Source #

wrong :: Int Source #

wrongInstances :: PickInstance n -> Int Source #