Safe Haskell	None
Language	Haskell2010

Modelling.CdOd.MatchCdOd

Synopsis

data MatchCdOdConfig = MatchCdOdConfig {
- allowedCdMutations :: ![CdMutation]
- classConfig :: ClassConfig
- maxInstances :: Maybe Integer
- odDistribution :: OdDistributionConfig
- 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
- hiddenReferenceCd :: Maybe Cd
- instances :: Map Char ([Int], Od)
- showSolution :: !Bool
- taskText :: !MatchCdOdTaskText
- addText :: ExtraText
}
data MatchCdOdTaskTextElement
- = GivenCds
- | GivenOds
- | DirectionsAdvice Bool
- | SimplifiedInformation Bool
data OdDistributionConfig = OdDistributionConfig {
- objectDiagramCount :: Int
- maxPerJustEachCd :: Int
- maxSharedBetweenBothCds :: Int
- maxNoCd :: Int
}
checkMatchCdOdConfig :: MatchCdOdConfig -> Maybe String
checkMatchCdOdInstance :: MatchCdOdInstance -> Maybe String
defaultMatchCdOdConfig :: MatchCdOdConfig
defaultMatchCdOdInstance :: MatchCdOdInstance
defaultMatchCdOdTaskText :: Int -> Int -> MatchCdOdTaskText
getMatchCdOdTask :: forall (m :: Type -> Type) g. (MonadCatch m, RandomGen g) => (MatchCdOdConfig -> RandT g m (Map Int Cd, Cd, Map Char ([Int], AlloyInstance))) -> MatchCdOdConfig -> RandT g 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 (m :: Type -> Type) t. (Alternative m, Foldable t, MonadCache m, MonadDiagrams m, MonadGraphviz m, OutputCapable m) => FilePath -> 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) => OdDistributionConfig -> Map [Int] [a] -> m (Maybe [([Int], a)])

Documentation

data MatchCdOdConfig Source #

Constructors

MatchCdOdConfig
Fields allowedCdMutations :: ![CdMutation] classConfig :: ClassConfig maxInstances :: Maybe Integer odDistribution :: OdDistributionConfig 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 hiddenReferenceCd :: Maybe 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 :: forall g (m :: Type -> Type). (RandomGen g, MonadThrow m) => MatchCdOdInstance -> RandT g m MatchCdOdInstance Source #

isRandomisable :: MatchCdOdInstance -> Maybe String Source #

RandomiseLayout MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

randomiseLayout :: forall g (m :: Type -> Type). (RandomGen g, MonadThrow m) => MatchCdOdInstance -> RandT g m MatchCdOdInstance Source #

RandomiseNames MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

hasRandomisableNames :: MatchCdOdInstance -> Maybe String Source #

randomiseNames :: forall g (m :: Type -> Type). (RandomGen g, MonadThrow m) => MatchCdOdInstance -> RandT g m MatchCdOdInstance Source #

type Rep MatchCdOdInstance Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

type Rep MatchCdOdInstance

data MatchCdOdTaskTextElement Source #

Constructors

GivenCds
GivenOds
DirectionsAdvice Bool
SimplifiedInformation Bool

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

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-Kn6yOCG41AR4m5mGNG4MAP" 'False) ((C1 ('MetaCons "GivenCds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GivenOds" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DirectionsAdvice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "SimplifiedInformation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

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-Kn6yOCG41AR4m5mGNG4MAP" 'False) ((C1 ('MetaCons "GivenCds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GivenOds" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DirectionsAdvice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "SimplifiedInformation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data OdDistributionConfig Source #

Constructors

OdDistributionConfig
Fields objectDiagramCount :: Int maxPerJustEachCd :: Int maxSharedBetweenBothCds :: Int maxNoCd :: Int

Instances

Instances details

Reader OdDistributionConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

atomic_reader :: Parser OdDistributionConfig

atomic_readerPrec :: Int -> Parser OdDistributionConfig

reader :: Parser OdDistributionConfig

readerPrec :: Int -> Parser OdDistributionConfig

readerList :: Parser [OdDistributionConfig]

ToDoc OdDistributionConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

toDocPrec :: Int -> OdDistributionConfig -> Doc

toDocList :: [OdDistributionConfig] -> Doc

Generic OdDistributionConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Associated Types

type Rep OdDistributionConfig

Instance details

Defined in Modelling.CdOd.MatchCdOd

type Rep OdDistributionConfig = D1 ('MetaData "OdDistributionConfig" "Modelling.CdOd.MatchCdOd" "modelling-tasks-0.0.0.1-Kn6yOCG41AR4m5mGNG4MAP" 'False) (C1 ('MetaCons "OdDistributionConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "objectDiagramCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "maxPerJustEachCd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "maxSharedBetweenBothCds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "maxNoCd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

Methods

from :: OdDistributionConfig -> Rep OdDistributionConfig x #

to :: Rep OdDistributionConfig x -> OdDistributionConfig #

Read OdDistributionConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

readsPrec :: Int -> ReadS OdDistributionConfig #

readList :: ReadS [OdDistributionConfig] #

readPrec :: ReadPrec OdDistributionConfig #

readListPrec :: ReadPrec [OdDistributionConfig] #

Show OdDistributionConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

showsPrec :: Int -> OdDistributionConfig -> ShowS #

show :: OdDistributionConfig -> String #

showList :: [OdDistributionConfig] -> ShowS #

Eq OdDistributionConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

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

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

Hashable OdDistributionConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

Methods

hashWithSalt :: Int -> OdDistributionConfig -> Int

hash :: OdDistributionConfig -> Int

type Rep OdDistributionConfig Source #

Instance details

Defined in Modelling.CdOd.MatchCdOd

type Rep OdDistributionConfig = D1 ('MetaData "OdDistributionConfig" "Modelling.CdOd.MatchCdOd" "modelling-tasks-0.0.0.1-Kn6yOCG41AR4m5mGNG4MAP" 'False) (C1 ('MetaCons "OdDistributionConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "objectDiagramCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "maxPerJustEachCd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "maxSharedBetweenBothCds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "maxNoCd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

checkMatchCdOdConfig :: MatchCdOdConfig -> Maybe String Source #

checkMatchCdOdInstance :: MatchCdOdInstance -> Maybe String Source #

defaultMatchCdOdConfig :: MatchCdOdConfig Source #

defaultMatchCdOdInstance :: MatchCdOdInstance Source #

A defaultMatchCdOdInstance as generated using defaultMatchCdOdConfig.

defaultMatchCdOdTaskText :: Int -> Int -> MatchCdOdTaskText Source #

getMatchCdOdTask :: forall (m :: Type -> Type) g. (MonadCatch m, RandomGen g) => (MatchCdOdConfig -> RandT g m (Map Int Cd, Cd, Map Char ([Int], AlloyInstance))) -> MatchCdOdConfig -> RandT g 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 (m :: Type -> Type) t. (Alternative m, Foldable t, MonadCache m, MonadDiagrams m, MonadGraphviz m, OutputCapable m) => FilePath -> 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) => OdDistributionConfig -> Map [Int] [a] -> m (Maybe [([Int], a)]) Source #