| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Modelling.CdOd.NameCdError
Synopsis
- data NameCdErrorAnswer = NameCdErrorAnswer {}
- data NameCdErrorConfig = NameCdErrorConfig {
- allowedProperties :: AllowedProperties
- articleToUse :: ArticlePreference
- cdConstraints :: !CdConstraints
- classConfig :: ClassConfig
- drawSettings :: !CdDrawSettings
- maxInstances :: Maybe Integer
- objectProperties :: ObjectProperties
- possibleReasons :: [Reason]
- printSolution :: Bool
- reasonsPerInstance :: NumberOfReasons
- timeout :: Maybe Int
- useNames :: Bool
- extraText :: ExtraText
- data NameCdErrorInstance = NameCdErrorInstance {
- byName :: !Bool
- classDiagram :: AnnotatedCd Relevance
- cdDrawSettings :: !CdDrawSettings
- errorReasons :: !(Map Char (Bool, Reason))
- showSolution :: Bool
- taskText :: !NameCdErrorTaskText
- addText :: ExtraText
- type NameCdErrorTaskText = [SpecialOutput NameCdErrorTaskTextElement]
- data NameCdErrorTaskTextElement
- data NumberOfReasons = NumberOfReasons {}
- data Reason
- = Custom (Map Language String)
- | PreDefined Property
- data Relevance
- = NotRelevant
- | Relevant {
- contributingToProblem :: Bool
- listingPriority :: Int
- referenceUsing :: ArticleToUse
- checkNameCdErrorConfig :: NameCdErrorConfig -> Maybe String
- checkNameCdErrorInstance :: NameCdErrorInstance -> Maybe String
- classAndNonInheritanceNames :: NameCdErrorInstance -> ([String], [String])
- defaultNameCdErrorAnswer :: NameCdErrorAnswer
- defaultNameCdErrorConfig :: NameCdErrorConfig
- defaultNameCdErrorInstance :: NameCdErrorInstance
- isRelevant :: Annotation Relevance annotated -> Bool
- nameCdErrorEvaluation :: forall (m :: Type -> Type). (Alternative m, MonadCache m, MonadDiagrams m, MonadGraphviz m, OutputCapable m) => FilePath -> NameCdErrorInstance -> NameCdErrorAnswer -> Rated m
- nameCdErrorGenerate :: (MonadAlloy m, MonadCatch m) => NameCdErrorConfig -> Int -> Int -> m NameCdErrorInstance
- nameCdErrorSolution :: NameCdErrorInstance -> NameCdErrorAnswer
- nameCdErrorSyntax :: forall (m :: Type -> Type). OutputCapable m => NameCdErrorInstance -> NameCdErrorAnswer -> LangM m
- nameCdErrorTask :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, OutputCapable m) => Bool -> FilePath -> NameCdErrorInstance -> LangM m
- nameCdErrorTaskText :: Bool -> NameCdErrorTaskText
- relevantRelationships :: NameCdErrorInstance -> [(Int, Annotation Relevance (AnyRelationship String String))]
- renameInstance :: MonadThrow m => NameCdErrorInstance -> [String] -> [String] -> m NameCdErrorInstance
- translateReason :: Bool -> Reason -> Map Language String
- translateRelationship :: CdDrawSettings -> Bool -> Annotation Relevance (AnyRelationship String String) -> Map Language String
Documentation
data NameCdErrorAnswer Source #
Constructors
| NameCdErrorAnswer | |
Instances
data NameCdErrorConfig Source #
Constructors
| NameCdErrorConfig | |
Fields
| |
Instances
| Reader NameCdErrorConfig Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| ToDoc NameCdErrorConfig Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| Generic NameCdErrorConfig Source # | |||||
Defined in Modelling.CdOd.NameCdError Associated Types
Methods from :: NameCdErrorConfig -> Rep NameCdErrorConfig x # to :: Rep NameCdErrorConfig x -> NameCdErrorConfig # | |||||
| Read NameCdErrorConfig Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods readsPrec :: Int -> ReadS NameCdErrorConfig # readList :: ReadS [NameCdErrorConfig] # | |||||
| Show NameCdErrorConfig Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods showsPrec :: Int -> NameCdErrorConfig -> ShowS # show :: NameCdErrorConfig -> String # showList :: [NameCdErrorConfig] -> ShowS # | |||||
| type Rep NameCdErrorConfig Source # | |||||
Defined in Modelling.CdOd.NameCdError type Rep NameCdErrorConfig = D1 ('MetaData "NameCdErrorConfig" "Modelling.CdOd.NameCdError" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "NameCdErrorConfig" 'PrefixI 'True) (((S1 ('MetaSel ('Just "allowedProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AllowedProperties) :*: (S1 ('MetaSel ('Just "articleToUse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArticlePreference) :*: S1 ('MetaSel ('Just "cdConstraints") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CdConstraints))) :*: (S1 ('MetaSel ('Just "classConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassConfig) :*: (S1 ('MetaSel ('Just "drawSettings") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CdDrawSettings) :*: S1 ('MetaSel ('Just "maxInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer))))) :*: ((S1 ('MetaSel ('Just "objectProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectProperties) :*: (S1 ('MetaSel ('Just "possibleReasons") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Reason]) :*: S1 ('MetaSel ('Just "printSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :*: ((S1 ('MetaSel ('Just "reasonsPerInstance") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NumberOfReasons) :*: S1 ('MetaSel ('Just "timeout") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int))) :*: (S1 ('MetaSel ('Just "useNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "extraText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtraText)))))) | |||||
data NameCdErrorInstance Source #
Constructors
| NameCdErrorInstance | |
Fields
| |
Instances
| Reader NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| ToDoc NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| Data NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NameCdErrorInstance -> c NameCdErrorInstance # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NameCdErrorInstance # toConstr :: NameCdErrorInstance -> Constr # dataTypeOf :: NameCdErrorInstance -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NameCdErrorInstance) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NameCdErrorInstance) # gmapT :: (forall b. Data b => b -> b) -> NameCdErrorInstance -> NameCdErrorInstance # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NameCdErrorInstance -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NameCdErrorInstance -> r # gmapQ :: (forall d. Data d => d -> u) -> NameCdErrorInstance -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NameCdErrorInstance -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NameCdErrorInstance -> m NameCdErrorInstance # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NameCdErrorInstance -> m NameCdErrorInstance # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NameCdErrorInstance -> m NameCdErrorInstance # | |||||
| Generic NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError Associated Types
Methods from :: NameCdErrorInstance -> Rep NameCdErrorInstance x # to :: Rep NameCdErrorInstance x -> NameCdErrorInstance # | |||||
| Read NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods readsPrec :: Int -> ReadS NameCdErrorInstance # readList :: ReadS [NameCdErrorInstance] # | |||||
| Show NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods showsPrec :: Int -> NameCdErrorInstance -> ShowS # show :: NameCdErrorInstance -> String # showList :: [NameCdErrorInstance] -> ShowS # | |||||
| Eq NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods (==) :: NameCdErrorInstance -> NameCdErrorInstance -> Bool # (/=) :: NameCdErrorInstance -> NameCdErrorInstance -> Bool # | |||||
| Hashable NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| Randomise NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods randomise :: (MonadRandom m, MonadThrow m) => NameCdErrorInstance -> m NameCdErrorInstance Source # isRandomisable :: NameCdErrorInstance -> Maybe String Source # | |||||
| RandomiseLayout NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods randomiseLayout :: (MonadRandom m, MonadThrow m) => NameCdErrorInstance -> m NameCdErrorInstance Source # | |||||
| RandomiseNames NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods hasRandomisableNames :: NameCdErrorInstance -> Maybe String Source # randomiseNames :: (MonadRandom m, MonadThrow m) => NameCdErrorInstance -> m NameCdErrorInstance Source # | |||||
| type Rep NameCdErrorInstance Source # | |||||
Defined in Modelling.CdOd.NameCdError type Rep NameCdErrorInstance = D1 ('MetaData "NameCdErrorInstance" "Modelling.CdOd.NameCdError" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "NameCdErrorInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "byName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "classDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AnnotatedCd Relevance)) :*: S1 ('MetaSel ('Just "cdDrawSettings") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CdDrawSettings))) :*: ((S1 ('MetaSel ('Just "errorReasons") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Char (Bool, Reason))) :*: S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "taskText") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NameCdErrorTaskText) :*: S1 ('MetaSel ('Just "addText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtraText))))) | |||||
type NameCdErrorTaskText = [SpecialOutput NameCdErrorTaskTextElement] Source #
data NameCdErrorTaskTextElement Source #
Constructors
| IncorrectCd | |
| ReasonsList | |
| RelationshipsList |
Instances
| Reader NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| ToDoc NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods toDocPrec :: Int -> NameCdErrorTaskTextElement -> Doc toDocList :: [NameCdErrorTaskTextElement] -> Doc | |||||
| Data NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NameCdErrorTaskTextElement -> c NameCdErrorTaskTextElement # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NameCdErrorTaskTextElement # toConstr :: NameCdErrorTaskTextElement -> Constr # dataTypeOf :: NameCdErrorTaskTextElement -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NameCdErrorTaskTextElement) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NameCdErrorTaskTextElement) # gmapT :: (forall b. Data b => b -> b) -> NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NameCdErrorTaskTextElement -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NameCdErrorTaskTextElement -> r # gmapQ :: (forall d. Data d => d -> u) -> NameCdErrorTaskTextElement -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NameCdErrorTaskTextElement -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NameCdErrorTaskTextElement -> m NameCdErrorTaskTextElement # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NameCdErrorTaskTextElement -> m NameCdErrorTaskTextElement # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NameCdErrorTaskTextElement -> m NameCdErrorTaskTextElement # | |||||
| Bounded NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| Enum NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods succ :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement # pred :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement # toEnum :: Int -> NameCdErrorTaskTextElement # fromEnum :: NameCdErrorTaskTextElement -> Int # enumFrom :: NameCdErrorTaskTextElement -> [NameCdErrorTaskTextElement] # enumFromThen :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> [NameCdErrorTaskTextElement] # enumFromTo :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> [NameCdErrorTaskTextElement] # enumFromThenTo :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> [NameCdErrorTaskTextElement] # | |||||
| Generic NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError Associated Types
Methods from :: NameCdErrorTaskTextElement -> Rep NameCdErrorTaskTextElement x # to :: Rep NameCdErrorTaskTextElement x -> NameCdErrorTaskTextElement # | |||||
| Read NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| Show NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods showsPrec :: Int -> NameCdErrorTaskTextElement -> ShowS # show :: NameCdErrorTaskTextElement -> String # showList :: [NameCdErrorTaskTextElement] -> ShowS # | |||||
| Eq NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods (==) :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> Bool # (/=) :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> Bool # | |||||
| Ord NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods compare :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> Ordering # (<) :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> Bool # (<=) :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> Bool # (>) :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> Bool # (>=) :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> Bool # max :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement # min :: NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement -> NameCdErrorTaskTextElement # | |||||
| Hashable NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods hashWithSalt :: Int -> NameCdErrorTaskTextElement -> Int | |||||
| type Rep NameCdErrorTaskTextElement Source # | |||||
Defined in Modelling.CdOd.NameCdError type Rep NameCdErrorTaskTextElement = D1 ('MetaData "NameCdErrorTaskTextElement" "Modelling.CdOd.NameCdError" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "IncorrectCd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ReasonsList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelationshipsList" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data NumberOfReasons Source #
Constructors
| NumberOfReasons | |
Fields
| |
Instances
| Reader NumberOfReasons Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods atomic_reader :: Parser NumberOfReasons atomic_readerPrec :: Int -> Parser NumberOfReasons reader :: Parser NumberOfReasons readerPrec :: Int -> Parser NumberOfReasons | |||||
| ToDoc NumberOfReasons Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| Generic NumberOfReasons Source # | |||||
Defined in Modelling.CdOd.NameCdError Associated Types
Methods from :: NumberOfReasons -> Rep NumberOfReasons x # to :: Rep NumberOfReasons x -> NumberOfReasons # | |||||
| Read NumberOfReasons Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods readsPrec :: Int -> ReadS NumberOfReasons # readList :: ReadS [NumberOfReasons] # | |||||
| Show NumberOfReasons Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods showsPrec :: Int -> NumberOfReasons -> ShowS # show :: NumberOfReasons -> String # showList :: [NumberOfReasons] -> ShowS # | |||||
| type Rep NumberOfReasons Source # | |||||
Defined in Modelling.CdOd.NameCdError type Rep NumberOfReasons = D1 ('MetaData "NumberOfReasons" "Modelling.CdOd.NameCdError" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "NumberOfReasons" 'PrefixI 'True) (S1 ('MetaSel ('Just "customReasons") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "preDefinedInvalid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "preDefinedValid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) | |||||
Constructors
| Custom (Map Language String) | |
| PreDefined Property |
Instances
| Reader Reason Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods atomic_reader :: Parser Reason atomic_readerPrec :: Int -> Parser Reason readerPrec :: Int -> Parser Reason readerList :: Parser [Reason] | |||||
| ToDoc Reason Source # | |||||
| Data Reason Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Reason -> c Reason # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Reason # toConstr :: Reason -> Constr # dataTypeOf :: Reason -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Reason) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Reason) # gmapT :: (forall b. Data b => b -> b) -> Reason -> Reason # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Reason -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Reason -> r # gmapQ :: (forall d. Data d => d -> u) -> Reason -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Reason -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Reason -> m Reason # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Reason -> m Reason # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Reason -> m Reason # | |||||
| Generic Reason Source # | |||||
Defined in Modelling.CdOd.NameCdError Associated Types
| |||||
| Read Reason Source # | |||||
| Show Reason Source # | |||||
| Eq Reason Source # | |||||
| Ord Reason Source # | |||||
| Hashable Reason Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| type Rep Reason Source # | |||||
Defined in Modelling.CdOd.NameCdError type Rep Reason = D1 ('MetaData "Reason" "Modelling.CdOd.NameCdError" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "Custom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Language String))) :+: C1 ('MetaCons "PreDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Property))) | |||||
Constructors
| NotRelevant | |
| Relevant | |
Fields
| |
Instances
| Reader Relevance Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods atomic_reader :: Parser Relevance atomic_readerPrec :: Int -> Parser Relevance readerPrec :: Int -> Parser Relevance readerList :: Parser [Relevance] | |||||
| ToDoc Relevance Source # | |||||
| Data Relevance Source # | |||||
Defined in Modelling.CdOd.NameCdError Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Relevance -> c Relevance # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Relevance # toConstr :: Relevance -> Constr # dataTypeOf :: Relevance -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Relevance) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Relevance) # gmapT :: (forall b. Data b => b -> b) -> Relevance -> Relevance # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Relevance -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Relevance -> r # gmapQ :: (forall d. Data d => d -> u) -> Relevance -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Relevance -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Relevance -> m Relevance # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Relevance -> m Relevance # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Relevance -> m Relevance # | |||||
| Generic Relevance Source # | |||||
Defined in Modelling.CdOd.NameCdError Associated Types
| |||||
| Read Relevance Source # | |||||
| Show Relevance Source # | |||||
| Eq Relevance Source # | |||||
| Hashable Relevance Source # | |||||
Defined in Modelling.CdOd.NameCdError | |||||
| type Rep Relevance Source # | |||||
Defined in Modelling.CdOd.NameCdError type Rep Relevance = D1 ('MetaData "Relevance" "Modelling.CdOd.NameCdError" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "NotRelevant" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Relevant" 'PrefixI 'True) (S1 ('MetaSel ('Just "contributingToProblem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "listingPriority") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "referenceUsing") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArticleToUse)))) | |||||
classAndNonInheritanceNames :: NameCdErrorInstance -> ([String], [String]) Source #
isRelevant :: Annotation Relevance annotated -> Bool Source #
nameCdErrorEvaluation :: forall (m :: Type -> Type). (Alternative m, MonadCache m, MonadDiagrams m, MonadGraphviz m, OutputCapable m) => FilePath -> NameCdErrorInstance -> NameCdErrorAnswer -> Rated m Source #
Grading is done the following way:
- 0 points if the reason is wrong
- otherwise, multiple choice grading for answer on dueTo relationships
nameCdErrorGenerate :: (MonadAlloy m, MonadCatch m) => NameCdErrorConfig -> Int -> Int -> m NameCdErrorInstance Source #
nameCdErrorSyntax :: forall (m :: Type -> Type). OutputCapable m => NameCdErrorInstance -> NameCdErrorAnswer -> LangM m Source #
nameCdErrorTask :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, OutputCapable m) => Bool -> FilePath -> NameCdErrorInstance -> LangM m Source #
relevantRelationships :: NameCdErrorInstance -> [(Int, Annotation Relevance (AnyRelationship String String))] Source #
renameInstance :: MonadThrow m => NameCdErrorInstance -> [String] -> [String] -> m NameCdErrorInstance Source #
translateRelationship :: CdDrawSettings -> Bool -> Annotation Relevance (AnyRelationship String String) -> Map Language String Source #