Safe Haskell	None
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 :: ExtraText
}
data MatchCdOdInstance = MatchCdOdInstance {
- cdDrawSettings :: !CdDrawSettings
- diagrams :: Map Int Cd
- instances :: Map Char ([Int], Od)
- showSolution :: !Bool
- taskText :: !MatchCdOdTaskText
- addText :: ExtraText
}
data MatchCdOdTaskTextElement
- = GivenCds
- | GivenOds
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 :: forall t (m :: Type -> Type). (Foldable t, OutputCapable m) => MatchCdOdInstance -> t (Int, Letters) -> Rated m
matchCdOdSolution :: MatchCdOdInstance -> [(Int, Letters)]
matchCdOdSyntax :: forall t (m :: Type -> Type). (Foldable t, OutputCapable m) => MatchCdOdInstance -> t (Int, Letters) -> LangM m
matchCdOdTask :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => Bool -> 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 allowedCdMutations :: ![CdMutation] classConfig :: ClassConfig maxInstances :: Maybe Integer objectConfig :: ObjectConfig objectProperties :: ObjectProperties omittedDefaultMultiplicities :: OmittedDefaultMultiplicities printSolution :: Bool timeout :: Maybe Int withNonTrivialInheritance :: Maybe Bool extraText :: ExtraText

Instances

Instances details

Reader MatchCdOdConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

atomic_reader :: Parser MatchCdOdConfig

atomic_readerPrec :: Int -> Parser MatchCdOdConfig

reader :: Parser MatchCdOdConfig

readerPrec :: Int -> Parser MatchCdOdConfig

readerList :: Parser [MatchCdOdConfig]

ToDoc MatchCdOdConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

toDocPrec :: Int -> MatchCdOdConfig -> Doc

toDocList :: [MatchCdOdConfig] -> Doc

Generic MatchCdOdConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Associated Types

type Rep MatchCdOdConfig

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

from :: MatchCdOdConfig -> Rep MatchCdOdConfig x #

to :: Rep MatchCdOdConfig x -> MatchCdOdConfig #

Read MatchCdOdConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

readsPrec :: Int -> ReadS MatchCdOdConfig #

readList :: ReadS [MatchCdOdConfig] #

readPrec :: ReadPrec MatchCdOdConfig #

readListPrec :: ReadPrec [MatchCdOdConfig] #

Show MatchCdOdConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

showsPrec :: Int -> MatchCdOdConfig -> ShowS #

show :: MatchCdOdConfig -> String #

showList :: [MatchCdOdConfig] -> ShowS #

type Rep MatchCdOdConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

data MatchCdOdInstance Source #

Constructors

MatchCdOdInstance
Fields cdDrawSettings :: !CdDrawSettings diagrams :: Map Int Cd instances :: Map Char ([Int], Od) showSolution :: !Bool taskText :: !MatchCdOdTaskText addText :: ExtraText

Instances

Instances details

Reader MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

atomic_reader :: Parser MatchCdOdInstance

atomic_readerPrec :: Int -> Parser MatchCdOdInstance

reader :: Parser MatchCdOdInstance

readerPrec :: Int -> Parser MatchCdOdInstance

readerList :: Parser [MatchCdOdInstance]

ToDoc MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

toDocPrec :: Int -> MatchCdOdInstance -> Doc

toDocList :: [MatchCdOdInstance] -> Doc

Generic MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Associated Types

type Rep MatchCdOdInstance
Instance details Defined in Modelling.CdOd.MatchCdOd type Rep MatchCdOdInstance

Methods

from :: MatchCdOdInstance -> Rep MatchCdOdInstance x #

to :: Rep MatchCdOdInstance x -> MatchCdOdInstance #

Read MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

readsPrec :: Int -> ReadS MatchCdOdInstance #

readList :: ReadS [MatchCdOdInstance] #

readPrec :: ReadPrec MatchCdOdInstance #

readListPrec :: ReadPrec [MatchCdOdInstance] #

Show MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

showsPrec :: Int -> MatchCdOdInstance -> ShowS #

show :: MatchCdOdInstance -> String #

showList :: [MatchCdOdInstance] -> ShowS #

Eq MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

(==) :: MatchCdOdInstance -> MatchCdOdInstance -> Bool #

(/=) :: MatchCdOdInstance -> MatchCdOdInstance -> Bool #

Hashable MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

hashWithSalt :: Int -> MatchCdOdInstance -> Int

hash :: MatchCdOdInstance -> Int

Randomise MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

randomise :: (MonadRandom m, MonadThrow m) => MatchCdOdInstance -> m MatchCdOdInstance Source #

isRandomisable :: MatchCdOdInstance -> Maybe String Source #

RandomiseLayout MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

randomiseLayout :: (MonadRandom m, MonadThrow m) => MatchCdOdInstance -> m MatchCdOdInstance Source #

RandomiseNames MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

hasRandomisableNames :: MatchCdOdInstance -> Maybe String Source #

randomiseNames :: (MonadRandom m, MonadThrow m) => MatchCdOdInstance -> m MatchCdOdInstance Source #

type Rep MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

type Rep MatchCdOdInstance

data MatchCdOdTaskTextElement Source #

Constructors

GivenCds
GivenOds

Instances

Instances details

Reader MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

atomic_reader :: Parser MatchCdOdTaskTextElement

atomic_readerPrec :: Int -> Parser MatchCdOdTaskTextElement

reader :: Parser MatchCdOdTaskTextElement

readerPrec :: Int -> Parser MatchCdOdTaskTextElement

readerList :: Parser [MatchCdOdTaskTextElement]

ToDoc MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

toDocPrec :: Int -> MatchCdOdTaskTextElement -> Doc

toDocList :: [MatchCdOdTaskTextElement] -> Doc

Bounded MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

minBound :: MatchCdOdTaskTextElement #

maxBound :: MatchCdOdTaskTextElement #

Enum MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Generic MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Associated Types

type Rep MatchCdOdTaskTextElement
Instance details Defined in Modelling.CdOd.MatchCdOd type Rep MatchCdOdTaskTextElement = D1 ('MetaData "MatchCdOdTaskTextElement" "Modelling.CdOd.MatchCdOd" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "GivenCds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GivenOds" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: MatchCdOdTaskTextElement -> Rep MatchCdOdTaskTextElement x #

to :: Rep MatchCdOdTaskTextElement x -> MatchCdOdTaskTextElement #

Read MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

readsPrec :: Int -> ReadS MatchCdOdTaskTextElement #

readList :: ReadS [MatchCdOdTaskTextElement] #

readPrec :: ReadPrec MatchCdOdTaskTextElement #

readListPrec :: ReadPrec [MatchCdOdTaskTextElement] #

Show MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

showsPrec :: Int -> MatchCdOdTaskTextElement -> ShowS #

show :: MatchCdOdTaskTextElement -> String #

showList :: [MatchCdOdTaskTextElement] -> ShowS #

Eq MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

(==) :: MatchCdOdTaskTextElement -> MatchCdOdTaskTextElement -> Bool #

(/=) :: MatchCdOdTaskTextElement -> MatchCdOdTaskTextElement -> Bool #

Ord MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Hashable MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

hashWithSalt :: Int -> MatchCdOdTaskTextElement -> Int

hash :: MatchCdOdTaskTextElement -> Int

type Rep MatchCdOdTaskTextElement Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

type Rep MatchCdOdTaskTextElement = D1 ('MetaData "MatchCdOdTaskTextElement" "Modelling.CdOd.MatchCdOd" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "GivenCds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GivenOds" 'PrefixI 'False) (U1 :: Type -> Type))

checkMatchCdOdConfig :: MatchCdOdConfig -> Maybe String Source #

checkMatchCdOdInstance :: MatchCdOdInstance -> Maybe String Source #

defaultMatchCdOdConfig :: MatchCdOdConfig Source #

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 :: forall t (m :: Type -> Type). (Foldable t, OutputCapable m) => MatchCdOdInstance -> t (Int, Letters) -> Rated m Source #

matchCdOdSolution :: MatchCdOdInstance -> [(Int, Letters)] Source #

matchCdOdSyntax :: forall t (m :: Type -> Type). (Foldable t, OutputCapable m) => MatchCdOdInstance -> t (Int, Letters) -> LangM m Source #

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

matchingShow :: [(Int, Letters)] -> [(Int, ShowLetters)] Source #

takeRandomInstances :: (MonadRandom m, MonadFail m) => Map [Int] [a] -> m (Maybe [([Int], a)]) Source #