| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Modelling.CdOd.MatchCdOd
Synopsis
- data MatchCdOdConfig = MatchCdOdConfig {
- allowedCdMutations :: ![CdMutation]
- classConfig :: ClassConfig
- maxInstances :: Maybe Integer
- objectConfig :: ObjectConfig
- objectProperties :: ObjectProperties
- omittedDefaultMultiplicities :: OmittedDefaultMultiplicities
- printSolution :: Bool
- timeout :: Maybe Int
- withNonTrivialInheritance :: Maybe Bool
- extraText :: Maybe (Map Language String)
- data MatchCdOdInstance = MatchCdOdInstance {}
- data MatchCdOdTaskTextElement
- checkMatchCdOdConfig :: MatchCdOdConfig -> Maybe String
- checkMatchCdOdInstance :: MatchCdOdInstance -> Maybe String
- defaultMatchCdOdConfig :: MatchCdOdConfig
- defaultMatchCdOdInstance :: MatchCdOdInstance
- getMatchCdOdTask :: (MonadCatch m, MonadRandom m) => (MatchCdOdConfig -> m (Map Int Cd, Map Char ([Int], AlloyInstance))) -> MatchCdOdConfig -> m MatchCdOdInstance
- getODInstances :: MonadAlloy m => MatchCdOdConfig -> Cd -> Cd -> Cd -> Int -> m (Map [Int] [AlloyInstance])
- matchCdOd :: (MonadAlloy m, MonadCatch m, MonadFail m) => MatchCdOdConfig -> Int -> Int -> m MatchCdOdInstance
- matchCdOdEvaluation :: (Foldable t, OutputCapable m) => MatchCdOdInstance -> t (Int, Letters) -> Rated m
- matchCdOdSolution :: MatchCdOdInstance -> [(Int, Letters)]
- matchCdOdSyntax :: (Foldable t, OutputCapable m) => MatchCdOdInstance -> t (Int, Letters) -> LangM m
- matchCdOdTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> MatchCdOdInstance -> LangM m
- matchingShow :: [(Int, Letters)] -> [(Int, ShowLetters)]
- takeRandomInstances :: (MonadRandom m, MonadFail m) => Map [Int] [a] -> m (Maybe [([Int], a)])
Documentation
data MatchCdOdConfig Source #
Constructors
| MatchCdOdConfig | |
Fields
| |
Instances
data MatchCdOdInstance Source #
Constructors
| MatchCdOdInstance | |
Instances
data MatchCdOdTaskTextElement Source #
Instances
defaultMatchCdOdInstance :: MatchCdOdInstance Source #
A defaultMatchCdOdInstance as generated using defaultMatchCdOdConfig.
getMatchCdOdTask :: (MonadCatch m, MonadRandom m) => (MatchCdOdConfig -> m (Map Int Cd, Map Char ([Int], AlloyInstance))) -> MatchCdOdConfig -> m MatchCdOdInstance Source #
getODInstances :: MonadAlloy m => MatchCdOdConfig -> Cd -> Cd -> Cd -> Int -> m (Map [Int] [AlloyInstance]) Source #
matchCdOd :: (MonadAlloy m, MonadCatch m, MonadFail m) => MatchCdOdConfig -> Int -> Int -> m MatchCdOdInstance Source #
matchCdOdEvaluation :: (Foldable t, OutputCapable m) => MatchCdOdInstance -> t (Int, Letters) -> Rated m Source #
matchCdOdSolution :: MatchCdOdInstance -> [(Int, Letters)] Source #
matchCdOdSyntax :: (Foldable t, OutputCapable m) => MatchCdOdInstance -> t (Int, Letters) -> LangM m Source #
matchCdOdTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> MatchCdOdInstance -> LangM m Source #