Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.CdOd.DifferentNames

Synopsis

data DifferentNamesConfig = DifferentNamesConfig {
- classConfig :: ClassConfig
- withNonTrivialInheritance :: Maybe Bool
- maxInstances :: Maybe Integer
- objectConfig :: ObjectConfig
- objectProperties :: ObjectProperties
- omittedDefaultMultiplicities :: OmittedDefaultMultiplicities
- printSolution :: Bool
- timeout :: !(Maybe Int)
- withObviousMapping :: !(Maybe Bool)
- extraText :: Maybe (Map Language String)
}
data DifferentNamesInstance = DifferentNamesInstance {
- cDiagram :: Cd
- cdDrawSettings :: !CdDrawSettings
- oDiagram :: Od
- showSolution :: Bool
- mapping :: NameMapping
- linkShuffling :: ShufflingOption String
- taskText :: !DifferentNamesTaskText
- addText :: Maybe (Map Language String)
}
data DifferentNamesTaskTextElement
- = GivenCd
- | GivenOd
- | MappingAdvice
data ShufflingOption a
- = ConsecutiveNumbers
- | WithAdditionalNames [a]
checkDifferentNamesConfig :: DifferentNamesConfig -> Maybe String
checkDifferentNamesInstance :: DifferentNamesInstance -> Maybe String
defaultDifferentNamesConfig :: DifferentNamesConfig
defaultDifferentNamesInstance :: DifferentNamesInstance
defaultDifferentNamesTaskText :: DifferentNamesTaskText
differentNames :: (MonadAlloy m, MonadCatch m) => DifferentNamesConfig -> Int -> Int -> m DifferentNamesInstance
differentNamesEvaluation :: OutputCapable m => DifferentNamesInstance -> [(Name, Name)] -> Rated m
differentNamesInitial :: [(Name, Name)]
differentNamesSolution :: DifferentNamesInstance -> [(Name, Name)]
differentNamesSyntax :: OutputCapable m => DifferentNamesInstance -> [(Name, Name)] -> LangM m
differentNamesTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> DifferentNamesInstance -> LangM m
getDifferentNamesTask :: (MonadAlloy m, MonadCatch m, MonadRandom m) => m DifferentNamesInstance -> DifferentNamesConfig -> Cd -> m DifferentNamesInstance
mappingAdvice :: OutputCapable m => LangM m
mappingShow :: [(Name, Name)] -> [(ShowName, ShowName)]
renameInstance :: MonadThrow m => DifferentNamesInstance -> [String] -> [String] -> [String] -> m DifferentNamesInstance
toTaskSpecificText :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> DifferentNamesInstance -> DifferentNamesTaskTextElement -> LangM m

Documentation

data DifferentNamesConfig Source #

Constructors

DifferentNamesConfig

Fields

classConfig :: ClassConfig
withNonTrivialInheritance :: Maybe Bool
maxInstances :: Maybe Integer
objectConfig :: ObjectConfig
objectProperties :: ObjectProperties
omittedDefaultMultiplicities :: OmittedDefaultMultiplicities
printSolution :: Bool
timeout :: !(Maybe Int)
withObviousMapping :: !(Maybe Bool)
Obvious means here that each individual relationship to link mapping can be made without considering other relationships.
extraText :: Maybe (Map Language String)

Instances

Instances details

Generic DifferentNamesConfig Source #
Instance details Defined in Modelling.CdOd.DifferentNames Associated Types type Rep DifferentNamesConfig :: Type -> Type # Methods from :: DifferentNamesConfig -> Rep DifferentNamesConfig x # to :: Rep DifferentNamesConfig x -> DifferentNamesConfig #
Read DifferentNamesConfig Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods readsPrec :: Int -> ReadS DifferentNamesConfig # readList :: ReadS [DifferentNamesConfig] # readPrec :: ReadPrec DifferentNamesConfig # readListPrec :: ReadPrec [DifferentNamesConfig] #
Show DifferentNamesConfig Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods showsPrec :: Int -> DifferentNamesConfig -> ShowS # show :: DifferentNamesConfig -> String # showList :: [DifferentNamesConfig] -> ShowS #
type Rep DifferentNamesConfig Source #
Instance details Defined in Modelling.CdOd.DifferentNames type Rep DifferentNamesConfig = D1 ('MetaData "DifferentNamesConfig" "Modelling.CdOd.DifferentNames" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "DifferentNamesConfig" 'PrefixI 'True) (((S1 ('MetaSel ('Just "classConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassConfig) :: S1 ('MetaSel ('Just "withNonTrivialInheritance") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 ('MetaSel ('Just "maxInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :: (S1 ('MetaSel ('Just "objectConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectConfig) :: S1 ('MetaSel ('Just "objectProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectProperties)))) :: ((S1 ('MetaSel ('Just "omittedDefaultMultiplicities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OmittedDefaultMultiplicities) :: S1 ('MetaSel ('Just "printSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "timeout") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Int)) :: (S1 ('MetaSel ('Just "withObviousMapping") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "extraText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Language String))))))))

data DifferentNamesInstance Source #

Constructors

DifferentNamesInstance
Fields cDiagram :: Cd cdDrawSettings :: !CdDrawSettings oDiagram :: Od showSolution :: Bool mapping :: NameMapping linkShuffling :: ShufflingOption String taskText :: !DifferentNamesTaskText addText :: Maybe (Map Language String)

Instances

Instances details

Generic DifferentNamesInstance Source #
Instance details Defined in Modelling.CdOd.DifferentNames Associated Types type Rep DifferentNamesInstance :: Type -> Type # Methods from :: DifferentNamesInstance -> Rep DifferentNamesInstance x # to :: Rep DifferentNamesInstance x -> DifferentNamesInstance #
Read DifferentNamesInstance Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods readsPrec :: Int -> ReadS DifferentNamesInstance # readList :: ReadS [DifferentNamesInstance] # readPrec :: ReadPrec DifferentNamesInstance # readListPrec :: ReadPrec [DifferentNamesInstance] #
Show DifferentNamesInstance Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods showsPrec :: Int -> DifferentNamesInstance -> ShowS # show :: DifferentNamesInstance -> String # showList :: [DifferentNamesInstance] -> ShowS #
Eq DifferentNamesInstance Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods (==) :: DifferentNamesInstance -> DifferentNamesInstance -> Bool # (/=) :: DifferentNamesInstance -> DifferentNamesInstance -> Bool #
RandomiseLayout DifferentNamesInstance Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods randomiseLayout :: (MonadRandom m, MonadThrow m) => DifferentNamesInstance -> m DifferentNamesInstance Source #
RandomiseNames DifferentNamesInstance Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods hasRandomisableNames :: DifferentNamesInstance -> Maybe String Source # randomiseNames :: (MonadRandom m, MonadThrow m) => DifferentNamesInstance -> m DifferentNamesInstance Source #
type Rep DifferentNamesInstance Source #
Instance details Defined in Modelling.CdOd.DifferentNames type Rep DifferentNamesInstance

data DifferentNamesTaskTextElement Source #

Constructors

GivenCd
GivenOd
MappingAdvice

Instances

Instances details

Bounded DifferentNamesTaskTextElement Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods minBound :: DifferentNamesTaskTextElement # maxBound :: DifferentNamesTaskTextElement #
Enum DifferentNamesTaskTextElement Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods succ :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement # pred :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement # toEnum :: Int -> DifferentNamesTaskTextElement # fromEnum :: DifferentNamesTaskTextElement -> Int # enumFrom :: DifferentNamesTaskTextElement -> [DifferentNamesTaskTextElement] # enumFromThen :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> [DifferentNamesTaskTextElement] # enumFromTo :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> [DifferentNamesTaskTextElement] # enumFromThenTo :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> [DifferentNamesTaskTextElement] #
Generic DifferentNamesTaskTextElement Source #
Instance details Defined in Modelling.CdOd.DifferentNames Associated Types type Rep DifferentNamesTaskTextElement :: Type -> Type # Methods from :: DifferentNamesTaskTextElement -> Rep DifferentNamesTaskTextElement x # to :: Rep DifferentNamesTaskTextElement x -> DifferentNamesTaskTextElement #
Read DifferentNamesTaskTextElement Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods readsPrec :: Int -> ReadS DifferentNamesTaskTextElement # readList :: ReadS [DifferentNamesTaskTextElement] # readPrec :: ReadPrec DifferentNamesTaskTextElement # readListPrec :: ReadPrec [DifferentNamesTaskTextElement] #
Show DifferentNamesTaskTextElement Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods showsPrec :: Int -> DifferentNamesTaskTextElement -> ShowS # show :: DifferentNamesTaskTextElement -> String # showList :: [DifferentNamesTaskTextElement] -> ShowS #
Eq DifferentNamesTaskTextElement Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods (==) :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> Bool # (/=) :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> Bool #
Ord DifferentNamesTaskTextElement Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods compare :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> Ordering # (<) :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> Bool # (<=) :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> Bool # (>) :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> Bool # (>=) :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> Bool # max :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement # min :: DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement -> DifferentNamesTaskTextElement #
type Rep DifferentNamesTaskTextElement Source #
Instance details Defined in Modelling.CdOd.DifferentNames type Rep DifferentNamesTaskTextElement = D1 ('MetaData "DifferentNamesTaskTextElement" "Modelling.CdOd.DifferentNames" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "GivenCd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GivenOd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MappingAdvice" 'PrefixI 'False) (U1 :: Type -> Type)))

data ShufflingOption a Source #

Constructors

ConsecutiveNumbers
WithAdditionalNames [a]

Instances

Instances details

Foldable ShufflingOption Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods fold :: Monoid m => ShufflingOption m -> m # foldMap :: Monoid m => (a -> m) -> ShufflingOption a -> m # foldMap' :: Monoid m => (a -> m) -> ShufflingOption a -> m # foldr :: (a -> b -> b) -> b -> ShufflingOption a -> b # foldr' :: (a -> b -> b) -> b -> ShufflingOption a -> b # foldl :: (b -> a -> b) -> b -> ShufflingOption a -> b # foldl' :: (b -> a -> b) -> b -> ShufflingOption a -> b # foldr1 :: (a -> a -> a) -> ShufflingOption a -> a # foldl1 :: (a -> a -> a) -> ShufflingOption a -> a # toList :: ShufflingOption a -> [a] # null :: ShufflingOption a -> Bool # length :: ShufflingOption a -> Int # elem :: Eq a => a -> ShufflingOption a -> Bool # maximum :: Ord a => ShufflingOption a -> a # minimum :: Ord a => ShufflingOption a -> a # sum :: Num a => ShufflingOption a -> a # product :: Num a => ShufflingOption a -> a #
Traversable ShufflingOption Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods traverse :: Applicative f => (a -> f b) -> ShufflingOption a -> f (ShufflingOption b) # sequenceA :: Applicative f => ShufflingOption (f a) -> f (ShufflingOption a) # mapM :: Monad m => (a -> m b) -> ShufflingOption a -> m (ShufflingOption b) # sequence :: Monad m => ShufflingOption (m a) -> m (ShufflingOption a) #
Functor ShufflingOption Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods fmap :: (a -> b) -> ShufflingOption a -> ShufflingOption b # (<$) :: a -> ShufflingOption b -> ShufflingOption a #
Generic (ShufflingOption a) Source #
Instance details Defined in Modelling.CdOd.DifferentNames Associated Types type Rep (ShufflingOption a) :: Type -> Type # Methods from :: ShufflingOption a -> Rep (ShufflingOption a) x # to :: Rep (ShufflingOption a) x -> ShufflingOption a #
Read a => Read (ShufflingOption a) Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods readsPrec :: Int -> ReadS (ShufflingOption a) # readList :: ReadS [ShufflingOption a] # readPrec :: ReadPrec (ShufflingOption a) # readListPrec :: ReadPrec [ShufflingOption a] #
Show a => Show (ShufflingOption a) Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods showsPrec :: Int -> ShufflingOption a -> ShowS # show :: ShufflingOption a -> String # showList :: [ShufflingOption a] -> ShowS #
Eq a => Eq (ShufflingOption a) Source #
Instance details Defined in Modelling.CdOd.DifferentNames Methods (==) :: ShufflingOption a -> ShufflingOption a -> Bool # (/=) :: ShufflingOption a -> ShufflingOption a -> Bool #
type Rep (ShufflingOption a) Source #
Instance details Defined in Modelling.CdOd.DifferentNames type Rep (ShufflingOption a) = D1 ('MetaData "ShufflingOption" "Modelling.CdOd.DifferentNames" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "ConsecutiveNumbers" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WithAdditionalNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))

checkDifferentNamesConfig :: DifferentNamesConfig -> Maybe String Source #

checkDifferentNamesInstance :: DifferentNamesInstance -> Maybe String Source #

defaultDifferentNamesConfig :: DifferentNamesConfig Source #

defaultDifferentNamesInstance :: DifferentNamesInstance Source #

A defaultDifferentNamesInstance as generated using defaultDifferentNamesConfig.

defaultDifferentNamesTaskText :: DifferentNamesTaskText Source #

differentNames :: (MonadAlloy m, MonadCatch m) => DifferentNamesConfig -> Int -> Int -> m DifferentNamesInstance Source #

differentNamesEvaluation :: OutputCapable m => DifferentNamesInstance -> [(Name, Name)] -> Rated m Source #

differentNamesInitial :: [(Name, Name)] Source #

differentNamesSolution :: DifferentNamesInstance -> [(Name, Name)] Source #

differentNamesSyntax :: OutputCapable m => DifferentNamesInstance -> [(Name, Name)] -> LangM m Source #

differentNamesTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> DifferentNamesInstance -> LangM m Source #

getDifferentNamesTask :: (MonadAlloy m, MonadCatch m, MonadRandom m) => m DifferentNamesInstance -> DifferentNamesConfig -> Cd -> m DifferentNamesInstance Source #

mappingAdvice :: OutputCapable m => LangM m Source #

mappingShow :: [(Name, Name)] -> [(ShowName, ShowName)] Source #

renameInstance :: MonadThrow m => DifferentNamesInstance -> [String] -> [String] -> [String] -> m DifferentNamesInstance Source #

toTaskSpecificText :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> DifferentNamesInstance -> DifferentNamesTaskTextElement -> LangM m Source #