| Safe Haskell | None |
|---|---|
| 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 :: ExtraText
- data DifferentNamesInstance = DifferentNamesInstance {
- cDiagram :: Cd
- cdDrawSettings :: !CdDrawSettings
- oDiagram :: Od
- showSolution :: Bool
- mapping :: NameMapping
- linkShuffling :: ShufflingOption String
- taskText :: !DifferentNamesTaskText
- addText :: ExtraText
- data DifferentNamesTaskTextElement
- data ShufflingOption 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 :: forall (m :: Type -> Type). OutputCapable m => DifferentNamesInstance -> [(Name, Name)] -> Rated m
- differentNamesInitial :: [(Name, Name)]
- differentNamesSolution :: DifferentNamesInstance -> [(Name, Name)]
- differentNamesSyntax :: forall (m :: Type -> Type). OutputCapable m => DifferentNamesInstance -> [(Name, Name)] -> LangM m
- differentNamesTask :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => Bool -> FilePath -> DifferentNamesInstance -> LangM m
- getDifferentNamesTask :: (MonadAlloy m, MonadCatch m, MonadRandom m) => m DifferentNamesInstance -> DifferentNamesConfig -> Cd -> m DifferentNamesInstance
- mappingAdvice :: forall (m :: Type -> Type). OutputCapable m => Bool -> LangM m
- mappingShow :: [(Name, Name)] -> [(ShowName, ShowName)]
- renameInstance :: MonadThrow m => DifferentNamesInstance -> [String] -> [String] -> [String] -> m DifferentNamesInstance
- toTaskSpecificText :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> DifferentNamesInstance -> DifferentNamesTaskTextElement -> LangM m
Documentation
data DifferentNamesConfig Source #
Constructors
| DifferentNamesConfig | |
Fields
| |
Instances
data DifferentNamesInstance Source #
Constructors
| DifferentNamesInstance | |
Fields
| |
Instances
| Reader DifferentNamesInstance Source # | |||||
| ToDoc DifferentNamesInstance Source # | |||||
Defined in Modelling.CdOd.DifferentNames Methods toDocPrec :: Int -> DifferentNamesInstance -> Doc toDocList :: [DifferentNamesInstance] -> Doc | |||||
| Generic DifferentNamesInstance Source # | |||||
Defined in Modelling.CdOd.DifferentNames Associated Types
Methods from :: DifferentNamesInstance -> Rep DifferentNamesInstance x # to :: Rep DifferentNamesInstance x -> DifferentNamesInstance # | |||||
| Read DifferentNamesInstance Source # | |||||
Defined in Modelling.CdOd.DifferentNames | |||||
| Show DifferentNamesInstance Source # | |||||
Defined in Modelling.CdOd.DifferentNames Methods showsPrec :: Int -> DifferentNamesInstance -> ShowS # show :: DifferentNamesInstance -> String # showList :: [DifferentNamesInstance] -> ShowS # | |||||
| Eq DifferentNamesInstance Source # | |||||
Defined in Modelling.CdOd.DifferentNames Methods (==) :: DifferentNamesInstance -> DifferentNamesInstance -> Bool # (/=) :: DifferentNamesInstance -> DifferentNamesInstance -> Bool # | |||||
| Hashable DifferentNamesInstance Source # | |||||
Defined in Modelling.CdOd.DifferentNames | |||||
| RandomiseLayout DifferentNamesInstance Source # | |||||
Defined in Modelling.CdOd.DifferentNames Methods randomiseLayout :: (MonadRandom m, MonadThrow m) => DifferentNamesInstance -> m DifferentNamesInstance Source # | |||||
| RandomiseNames DifferentNamesInstance Source # | |||||
Defined in Modelling.CdOd.DifferentNames Methods hasRandomisableNames :: DifferentNamesInstance -> Maybe String Source # randomiseNames :: (MonadRandom m, MonadThrow m) => DifferentNamesInstance -> m DifferentNamesInstance Source # | |||||
| type Rep DifferentNamesInstance Source # | |||||
Defined in Modelling.CdOd.DifferentNames | |||||
data DifferentNamesTaskTextElement Source #
Constructors
| GivenCd | |
| GivenOd | |
| DirectionsAdvice | |
| MappingAdvice | |
| SimplifiedInformation |
Instances
| Reader DifferentNamesTaskTextElement Source # | |||||
Defined in Modelling.CdOd.DifferentNames | |||||
| ToDoc DifferentNamesTaskTextElement Source # | |||||
Defined in Modelling.CdOd.DifferentNames Methods toDocPrec :: Int -> DifferentNamesTaskTextElement -> Doc toDocList :: [DifferentNamesTaskTextElement] -> Doc | |||||
| Bounded DifferentNamesTaskTextElement Source # | |||||
Defined in Modelling.CdOd.DifferentNames | |||||
| Enum DifferentNamesTaskTextElement Source # | |||||
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 # | |||||
Defined in Modelling.CdOd.DifferentNames Associated Types
| |||||
| Read DifferentNamesTaskTextElement Source # | |||||
| Show DifferentNamesTaskTextElement Source # | |||||
Defined in Modelling.CdOd.DifferentNames Methods showsPrec :: Int -> DifferentNamesTaskTextElement -> ShowS # show :: DifferentNamesTaskTextElement -> String # showList :: [DifferentNamesTaskTextElement] -> ShowS # | |||||
| Eq DifferentNamesTaskTextElement Source # | |||||
Defined in Modelling.CdOd.DifferentNames | |||||
| Ord DifferentNamesTaskTextElement Source # | |||||
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 # | |||||
| Hashable DifferentNamesTaskTextElement Source # | |||||
Defined in Modelling.CdOd.DifferentNames Methods hashWithSalt :: Int -> DifferentNamesTaskTextElement -> Int | |||||
| type Rep DifferentNamesTaskTextElement Source # | |||||
Defined in Modelling.CdOd.DifferentNames type Rep DifferentNamesTaskTextElement = D1 ('MetaData "DifferentNamesTaskTextElement" "Modelling.CdOd.DifferentNames" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) ((C1 ('MetaCons "GivenCd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GivenOd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DirectionsAdvice" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MappingAdvice" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SimplifiedInformation" 'PrefixI 'False) (U1 :: Type -> Type)))) | |||||
data ShufflingOption a Source #
Constructors
| ConsecutiveNumbers | |
| WithAdditionalNames [a] |
Instances
| Foldable ShufflingOption Source # | |||||
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 # | |||||
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 # | |||||
Defined in Modelling.CdOd.DifferentNames Methods fmap :: (a -> b) -> ShufflingOption a -> ShufflingOption b # (<$) :: a -> ShufflingOption b -> ShufflingOption a # | |||||
| Reader a => Reader (ShufflingOption a) Source # | |||||
Defined in Modelling.CdOd.DifferentNames Methods atomic_reader :: Parser (ShufflingOption a) atomic_readerPrec :: Int -> Parser (ShufflingOption a) reader :: Parser (ShufflingOption a) readerPrec :: Int -> Parser (ShufflingOption a) readerList :: Parser [ShufflingOption a] | |||||
| ToDoc a => ToDoc (ShufflingOption a) Source # | |||||
Defined in Modelling.CdOd.DifferentNames | |||||
| Generic (ShufflingOption a) Source # | |||||
Defined in Modelling.CdOd.DifferentNames Associated Types
Methods from :: ShufflingOption a -> Rep (ShufflingOption a) x # to :: Rep (ShufflingOption a) x -> ShufflingOption a # | |||||
| Read a => Read (ShufflingOption a) Source # | |||||
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 # | |||||
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 # | |||||
Defined in Modelling.CdOd.DifferentNames Methods (==) :: ShufflingOption a -> ShufflingOption a -> Bool # (/=) :: ShufflingOption a -> ShufflingOption a -> Bool # | |||||
| Hashable a => Hashable (ShufflingOption a) Source # | |||||
Defined in Modelling.CdOd.DifferentNames | |||||
| type Rep (ShufflingOption a) Source # | |||||
Defined in Modelling.CdOd.DifferentNames type Rep (ShufflingOption a) = D1 ('MetaData "ShufflingOption" "Modelling.CdOd.DifferentNames" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "ConsecutiveNumbers" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WithAdditionalNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a]))) | |||||
defaultDifferentNamesInstance :: DifferentNamesInstance Source #
A defaultDifferentNamesInstance as generated
using defaultDifferentNamesConfig.
defaultDifferentNamesTaskText :: DifferentNamesTaskText Source #
differentNames :: (MonadAlloy m, MonadCatch m) => DifferentNamesConfig -> Int -> Int -> m DifferentNamesInstance Source #
differentNamesEvaluation :: forall (m :: Type -> Type). OutputCapable m => DifferentNamesInstance -> [(Name, Name)] -> Rated m Source #
differentNamesInitial :: [(Name, Name)] Source #
differentNamesSolution :: DifferentNamesInstance -> [(Name, Name)] Source #
differentNamesSyntax :: forall (m :: Type -> Type). OutputCapable m => DifferentNamesInstance -> [(Name, Name)] -> LangM m Source #
differentNamesTask :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => Bool -> FilePath -> DifferentNamesInstance -> LangM m Source #
getDifferentNamesTask :: (MonadAlloy m, MonadCatch m, MonadRandom m) => m DifferentNamesInstance -> DifferentNamesConfig -> Cd -> m DifferentNamesInstance Source #
mappingShow :: [(Name, Name)] -> [(ShowName, ShowName)] Source #
renameInstance :: MonadThrow m => DifferentNamesInstance -> [String] -> [String] -> [String] -> m DifferentNamesInstance Source #
toTaskSpecificText :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> DifferentNamesInstance -> DifferentNamesTaskTextElement -> LangM m Source #