Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.CdOd.Types

Contents

Phrasing

Synopsis

data AllowedProperties = AllowedProperties {
- compositionCycles :: Bool
- doubleRelationships :: Bool
- inheritanceCycles :: Bool
- invalidInheritanceLimits :: Bool
- reverseInheritances :: Bool
- reverseRelationships :: Bool
- selfInheritances :: Bool
- selfRelationships :: Bool
- wrongAssociationLimits :: Bool
- wrongCompositionLimits :: Bool
}
type AnnotatedCd annotation = AnnotatedClassDiagram annotation String String
data AnnotatedClassDiagram relationshipAnnotation className relationshipName = AnnotatedClassDiagram {
- annotatedClasses :: [className]
- annotatedRelationships :: [Annotation relationshipAnnotation (AnyRelationship className relationshipName)]
}
data Annotation annotation annotated = Annotation {
- annotated :: annotated
- annotation :: annotation
}
type AnyCd = AnyClassDiagram String String
data AnyClassDiagram className relationshipName = AnyClassDiagram {
- anyClassNames :: ![className]
- anyRelationships :: ![AnyRelationship className relationshipName]
}
type AnyRelationship className relationshipName = Either (InvalidRelationship className relationshipName) (Relationship className relationshipName)
type Cd = ClassDiagram String String
newtype CdConstraints = CdConstraints {
- anyCompositionCyclesInvolveInheritances :: Maybe Bool
}
data CdDrawSettings = CdDrawSettings {
- omittedDefaults :: !OmittedDefaultMultiplicities
- printNames :: !Bool
- printNavigations :: !Bool
}
data CdMutation
- = AddRelationship
- | MutateRelationship !RelationshipMutation
- | RemoveRelationship
data ClassConfig = ClassConfig {
- classLimits :: (Int, Int)
- aggregationLimits :: (Int, Maybe Int)
- associationLimits :: (Int, Maybe Int)
- compositionLimits :: (Int, Maybe Int)
- inheritanceLimits :: (Int, Maybe Int)
- relationshipLimits :: (Int, Maybe Int)
}
data ClassDiagram className relationshipName = ClassDiagram {
- classNames :: [className]
- relationships :: [Relationship className relationshipName]
}
data DefaultedLimitedLinking = DefaultedLimitedLinking {
- defaultedLimits :: Maybe (Int, Maybe Int)
- defaultedRange :: Maybe String
- defaultedLinking :: !String
}
data InvalidRelationship className relationshipName = InvalidInheritance {
- invalidSubClass :: !(LimitedLinking className)
- invalidSuperClass :: !(LimitedLinking className)
}
data LimitedLinking nodeName = LimitedLinking {
- linking :: nodeName
- limits :: (Int, Maybe Int)
}
data Link objectName linkLabel = Link {
- linkLabel :: linkLabel
- linkFrom :: objectName
- linkTo :: objectName
}
data Object objectName className = Object {
- isAnonymous :: !Bool
- objectName :: objectName
- objectClass :: className
}
data ObjectConfig = ObjectConfig {
- linkLimits :: !(Int, Maybe Int)
- linksPerObjectLimits :: !(Int, Maybe Int)
- objectLimits :: !(Int, Int)
}
data ObjectDiagram objectName className linkLabel = ObjectDiagram {
- objects :: [Object objectName className]
- links :: [Link objectName linkLabel]
}
data ObjectProperties = ObjectProperties {
- anonymousObjectProportion :: !Rational
- completelyInhabited :: !(Maybe Bool)
- hasLimitedIsolatedObjects :: !Bool
- hasSelfLoops :: !(Maybe Bool)
- usesEveryRelationshipName :: !(Maybe Bool)
}
type Od = ObjectDiagram String String String
data OmittedDefaultMultiplicities = OmittedDefaultMultiplicities {
- aggregationWholeOmittedDefaultMultiplicity :: !(Maybe (Int, Maybe Int))
- associationOmittedDefaultMultiplicity :: !(Maybe (Int, Maybe Int))
- compositionWholeOmittedDefaultMultiplicity :: !(Maybe (Int, Maybe Int))
}
data Property
- = CompositionCycles
- | DoubleRelationships
- | InheritanceCycles
- | InvalidInheritanceLimits
- | MultipleInheritances
- | ReverseInheritances
- | ReverseRelationships
- | SelfInheritances
- | SelfRelationships
- | WrongAssociationLimits
- | WrongCompositionLimits
data Relationship className relationshipName
- = Association {
  - associationName :: relationshipName
  - associationFrom :: LimitedLinking className
  - associationTo :: LimitedLinking className
  }
- | Aggregation {
  - aggregationName :: relationshipName
  - aggregationPart :: LimitedLinking className
  - aggregationWhole :: LimitedLinking className
  }
- | Composition {
  - compositionName :: relationshipName
  - compositionPart :: LimitedLinking className
  - compositionWhole :: LimitedLinking className
  }
- | Inheritance {
  - subClass :: className
  - superClass :: className
  }
data RelationshipMutation
- = ChangeKind
- | ChangeLimit
- | Flip
data RelationshipProperties = RelationshipProperties {
- invalidInheritances :: !Int
- wrongNonInheritances :: Int
- wrongCompositions :: Int
- selfRelationshipsAmount :: Int
- selfInheritancesAmount :: Int
- hasDoubleRelationships :: Maybe Bool
- hasReverseRelationships :: Maybe Bool
- hasReverseInheritances :: Bool
- hasMultipleInheritances :: Maybe Bool
- hasNonTrivialInheritanceCycles :: Bool
- hasCompositionCycles :: Bool
- hasCompositionsPreventingParts :: Maybe Bool
- hasThickEdges :: Maybe Bool
}
newtype WrongRelationshipException className relationshipName = UnexpectedInvalidRelationship (AnyRelationship className relationshipName)
allCdMutations :: [CdMutation]
allowEverything :: AllowedProperties
allowNothing :: AllowedProperties
anonymiseObjects :: MonadRandom m => Rational -> ObjectDiagram className relationshipName linkLabel -> m (ObjectDiagram className relationshipName linkLabel)
anyAssociationNames :: AnyCd -> [String]
anyRelationshipName :: AnyRelationship className relationshipName -> Maybe relationshipName
anyThickEdge :: Cd -> Bool
associationNames :: Cd -> [String]
calculateThickAnyRelationships :: AnyCd -> [(Bool, AnyRelationship String String)]
checkCdConstraints :: AllowedProperties -> CdConstraints -> Maybe String
checkCdDrawProperties :: CdDrawSettings -> AllowedProperties -> Maybe String
checkCdDrawSettings :: CdDrawSettings -> Maybe String
checkCdMutations :: [CdMutation] -> Maybe String
checkClassConfig :: ClassConfig -> Maybe String
checkClassConfigAndObjectProperties :: ClassConfig -> ObjectProperties -> Maybe String
checkClassConfigWithProperties :: ClassConfig -> RelationshipProperties -> Maybe String
checkObjectDiagram :: Ord objectName => ObjectDiagram objectName className linkLabel -> Maybe String
checkObjectProperties :: ObjectProperties -> Maybe String
checkOmittedDefaultMultiplicities :: OmittedDefaultMultiplicities -> Maybe String
classNamesOd :: Ord className => ObjectDiagram objectName className linkLabel -> [className]
defaultCdConstraints :: CdConstraints
defaultCdDrawSettings :: CdDrawSettings
defaultedLimitedLinking :: Maybe (Int, Maybe Int) -> LimitedLinking String -> DefaultedLimitedLinking
defaultOmittedDefaultMultiplicities :: OmittedDefaultMultiplicities
defaultProperties :: RelationshipProperties
fromClassDiagram :: ClassDiagram className relationshipName -> AnyClassDiagram className relationshipName
isIllegal :: Property -> Bool
isObjectDiagramRandomisable :: ObjectDiagram String String linkLabels -> Maybe String
linkLabels :: Ord linkLabel => ObjectDiagram objectName className linkLabel -> [linkLabel]
maxFiveObjects :: ObjectConfig
maxObjects :: Int -> ObjectConfig
maxRelationships :: ClassConfig -> Int
normaliseObjectDiagram :: (Ord className, Ord linkLabel, Ord objectName) => ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel
rangeWithDefault :: Maybe (Int, Maybe Int) -> (Int, Maybe Int) -> Maybe String
relationshipName :: Relationship c r -> Maybe r
renameClassesAndRelationships :: (Bitraversable f, MonadThrow m, Ord c, Ord c', Ord r, Ord r') => Bimap c c' -> Bimap r r' -> f c r -> m (f c' r')
renameObjectsWithClassesAndLinksInOd :: (MonadThrow m, Ord linkLabels, Ord linkLabels') => Bimap String String -> Bimap linkLabels linkLabels' -> ObjectDiagram String String linkLabels -> m (ObjectDiagram String String linkLabels')
shuffleAnnotatedClassAndConnectionOrder :: MonadRandom m => AnnotatedClassDiagram annotation classes relationships -> m (AnnotatedClassDiagram annotation classes relationships)
shuffleCdNames :: (MonadRandom m, Traversable t, MonadThrow m) => t Cd -> m (t Cd)
shuffleClassAndConnectionOrder :: MonadRandom m => Cd -> m Cd
shuffleAnyClassAndConnectionOrder :: MonadRandom m => AnyCd -> m AnyCd
shuffleObjectAndLinkOrder :: MonadRandom m => ObjectDiagram objectName className linkLabel -> m (ObjectDiagram objectName className linkLabel)
sortLimits :: DefaultedLimitedLinking -> DefaultedLimitedLinking -> (DefaultedLimitedLinking, DefaultedLimitedLinking)
toPropertySet :: RelationshipProperties -> Set Property
toValidCd :: (Eq className, MonadThrow m, Show className, Show relationshipName, Typeable className, Typeable relationshipName) => AnyClassDiagram className relationshipName -> m (ClassDiagram className relationshipName)
towardsValidProperties :: RelationshipProperties -> RelationshipProperties
unannotateCd :: AnnotatedClassDiagram relationshipAnnotation className relationshipName -> AnyClassDiagram className relationshipName
data ArticlePreference
- = UseDefiniteArticleWherePossible
- | UseIndefiniteArticleEverywhere
data NonInheritancePhrasing
- = ByDirection
- | ByName
- | Lengthy
data PhrasingKind
- = Denoted
- | Participations
toArticleToUse :: ArticlePreference -> ArticleToUse
toPhrasing :: Bool -> Bool -> NonInheritancePhrasing

Documentation

data AllowedProperties Source #

Constructors

AllowedProperties
Fields compositionCycles :: Bool doubleRelationships :: Bool inheritanceCycles :: Bool invalidInheritanceLimits :: Bool reverseInheritances :: Bool reverseRelationships :: Bool selfInheritances :: Bool selfRelationships :: Bool wrongAssociationLimits :: Bool wrongCompositionLimits :: Bool

Instances

Instances details

Generic AllowedProperties Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep AllowedProperties :: Type -> Type # Methods from :: AllowedProperties -> Rep AllowedProperties x # to :: Rep AllowedProperties x -> AllowedProperties #
Read AllowedProperties Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS AllowedProperties # readList :: ReadS [AllowedProperties] # readPrec :: ReadPrec AllowedProperties # readListPrec :: ReadPrec [AllowedProperties] #
Show AllowedProperties Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> AllowedProperties -> ShowS # show :: AllowedProperties -> String # showList :: [AllowedProperties] -> ShowS #
type Rep AllowedProperties Source #
Instance details Defined in Modelling.CdOd.Types type Rep AllowedProperties = D1 ('MetaData "AllowedProperties" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "AllowedProperties" 'PrefixI 'True) (((S1 ('MetaSel ('Just "compositionCycles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "doubleRelationships") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "inheritanceCycles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "invalidInheritanceLimits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "reverseInheritances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :: ((S1 ('MetaSel ('Just "reverseRelationships") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "selfInheritances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "selfRelationships") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "wrongAssociationLimits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "wrongCompositionLimits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))))

type AnnotatedCd annotation = AnnotatedClassDiagram annotation String String Source #

data AnnotatedClassDiagram relationshipAnnotation className relationshipName Source #

Constructors

AnnotatedClassDiagram
Fields annotatedClasses :: [className] annotatedRelationships :: [Annotation relationshipAnnotation (AnyRelationship className relationshipName)]

Instances

Instances details

Bifoldable (AnnotatedClassDiagram relationshipAnnotation) Source #
Instance details Defined in Modelling.CdOd.Types Methods bifold :: Monoid m => AnnotatedClassDiagram relationshipAnnotation m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> AnnotatedClassDiagram relationshipAnnotation a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> AnnotatedClassDiagram relationshipAnnotation a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> AnnotatedClassDiagram relationshipAnnotation a b -> c #
Bifunctor (AnnotatedClassDiagram relationshipAnnotation) Source #
Instance details Defined in Modelling.CdOd.Types Methods bimap :: (a -> b) -> (c -> d) -> AnnotatedClassDiagram relationshipAnnotation a c -> AnnotatedClassDiagram relationshipAnnotation b d # first :: (a -> b) -> AnnotatedClassDiagram relationshipAnnotation a c -> AnnotatedClassDiagram relationshipAnnotation b c # second :: (b -> c) -> AnnotatedClassDiagram relationshipAnnotation a b -> AnnotatedClassDiagram relationshipAnnotation a c #
Bitraversable (AnnotatedClassDiagram relationshipAnnotation) Source #
Instance details Defined in Modelling.CdOd.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> AnnotatedClassDiagram relationshipAnnotation a b -> f (AnnotatedClassDiagram relationshipAnnotation c d) #
Functor (AnnotatedClassDiagram relationshipAnnotation className) Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> AnnotatedClassDiagram relationshipAnnotation className a -> AnnotatedClassDiagram relationshipAnnotation className b # (<$) :: a -> AnnotatedClassDiagram relationshipAnnotation className b -> AnnotatedClassDiagram relationshipAnnotation className a #
(Data relationshipAnnotation, Data className, Data relationshipName) => Data (AnnotatedClassDiagram relationshipAnnotation className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> c (AnnotatedClassDiagram relationshipAnnotation className relationshipName) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (AnnotatedClassDiagram relationshipAnnotation className relationshipName) # toConstr :: AnnotatedClassDiagram relationshipAnnotation className relationshipName -> Constr # dataTypeOf :: AnnotatedClassDiagram relationshipAnnotation className relationshipName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (AnnotatedClassDiagram relationshipAnnotation className relationshipName)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (AnnotatedClassDiagram relationshipAnnotation className relationshipName)) # gmapT :: (forall b. Data b => b -> b) -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> AnnotatedClassDiagram relationshipAnnotation className relationshipName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> r # gmapQ :: (forall d. Data d => d -> u) -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> m (AnnotatedClassDiagram relationshipAnnotation className relationshipName) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> m (AnnotatedClassDiagram relationshipAnnotation className relationshipName) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> m (AnnotatedClassDiagram relationshipAnnotation className relationshipName) #
Generic (AnnotatedClassDiagram relationshipAnnotation className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (AnnotatedClassDiagram relationshipAnnotation className relationshipName) :: Type -> Type # Methods from :: AnnotatedClassDiagram relationshipAnnotation className relationshipName -> Rep (AnnotatedClassDiagram relationshipAnnotation className relationshipName) x # to :: Rep (AnnotatedClassDiagram relationshipAnnotation className relationshipName) x -> AnnotatedClassDiagram relationshipAnnotation className relationshipName #
(Read className, Read relationshipName, Read relationshipAnnotation) => Read (AnnotatedClassDiagram relationshipAnnotation className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (AnnotatedClassDiagram relationshipAnnotation className relationshipName) # readList :: ReadS [AnnotatedClassDiagram relationshipAnnotation className relationshipName] # readPrec :: ReadPrec (AnnotatedClassDiagram relationshipAnnotation className relationshipName) # readListPrec :: ReadPrec [AnnotatedClassDiagram relationshipAnnotation className relationshipName] #
(Show className, Show relationshipName, Show relationshipAnnotation) => Show (AnnotatedClassDiagram relationshipAnnotation className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> ShowS # show :: AnnotatedClassDiagram relationshipAnnotation className relationshipName -> String # showList :: [AnnotatedClassDiagram relationshipAnnotation className relationshipName] -> ShowS #
(Eq className, Eq relationshipName, Eq relationshipAnnotation) => Eq (AnnotatedClassDiagram relationshipAnnotation className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: AnnotatedClassDiagram relationshipAnnotation className relationshipName -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> Bool # (/=) :: AnnotatedClassDiagram relationshipAnnotation className relationshipName -> AnnotatedClassDiagram relationshipAnnotation className relationshipName -> Bool #
type Rep (AnnotatedClassDiagram relationshipAnnotation className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (AnnotatedClassDiagram relationshipAnnotation className relationshipName) = D1 ('MetaData "AnnotatedClassDiagram" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "AnnotatedClassDiagram" 'PrefixI 'True) (S1 ('MetaSel ('Just "annotatedClasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [className]) :*: S1 ('MetaSel ('Just "annotatedRelationships") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Annotation relationshipAnnotation (AnyRelationship className relationshipName)])))

data Annotation annotation annotated Source #

Constructors

Annotation
Fields annotated :: annotated annotation :: annotation

Instances

Instances details

Bifoldable Annotation Source #
Instance details Defined in Modelling.CdOd.Types Methods bifold :: Monoid m => Annotation m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Annotation a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Annotation a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Annotation a b -> c #
Bifunctor Annotation Source #
Instance details Defined in Modelling.CdOd.Types Methods bimap :: (a -> b) -> (c -> d) -> Annotation a c -> Annotation b d # first :: (a -> b) -> Annotation a c -> Annotation b c # second :: (b -> c) -> Annotation a b -> Annotation a c #
Bitraversable Annotation Source #
Instance details Defined in Modelling.CdOd.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Annotation a b -> f (Annotation c d) #
Foldable (Annotation annotation) Source #
Instance details Defined in Modelling.CdOd.Types Methods fold :: Monoid m => Annotation annotation m -> m # foldMap :: Monoid m => (a -> m) -> Annotation annotation a -> m # foldMap' :: Monoid m => (a -> m) -> Annotation annotation a -> m # foldr :: (a -> b -> b) -> b -> Annotation annotation a -> b # foldr' :: (a -> b -> b) -> b -> Annotation annotation a -> b # foldl :: (b -> a -> b) -> b -> Annotation annotation a -> b # foldl' :: (b -> a -> b) -> b -> Annotation annotation a -> b # foldr1 :: (a -> a -> a) -> Annotation annotation a -> a # foldl1 :: (a -> a -> a) -> Annotation annotation a -> a # toList :: Annotation annotation a -> [a] # null :: Annotation annotation a -> Bool # length :: Annotation annotation a -> Int # elem :: Eq a => a -> Annotation annotation a -> Bool # maximum :: Ord a => Annotation annotation a -> a # minimum :: Ord a => Annotation annotation a -> a # sum :: Num a => Annotation annotation a -> a # product :: Num a => Annotation annotation a -> a #
Traversable (Annotation annotation) Source #
Instance details Defined in Modelling.CdOd.Types Methods traverse :: Applicative f => (a -> f b) -> Annotation annotation a -> f (Annotation annotation b) # sequenceA :: Applicative f => Annotation annotation (f a) -> f (Annotation annotation a) # mapM :: Monad m => (a -> m b) -> Annotation annotation a -> m (Annotation annotation b) # sequence :: Monad m => Annotation annotation (m a) -> m (Annotation annotation a) #
Functor (Annotation annotation) Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> Annotation annotation a -> Annotation annotation b # (<$) :: a -> Annotation annotation b -> Annotation annotation a #
(Data annotated, Data annotation) => Data (Annotation annotation annotated) Source #
Instance details Defined in Modelling.CdOd.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotation annotation annotated -> c (Annotation annotation annotated) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Annotation annotation annotated) # toConstr :: Annotation annotation annotated -> Constr # dataTypeOf :: Annotation annotation annotated -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Annotation annotation annotated)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Annotation annotation annotated)) # gmapT :: (forall b. Data b => b -> b) -> Annotation annotation annotated -> Annotation annotation annotated # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotation annotation annotated -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotation annotation annotated -> r # gmapQ :: (forall d. Data d => d -> u) -> Annotation annotation annotated -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotation annotation annotated -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotation annotation annotated -> m (Annotation annotation annotated) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation annotation annotated -> m (Annotation annotation annotated) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation annotation annotated -> m (Annotation annotation annotated) #
Generic (Annotation annotation annotated) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (Annotation annotation annotated) :: Type -> Type # Methods from :: Annotation annotation annotated -> Rep (Annotation annotation annotated) x # to :: Rep (Annotation annotation annotated) x -> Annotation annotation annotated #
(Read annotated, Read annotation) => Read (Annotation annotation annotated) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (Annotation annotation annotated) # readList :: ReadS [Annotation annotation annotated] # readPrec :: ReadPrec (Annotation annotation annotated) # readListPrec :: ReadPrec [Annotation annotation annotated] #
(Show annotated, Show annotation) => Show (Annotation annotation annotated) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> Annotation annotation annotated -> ShowS # show :: Annotation annotation annotated -> String # showList :: [Annotation annotation annotated] -> ShowS #
(Eq annotated, Eq annotation) => Eq (Annotation annotation annotated) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: Annotation annotation annotated -> Annotation annotation annotated -> Bool # (/=) :: Annotation annotation annotated -> Annotation annotation annotated -> Bool #
type Rep (Annotation annotation annotated) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (Annotation annotation annotated) = D1 ('MetaData "Annotation" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "Annotation" 'PrefixI 'True) (S1 ('MetaSel ('Just "annotated") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 annotated) :*: S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 annotation)))

type AnyCd = AnyClassDiagram String String Source #

data AnyClassDiagram className relationshipName Source #

Constructors

AnyClassDiagram
Fields anyClassNames :: ![className] anyRelationships :: ![AnyRelationship className relationshipName]

Instances

Instances details

Bifoldable AnyClassDiagram Source #
Instance details Defined in Modelling.CdOd.Types Methods bifold :: Monoid m => AnyClassDiagram m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> AnyClassDiagram a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> AnyClassDiagram a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> AnyClassDiagram a b -> c #
Bifunctor AnyClassDiagram Source #
Instance details Defined in Modelling.CdOd.Types Methods bimap :: (a -> b) -> (c -> d) -> AnyClassDiagram a c -> AnyClassDiagram b d # first :: (a -> b) -> AnyClassDiagram a c -> AnyClassDiagram b c # second :: (b -> c) -> AnyClassDiagram a b -> AnyClassDiagram a c #
Bitraversable AnyClassDiagram Source #
Instance details Defined in Modelling.CdOd.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> AnyClassDiagram a b -> f (AnyClassDiagram c d) #
Functor (AnyClassDiagram className) Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> AnyClassDiagram className a -> AnyClassDiagram className b # (<$) :: a -> AnyClassDiagram className b -> AnyClassDiagram className a #
Generic (AnyClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (AnyClassDiagram className relationshipName) :: Type -> Type # Methods from :: AnyClassDiagram className relationshipName -> Rep (AnyClassDiagram className relationshipName) x # to :: Rep (AnyClassDiagram className relationshipName) x -> AnyClassDiagram className relationshipName #
(Read className, Read relationshipName) => Read (AnyClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (AnyClassDiagram className relationshipName) # readList :: ReadS [AnyClassDiagram className relationshipName] # readPrec :: ReadPrec (AnyClassDiagram className relationshipName) # readListPrec :: ReadPrec [AnyClassDiagram className relationshipName] #
(Show className, Show relationshipName) => Show (AnyClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> AnyClassDiagram className relationshipName -> ShowS # show :: AnyClassDiagram className relationshipName -> String # showList :: [AnyClassDiagram className relationshipName] -> ShowS #
(Eq className, Eq relationshipName) => Eq (AnyClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: AnyClassDiagram className relationshipName -> AnyClassDiagram className relationshipName -> Bool # (/=) :: AnyClassDiagram className relationshipName -> AnyClassDiagram className relationshipName -> Bool #
type Rep (AnyClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (AnyClassDiagram className relationshipName) = D1 ('MetaData "AnyClassDiagram" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "AnyClassDiagram" 'PrefixI 'True) (S1 ('MetaSel ('Just "anyClassNames") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [className]) :*: S1 ('MetaSel ('Just "anyRelationships") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [AnyRelationship className relationshipName])))

type AnyRelationship className relationshipName = Either (InvalidRelationship className relationshipName) (Relationship className relationshipName) Source #

type Cd = ClassDiagram String String Source #

newtype CdConstraints Source #

Additional structural constraints that should be applied to all class diagrams.

Constructors

CdConstraints
Fields anyCompositionCyclesInvolveInheritances :: Maybe Bool if composition cycles have to contain inheritances (`Just True`), must not contain inheritances (`Just False`), or could contain inheritances (`Nothing`)

Instances

Instances details

Generic CdConstraints Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep CdConstraints :: Type -> Type # Methods from :: CdConstraints -> Rep CdConstraints x # to :: Rep CdConstraints x -> CdConstraints #
Read CdConstraints Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS CdConstraints # readList :: ReadS [CdConstraints] # readPrec :: ReadPrec CdConstraints # readListPrec :: ReadPrec [CdConstraints] #
Show CdConstraints Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> CdConstraints -> ShowS # show :: CdConstraints -> String # showList :: [CdConstraints] -> ShowS #
Eq CdConstraints Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: CdConstraints -> CdConstraints -> Bool # (/=) :: CdConstraints -> CdConstraints -> Bool #
type Rep CdConstraints Source #
Instance details Defined in Modelling.CdOd.Types type Rep CdConstraints = D1 ('MetaData "CdConstraints" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'True) (C1 ('MetaCons "CdConstraints" 'PrefixI 'True) (S1 ('MetaSel ('Just "anyCompositionCyclesInvolveInheritances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

data CdDrawSettings Source #

These parameters influence the appearance of the class diagram when drawn.

Constructors

CdDrawSettings
Fields omittedDefaults :: !OmittedDefaultMultiplicities These defaults will be omitted printNames :: !Bool When set to `False` relationship names will be omitted printNavigations :: !Bool When set to `False` association arrows will be omitted

Instances

Instances details

Data CdDrawSettings Source #
Instance details Defined in Modelling.CdOd.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CdDrawSettings -> c CdDrawSettings # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CdDrawSettings # toConstr :: CdDrawSettings -> Constr # dataTypeOf :: CdDrawSettings -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CdDrawSettings) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CdDrawSettings) # gmapT :: (forall b. Data b => b -> b) -> CdDrawSettings -> CdDrawSettings # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CdDrawSettings -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CdDrawSettings -> r # gmapQ :: (forall d. Data d => d -> u) -> CdDrawSettings -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CdDrawSettings -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CdDrawSettings -> m CdDrawSettings # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CdDrawSettings -> m CdDrawSettings # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CdDrawSettings -> m CdDrawSettings #
Generic CdDrawSettings Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep CdDrawSettings :: Type -> Type # Methods from :: CdDrawSettings -> Rep CdDrawSettings x # to :: Rep CdDrawSettings x -> CdDrawSettings #
Read CdDrawSettings Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS CdDrawSettings # readList :: ReadS [CdDrawSettings] # readPrec :: ReadPrec CdDrawSettings # readListPrec :: ReadPrec [CdDrawSettings] #
Show CdDrawSettings Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> CdDrawSettings -> ShowS # show :: CdDrawSettings -> String # showList :: [CdDrawSettings] -> ShowS #
Eq CdDrawSettings Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: CdDrawSettings -> CdDrawSettings -> Bool # (/=) :: CdDrawSettings -> CdDrawSettings -> Bool #
type Rep CdDrawSettings Source #
Instance details Defined in Modelling.CdOd.Types type Rep CdDrawSettings = D1 ('MetaData "CdDrawSettings" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "CdDrawSettings" 'PrefixI 'True) (S1 ('MetaSel ('Just "omittedDefaults") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OmittedDefaultMultiplicities) :: (S1 ('MetaSel ('Just "printNames") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "printNavigations") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))

data CdMutation Source #

Constructors

AddRelationship
MutateRelationship !RelationshipMutation
RemoveRelationship

Instances

Instances details

Generic CdMutation Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep CdMutation :: Type -> Type # Methods from :: CdMutation -> Rep CdMutation x # to :: Rep CdMutation x -> CdMutation #
Read CdMutation Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS CdMutation # readList :: ReadS [CdMutation] # readPrec :: ReadPrec CdMutation # readListPrec :: ReadPrec [CdMutation] #
Show CdMutation Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> CdMutation -> ShowS # show :: CdMutation -> String # showList :: [CdMutation] -> ShowS #
Eq CdMutation Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: CdMutation -> CdMutation -> Bool # (/=) :: CdMutation -> CdMutation -> Bool #
Ord CdMutation Source #
Instance details Defined in Modelling.CdOd.Types Methods compare :: CdMutation -> CdMutation -> Ordering # (<) :: CdMutation -> CdMutation -> Bool # (<=) :: CdMutation -> CdMutation -> Bool # (>) :: CdMutation -> CdMutation -> Bool # (>=) :: CdMutation -> CdMutation -> Bool # max :: CdMutation -> CdMutation -> CdMutation # min :: CdMutation -> CdMutation -> CdMutation #
Enumerable CdMutation Source #
Instance details Defined in Modelling.CdOd.Types Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f CdMutation
type Rep CdMutation Source #
Instance details Defined in Modelling.CdOd.Types type Rep CdMutation = D1 ('MetaData "CdMutation" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "AddRelationship" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MutateRelationship" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RelationshipMutation)) :+: C1 ('MetaCons "RemoveRelationship" 'PrefixI 'False) (U1 :: Type -> Type)))

data ClassConfig Source #

Constructors

ClassConfig
Fields classLimits :: (Int, Int) aggregationLimits :: (Int, Maybe Int) associationLimits :: (Int, Maybe Int) compositionLimits :: (Int, Maybe Int) inheritanceLimits :: (Int, Maybe Int) relationshipLimits :: (Int, Maybe Int) the number of relationships including inheritances

Instances

Instances details

Generic ClassConfig Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep ClassConfig :: Type -> Type # Methods from :: ClassConfig -> Rep ClassConfig x # to :: Rep ClassConfig x -> ClassConfig #
Read ClassConfig Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS ClassConfig # readList :: ReadS [ClassConfig] # readPrec :: ReadPrec ClassConfig # readListPrec :: ReadPrec [ClassConfig] #
Show ClassConfig Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> ClassConfig -> ShowS # show :: ClassConfig -> String # showList :: [ClassConfig] -> ShowS #
Eq ClassConfig Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: ClassConfig -> ClassConfig -> Bool # (/=) :: ClassConfig -> ClassConfig -> Bool #
type Rep ClassConfig Source #
Instance details Defined in Modelling.CdOd.Types type Rep ClassConfig = D1 ('MetaData "ClassConfig" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "ClassConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "classLimits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Int)) :: (S1 ('MetaSel ('Just "aggregationLimits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Maybe Int)) :: S1 ('MetaSel ('Just "associationLimits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Maybe Int)))) :: (S1 ('MetaSel ('Just "compositionLimits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Maybe Int)) :: (S1 ('MetaSel ('Just "inheritanceLimits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Maybe Int)) :*: S1 ('MetaSel ('Just "relationshipLimits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Maybe Int))))))

data ClassDiagram className relationshipName Source #

Constructors

ClassDiagram
Fields classNames :: [className] relationships :: [Relationship className relationshipName]

Instances

Instances details

Bifoldable ClassDiagram Source #
Instance details Defined in Modelling.CdOd.Types Methods bifold :: Monoid m => ClassDiagram m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> ClassDiagram a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> ClassDiagram a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> ClassDiagram a b -> c #
Bifunctor ClassDiagram Source #
Instance details Defined in Modelling.CdOd.Types Methods bimap :: (a -> b) -> (c -> d) -> ClassDiagram a c -> ClassDiagram b d # first :: (a -> b) -> ClassDiagram a c -> ClassDiagram b c # second :: (b -> c) -> ClassDiagram a b -> ClassDiagram a c #
Bitraversable ClassDiagram Source #
Instance details Defined in Modelling.CdOd.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ClassDiagram a b -> f (ClassDiagram c d) #
Functor (ClassDiagram className) Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> ClassDiagram className a -> ClassDiagram className b # (<$) :: a -> ClassDiagram className b -> ClassDiagram className a #
Generic (ClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (ClassDiagram className relationshipName) :: Type -> Type # Methods from :: ClassDiagram className relationshipName -> Rep (ClassDiagram className relationshipName) x # to :: Rep (ClassDiagram className relationshipName) x -> ClassDiagram className relationshipName #
(Read className, Read relationshipName) => Read (ClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (ClassDiagram className relationshipName) # readList :: ReadS [ClassDiagram className relationshipName] # readPrec :: ReadPrec (ClassDiagram className relationshipName) # readListPrec :: ReadPrec [ClassDiagram className relationshipName] #
(Show className, Show relationshipName) => Show (ClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> ClassDiagram className relationshipName -> ShowS # show :: ClassDiagram className relationshipName -> String # showList :: [ClassDiagram className relationshipName] -> ShowS #
(Eq className, Eq relationshipName) => Eq (ClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: ClassDiagram className relationshipName -> ClassDiagram className relationshipName -> Bool # (/=) :: ClassDiagram className relationshipName -> ClassDiagram className relationshipName -> Bool #
type Rep (ClassDiagram className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (ClassDiagram className relationshipName) = D1 ('MetaData "ClassDiagram" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "ClassDiagram" 'PrefixI 'True) (S1 ('MetaSel ('Just "classNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [className]) :*: S1 ('MetaSel ('Just "relationships") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Relationship className relationshipName])))

data DefaultedLimitedLinking Source #

A variation of LimitedLinking that can fallback to a default limit and includes the range expression.

Constructors

DefaultedLimitedLinking
Fields defaultedLimits :: Maybe (Int, Maybe Int) lower and upper bounds defaultedRange :: Maybe String a string representing the range defaultedLinking :: !String the target to which it is linking

data InvalidRelationship className relationshipName Source #

Constructors

InvalidInheritance
Fields invalidSubClass :: !(LimitedLinking className) invalidSuperClass :: !(LimitedLinking className)

Instances

Instances details

Bifoldable InvalidRelationship Source #
Instance details Defined in Modelling.CdOd.Types Methods bifold :: Monoid m => InvalidRelationship m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> InvalidRelationship a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> InvalidRelationship a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> InvalidRelationship a b -> c #
Bifunctor InvalidRelationship Source #
Instance details Defined in Modelling.CdOd.Types Methods bimap :: (a -> b) -> (c -> d) -> InvalidRelationship a c -> InvalidRelationship b d # first :: (a -> b) -> InvalidRelationship a c -> InvalidRelationship b c # second :: (b -> c) -> InvalidRelationship a b -> InvalidRelationship a c #
Bitraversable InvalidRelationship Source #
Instance details Defined in Modelling.CdOd.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> InvalidRelationship a b -> f (InvalidRelationship c d) #
Functor (InvalidRelationship className) Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> InvalidRelationship className a -> InvalidRelationship className b # (<$) :: a -> InvalidRelationship className b -> InvalidRelationship className a #
(Data className, Data relationshipName) => Data (InvalidRelationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InvalidRelationship className relationshipName -> c (InvalidRelationship className relationshipName) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (InvalidRelationship className relationshipName) # toConstr :: InvalidRelationship className relationshipName -> Constr # dataTypeOf :: InvalidRelationship className relationshipName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (InvalidRelationship className relationshipName)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (InvalidRelationship className relationshipName)) # gmapT :: (forall b. Data b => b -> b) -> InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InvalidRelationship className relationshipName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InvalidRelationship className relationshipName -> r # gmapQ :: (forall d. Data d => d -> u) -> InvalidRelationship className relationshipName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InvalidRelationship className relationshipName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InvalidRelationship className relationshipName -> m (InvalidRelationship className relationshipName) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InvalidRelationship className relationshipName -> m (InvalidRelationship className relationshipName) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InvalidRelationship className relationshipName -> m (InvalidRelationship className relationshipName) #
Generic (InvalidRelationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (InvalidRelationship className relationshipName) :: Type -> Type # Methods from :: InvalidRelationship className relationshipName -> Rep (InvalidRelationship className relationshipName) x # to :: Rep (InvalidRelationship className relationshipName) x -> InvalidRelationship className relationshipName #
Read className => Read (InvalidRelationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (InvalidRelationship className relationshipName) # readList :: ReadS [InvalidRelationship className relationshipName] # readPrec :: ReadPrec (InvalidRelationship className relationshipName) # readListPrec :: ReadPrec [InvalidRelationship className relationshipName] #
Show className => Show (InvalidRelationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> InvalidRelationship className relationshipName -> ShowS # show :: InvalidRelationship className relationshipName -> String # showList :: [InvalidRelationship className relationshipName] -> ShowS #
Eq className => Eq (InvalidRelationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName -> Bool # (/=) :: InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName -> Bool #
Ord className => Ord (InvalidRelationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods compare :: InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName -> Ordering # (<) :: InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName -> Bool # (<=) :: InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName -> Bool # (>) :: InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName -> Bool # (>=) :: InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName -> Bool # max :: InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName # min :: InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName -> InvalidRelationship className relationshipName #
type Rep (InvalidRelationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (InvalidRelationship className relationshipName) = D1 ('MetaData "InvalidRelationship" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "InvalidInheritance" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidSubClass") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LimitedLinking className)) :*: S1 ('MetaSel ('Just "invalidSuperClass") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LimitedLinking className))))

data LimitedLinking nodeName Source #

A meta-level connection to a node name with a (possibly invalid) range of multiplicities limiting the number of possible (non-meta-level) connections using this specific connector.

Constructors

LimitedLinking
Fields linking :: nodeName limits :: (Int, Maybe Int)

Instances

Instances details

Foldable LimitedLinking Source #
Instance details Defined in Modelling.CdOd.Types Methods fold :: Monoid m => LimitedLinking m -> m # foldMap :: Monoid m => (a -> m) -> LimitedLinking a -> m # foldMap' :: Monoid m => (a -> m) -> LimitedLinking a -> m # foldr :: (a -> b -> b) -> b -> LimitedLinking a -> b # foldr' :: (a -> b -> b) -> b -> LimitedLinking a -> b # foldl :: (b -> a -> b) -> b -> LimitedLinking a -> b # foldl' :: (b -> a -> b) -> b -> LimitedLinking a -> b # foldr1 :: (a -> a -> a) -> LimitedLinking a -> a # foldl1 :: (a -> a -> a) -> LimitedLinking a -> a # toList :: LimitedLinking a -> [a] # null :: LimitedLinking a -> Bool # length :: LimitedLinking a -> Int # elem :: Eq a => a -> LimitedLinking a -> Bool # maximum :: Ord a => LimitedLinking a -> a # minimum :: Ord a => LimitedLinking a -> a # sum :: Num a => LimitedLinking a -> a # product :: Num a => LimitedLinking a -> a #
Traversable LimitedLinking Source #
Instance details Defined in Modelling.CdOd.Types Methods traverse :: Applicative f => (a -> f b) -> LimitedLinking a -> f (LimitedLinking b) # sequenceA :: Applicative f => LimitedLinking (f a) -> f (LimitedLinking a) # mapM :: Monad m => (a -> m b) -> LimitedLinking a -> m (LimitedLinking b) # sequence :: Monad m => LimitedLinking (m a) -> m (LimitedLinking a) #
Functor LimitedLinking Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> LimitedLinking a -> LimitedLinking b # (<$) :: a -> LimitedLinking b -> LimitedLinking a #
Data nodeName => Data (LimitedLinking nodeName) Source #
Instance details Defined in Modelling.CdOd.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LimitedLinking nodeName -> c (LimitedLinking nodeName) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (LimitedLinking nodeName) # toConstr :: LimitedLinking nodeName -> Constr # dataTypeOf :: LimitedLinking nodeName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (LimitedLinking nodeName)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (LimitedLinking nodeName)) # gmapT :: (forall b. Data b => b -> b) -> LimitedLinking nodeName -> LimitedLinking nodeName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LimitedLinking nodeName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LimitedLinking nodeName -> r # gmapQ :: (forall d. Data d => d -> u) -> LimitedLinking nodeName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LimitedLinking nodeName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LimitedLinking nodeName -> m (LimitedLinking nodeName) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LimitedLinking nodeName -> m (LimitedLinking nodeName) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LimitedLinking nodeName -> m (LimitedLinking nodeName) #
Generic (LimitedLinking nodeName) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (LimitedLinking nodeName) :: Type -> Type # Methods from :: LimitedLinking nodeName -> Rep (LimitedLinking nodeName) x # to :: Rep (LimitedLinking nodeName) x -> LimitedLinking nodeName #
Read nodeName => Read (LimitedLinking nodeName) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (LimitedLinking nodeName) # readList :: ReadS [LimitedLinking nodeName] # readPrec :: ReadPrec (LimitedLinking nodeName) # readListPrec :: ReadPrec [LimitedLinking nodeName] #
Show nodeName => Show (LimitedLinking nodeName) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> LimitedLinking nodeName -> ShowS # show :: LimitedLinking nodeName -> String # showList :: [LimitedLinking nodeName] -> ShowS #
Eq nodeName => Eq (LimitedLinking nodeName) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: LimitedLinking nodeName -> LimitedLinking nodeName -> Bool # (/=) :: LimitedLinking nodeName -> LimitedLinking nodeName -> Bool #
Ord nodeName => Ord (LimitedLinking nodeName) Source #
Instance details Defined in Modelling.CdOd.Types Methods compare :: LimitedLinking nodeName -> LimitedLinking nodeName -> Ordering # (<) :: LimitedLinking nodeName -> LimitedLinking nodeName -> Bool # (<=) :: LimitedLinking nodeName -> LimitedLinking nodeName -> Bool # (>) :: LimitedLinking nodeName -> LimitedLinking nodeName -> Bool # (>=) :: LimitedLinking nodeName -> LimitedLinking nodeName -> Bool # max :: LimitedLinking nodeName -> LimitedLinking nodeName -> LimitedLinking nodeName # min :: LimitedLinking nodeName -> LimitedLinking nodeName -> LimitedLinking nodeName #
type Rep (LimitedLinking nodeName) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (LimitedLinking nodeName) = D1 ('MetaData "LimitedLinking" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "LimitedLinking" 'PrefixI 'True) (S1 ('MetaSel ('Just "linking") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 nodeName) :*: S1 ('MetaSel ('Just "limits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Maybe Int))))

data Link objectName linkLabel Source #

A link connects two objects and has a label.

Constructors

Link
Fields linkLabel :: linkLabel how the link is labeled, indicating which relationship it belongs to linkFrom :: objectName the starting point of the link linkTo :: objectName the end point of the link

Instances

Instances details

Bifoldable Link Source #
Instance details Defined in Modelling.CdOd.Types Methods bifold :: Monoid m => Link m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Link a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Link a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Link a b -> c #
Bifunctor Link Source #
Instance details Defined in Modelling.CdOd.Types Methods bimap :: (a -> b) -> (c -> d) -> Link a c -> Link b d # first :: (a -> b) -> Link a c -> Link b c # second :: (b -> c) -> Link a b -> Link a c #
Bitraversable Link Source #
Instance details Defined in Modelling.CdOd.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Link a b -> f (Link c d) #
Functor (Link objectName) Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> Link objectName a -> Link objectName b # (<$) :: a -> Link objectName b -> Link objectName a #
Generic (Link objectName linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (Link objectName linkLabel) :: Type -> Type # Methods from :: Link objectName linkLabel -> Rep (Link objectName linkLabel) x # to :: Rep (Link objectName linkLabel) x -> Link objectName linkLabel #
(Read linkLabel, Read objectName) => Read (Link objectName linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (Link objectName linkLabel) # readList :: ReadS [Link objectName linkLabel] # readPrec :: ReadPrec (Link objectName linkLabel) # readListPrec :: ReadPrec [Link objectName linkLabel] #
(Show linkLabel, Show objectName) => Show (Link objectName linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> Link objectName linkLabel -> ShowS # show :: Link objectName linkLabel -> String # showList :: [Link objectName linkLabel] -> ShowS #
(Eq linkLabel, Eq objectName) => Eq (Link objectName linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: Link objectName linkLabel -> Link objectName linkLabel -> Bool # (/=) :: Link objectName linkLabel -> Link objectName linkLabel -> Bool #
(Ord linkLabel, Ord objectName) => Ord (Link objectName linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Methods compare :: Link objectName linkLabel -> Link objectName linkLabel -> Ordering # (<) :: Link objectName linkLabel -> Link objectName linkLabel -> Bool # (<=) :: Link objectName linkLabel -> Link objectName linkLabel -> Bool # (>) :: Link objectName linkLabel -> Link objectName linkLabel -> Bool # (>=) :: Link objectName linkLabel -> Link objectName linkLabel -> Bool # max :: Link objectName linkLabel -> Link objectName linkLabel -> Link objectName linkLabel # min :: Link objectName linkLabel -> Link objectName linkLabel -> Link objectName linkLabel #
type Rep (Link objectName linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (Link objectName linkLabel) = D1 ('MetaData "Link" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "Link" 'PrefixI 'True) (S1 ('MetaSel ('Just "linkLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 linkLabel) :: (S1 ('MetaSel ('Just "linkFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 objectName) :: S1 ('MetaSel ('Just "linkTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 objectName))))

data Object objectName className Source #

Constructors

Object
Fields isAnonymous :: !Bool objectName :: objectName objectClass :: className

Instances

Instances details

Bifoldable Object Source #
Instance details Defined in Modelling.CdOd.Types Methods bifold :: Monoid m => Object m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Object a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Object a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Object a b -> c #
Bifunctor Object Source #
Instance details Defined in Modelling.CdOd.Types Methods bimap :: (a -> b) -> (c -> d) -> Object a c -> Object b d # first :: (a -> b) -> Object a c -> Object b c # second :: (b -> c) -> Object a b -> Object a c #
Bitraversable Object Source #
Instance details Defined in Modelling.CdOd.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Object a b -> f (Object c d) #
Functor (Object objectName) Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> Object objectName a -> Object objectName b # (<$) :: a -> Object objectName b -> Object objectName a #
Generic (Object objectName className) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (Object objectName className) :: Type -> Type # Methods from :: Object objectName className -> Rep (Object objectName className) x # to :: Rep (Object objectName className) x -> Object objectName className #
(Read objectName, Read className) => Read (Object objectName className) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (Object objectName className) # readList :: ReadS [Object objectName className] # readPrec :: ReadPrec (Object objectName className) # readListPrec :: ReadPrec [Object objectName className] #
(Show objectName, Show className) => Show (Object objectName className) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> Object objectName className -> ShowS # show :: Object objectName className -> String # showList :: [Object objectName className] -> ShowS #
(Eq objectName, Eq className) => Eq (Object objectName className) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: Object objectName className -> Object objectName className -> Bool # (/=) :: Object objectName className -> Object objectName className -> Bool #
(Ord objectName, Ord className) => Ord (Object objectName className) Source #
Instance details Defined in Modelling.CdOd.Types Methods compare :: Object objectName className -> Object objectName className -> Ordering # (<) :: Object objectName className -> Object objectName className -> Bool # (<=) :: Object objectName className -> Object objectName className -> Bool # (>) :: Object objectName className -> Object objectName className -> Bool # (>=) :: Object objectName className -> Object objectName className -> Bool # max :: Object objectName className -> Object objectName className -> Object objectName className # min :: Object objectName className -> Object objectName className -> Object objectName className #
type Rep (Object objectName className) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (Object objectName className) = D1 ('MetaData "Object" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "Object" 'PrefixI 'True) (S1 ('MetaSel ('Just "isAnonymous") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :: (S1 ('MetaSel ('Just "objectName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 objectName) :: S1 ('MetaSel ('Just "objectClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 className))))

data ObjectConfig Source #

Defines the size restrictions of an object diagram.

Constructors

ObjectConfig
Fields linkLimits :: !(Int, Maybe Int) lower and upper limit of links within the object diagram linksPerObjectLimits :: !(Int, Maybe Int) lower and upper limit of links starting or ending at each object objectLimits :: !(Int, Int) lower and upper limit of objects within the object diagram

Instances

Instances details

Generic ObjectConfig Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep ObjectConfig :: Type -> Type # Methods from :: ObjectConfig -> Rep ObjectConfig x # to :: Rep ObjectConfig x -> ObjectConfig #
Read ObjectConfig Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS ObjectConfig # readList :: ReadS [ObjectConfig] # readPrec :: ReadPrec ObjectConfig # readListPrec :: ReadPrec [ObjectConfig] #
Show ObjectConfig Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> ObjectConfig -> ShowS # show :: ObjectConfig -> String # showList :: [ObjectConfig] -> ShowS #
Eq ObjectConfig Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: ObjectConfig -> ObjectConfig -> Bool # (/=) :: ObjectConfig -> ObjectConfig -> Bool #
type Rep ObjectConfig Source #
Instance details Defined in Modelling.CdOd.Types type Rep ObjectConfig = D1 ('MetaData "ObjectConfig" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "ObjectConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "linkLimits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Int, Maybe Int)) :: (S1 ('MetaSel ('Just "linksPerObjectLimits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Int, Maybe Int)) :: S1 ('MetaSel ('Just "objectLimits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Int, Int)))))

data ObjectDiagram objectName className linkLabel Source #

The object diagram consists of objects and links between them.

Note, the order of both, links and objects, might influence its visual appearance when drawn.

Constructors

ObjectDiagram
Fields objects :: [Object objectName className] all objects belonging to the object diagram links :: [Link objectName linkLabel] all links belonging to the object diagram

Instances

Instances details

Bifoldable (ObjectDiagram a) Source #
Instance details Defined in Modelling.CdOd.Types Methods bifold :: Monoid m => ObjectDiagram a m m -> m # bifoldMap :: Monoid m => (a0 -> m) -> (b -> m) -> ObjectDiagram a a0 b -> m # bifoldr :: (a0 -> c -> c) -> (b -> c -> c) -> c -> ObjectDiagram a a0 b -> c # bifoldl :: (c -> a0 -> c) -> (c -> b -> c) -> c -> ObjectDiagram a a0 b -> c #
Bifunctor (ObjectDiagram a) Source #
Instance details Defined in Modelling.CdOd.Types Methods bimap :: (a0 -> b) -> (c -> d) -> ObjectDiagram a a0 c -> ObjectDiagram a b d # first :: (a0 -> b) -> ObjectDiagram a a0 c -> ObjectDiagram a b c # second :: (b -> c) -> ObjectDiagram a a0 b -> ObjectDiagram a a0 c #
Bitraversable (ObjectDiagram a) Source #
Instance details Defined in Modelling.CdOd.Types Methods bitraverse :: Applicative f => (a0 -> f c) -> (b -> f d) -> ObjectDiagram a a0 b -> f (ObjectDiagram a c d) #
Functor (ObjectDiagram objectName className) Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> ObjectDiagram objectName className a -> ObjectDiagram objectName className b # (<$) :: a -> ObjectDiagram objectName className b -> ObjectDiagram objectName className a #
Generic (ObjectDiagram objectName className linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (ObjectDiagram objectName className linkLabel) :: Type -> Type # Methods from :: ObjectDiagram objectName className linkLabel -> Rep (ObjectDiagram objectName className linkLabel) x # to :: Rep (ObjectDiagram objectName className linkLabel) x -> ObjectDiagram objectName className linkLabel #
(Read objectName, Read className, Read linkLabel) => Read (ObjectDiagram objectName className linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (ObjectDiagram objectName className linkLabel) # readList :: ReadS [ObjectDiagram objectName className linkLabel] # readPrec :: ReadPrec (ObjectDiagram objectName className linkLabel) # readListPrec :: ReadPrec [ObjectDiagram objectName className linkLabel] #
(Show objectName, Show className, Show linkLabel) => Show (ObjectDiagram objectName className linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> ObjectDiagram objectName className linkLabel -> ShowS # show :: ObjectDiagram objectName className linkLabel -> String # showList :: [ObjectDiagram objectName className linkLabel] -> ShowS #
(Eq objectName, Eq className, Eq linkLabel) => Eq (ObjectDiagram objectName className linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel -> Bool # (/=) :: ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel -> Bool #
(Ord objectName, Ord className, Ord linkLabel) => Ord (ObjectDiagram objectName className linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types Methods compare :: ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel -> Ordering # (<) :: ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel -> Bool # (<=) :: ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel -> Bool # (>) :: ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel -> Bool # (>=) :: ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel -> Bool # max :: ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel # min :: ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel #
type Rep (ObjectDiagram objectName className linkLabel) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (ObjectDiagram objectName className linkLabel) = D1 ('MetaData "ObjectDiagram" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "ObjectDiagram" 'PrefixI 'True) (S1 ('MetaSel ('Just "objects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Object objectName className]) :*: S1 ('MetaSel ('Just "links") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Link objectName linkLabel])))

data ObjectProperties Source #

Defines structural constraints of an object diagram.

Constructors

ObjectProperties

Fields

anonymousObjectProportion :: !Rational
a proportion in the interval 0 to 1 describing what ratio of the objects should be anonymous where 0 is meaning none and 1 is meaning all
completelyInhabited :: !(Maybe Bool)
if there is at least one object for each existing class
hasLimitedIsolatedObjects :: !Bool
if the number of isolated objects should be restricted
hasSelfLoops :: !(Maybe Bool)
if there are links between the same object
usesEveryRelationshipName :: !(Maybe Bool)
if there is at least one link for every association, aggregation and composition

Instances

Instances details

Generic ObjectProperties Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep ObjectProperties :: Type -> Type # Methods from :: ObjectProperties -> Rep ObjectProperties x # to :: Rep ObjectProperties x -> ObjectProperties #
Read ObjectProperties Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS ObjectProperties # readList :: ReadS [ObjectProperties] # readPrec :: ReadPrec ObjectProperties # readListPrec :: ReadPrec [ObjectProperties] #
Show ObjectProperties Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> ObjectProperties -> ShowS # show :: ObjectProperties -> String # showList :: [ObjectProperties] -> ShowS #
Eq ObjectProperties Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: ObjectProperties -> ObjectProperties -> Bool # (/=) :: ObjectProperties -> ObjectProperties -> Bool #
type Rep ObjectProperties Source #
Instance details Defined in Modelling.CdOd.Types type Rep ObjectProperties = D1 ('MetaData "ObjectProperties" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "ObjectProperties" 'PrefixI 'True) ((S1 ('MetaSel ('Just "anonymousObjectProportion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :: S1 ('MetaSel ('Just "completelyInhabited") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Bool))) :: (S1 ('MetaSel ('Just "hasLimitedIsolatedObjects") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :: (S1 ('MetaSel ('Just "hasSelfLoops") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "usesEveryRelationshipName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Bool))))))

type Od = ObjectDiagram String String String Source #

data OmittedDefaultMultiplicities Source #

Defines default multiplicities which should be omitted when drawing the class diagram.

Constructors

OmittedDefaultMultiplicities
Fields aggregationWholeOmittedDefaultMultiplicity :: !(Maybe (Int, Maybe Int)) associationOmittedDefaultMultiplicity :: !(Maybe (Int, Maybe Int)) compositionWholeOmittedDefaultMultiplicity :: !(Maybe (Int, Maybe Int))

Instances

Instances details

Data OmittedDefaultMultiplicities Source #
Instance details Defined in Modelling.CdOd.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OmittedDefaultMultiplicities -> c OmittedDefaultMultiplicities # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OmittedDefaultMultiplicities # toConstr :: OmittedDefaultMultiplicities -> Constr # dataTypeOf :: OmittedDefaultMultiplicities -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OmittedDefaultMultiplicities) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OmittedDefaultMultiplicities) # gmapT :: (forall b. Data b => b -> b) -> OmittedDefaultMultiplicities -> OmittedDefaultMultiplicities # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OmittedDefaultMultiplicities -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OmittedDefaultMultiplicities -> r # gmapQ :: (forall d. Data d => d -> u) -> OmittedDefaultMultiplicities -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OmittedDefaultMultiplicities -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OmittedDefaultMultiplicities -> m OmittedDefaultMultiplicities # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OmittedDefaultMultiplicities -> m OmittedDefaultMultiplicities # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OmittedDefaultMultiplicities -> m OmittedDefaultMultiplicities #
Generic OmittedDefaultMultiplicities Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep OmittedDefaultMultiplicities :: Type -> Type # Methods from :: OmittedDefaultMultiplicities -> Rep OmittedDefaultMultiplicities x # to :: Rep OmittedDefaultMultiplicities x -> OmittedDefaultMultiplicities #
Read OmittedDefaultMultiplicities Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS OmittedDefaultMultiplicities # readList :: ReadS [OmittedDefaultMultiplicities] # readPrec :: ReadPrec OmittedDefaultMultiplicities # readListPrec :: ReadPrec [OmittedDefaultMultiplicities] #
Show OmittedDefaultMultiplicities Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> OmittedDefaultMultiplicities -> ShowS # show :: OmittedDefaultMultiplicities -> String # showList :: [OmittedDefaultMultiplicities] -> ShowS #
Eq OmittedDefaultMultiplicities Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: OmittedDefaultMultiplicities -> OmittedDefaultMultiplicities -> Bool # (/=) :: OmittedDefaultMultiplicities -> OmittedDefaultMultiplicities -> Bool #
type Rep OmittedDefaultMultiplicities Source #
Instance details Defined in Modelling.CdOd.Types type Rep OmittedDefaultMultiplicities = D1 ('MetaData "OmittedDefaultMultiplicities" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "OmittedDefaultMultiplicities" 'PrefixI 'True) (S1 ('MetaSel ('Just "aggregationWholeOmittedDefaultMultiplicity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (Int, Maybe Int))) :: (S1 ('MetaSel ('Just "associationOmittedDefaultMultiplicity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (Int, Maybe Int))) :: S1 ('MetaSel ('Just "compositionWholeOmittedDefaultMultiplicity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (Int, Maybe Int))))))

data Property Source #

Constructors

CompositionCycles
DoubleRelationships
InheritanceCycles
InvalidInheritanceLimits
MultipleInheritances
ReverseInheritances
ReverseRelationships
SelfInheritances
SelfRelationships
WrongAssociationLimits
WrongCompositionLimits

Instances

Instances details

Data Property Source #
Instance details Defined in Modelling.CdOd.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Property -> c Property # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Property # toConstr :: Property -> Constr # dataTypeOf :: Property -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Property) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Property) # gmapT :: (forall b. Data b => b -> b) -> Property -> Property # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Property -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Property -> r # gmapQ :: (forall d. Data d => d -> u) -> Property -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Property -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Property -> m Property # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Property -> m Property # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Property -> m Property #
Bounded Property Source #
Instance details Defined in Modelling.CdOd.Types Methods minBound :: Property # maxBound :: Property #
Enum Property Source #
Instance details Defined in Modelling.CdOd.Types Methods succ :: Property -> Property # pred :: Property -> Property # toEnum :: Int -> Property # fromEnum :: Property -> Int # enumFrom :: Property -> [Property] # enumFromThen :: Property -> Property -> [Property] # enumFromTo :: Property -> Property -> [Property] # enumFromThenTo :: Property -> Property -> Property -> [Property] #
Generic Property Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep Property :: Type -> Type # Methods from :: Property -> Rep Property x # to :: Rep Property x -> Property #
Read Property Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS Property # readList :: ReadS [Property] # readPrec :: ReadPrec Property # readListPrec :: ReadPrec [Property] #
Show Property Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> Property -> ShowS # show :: Property -> String # showList :: [Property] -> ShowS #
Eq Property Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: Property -> Property -> Bool # (/=) :: Property -> Property -> Bool #
Ord Property Source #
Instance details Defined in Modelling.CdOd.Types Methods compare :: Property -> Property -> Ordering # (<) :: Property -> Property -> Bool # (<=) :: Property -> Property -> Bool # (>) :: Property -> Property -> Bool # (>=) :: Property -> Property -> Bool # max :: Property -> Property -> Property # min :: Property -> Property -> Property #
type Rep Property Source #
Instance details Defined in Modelling.CdOd.Types type Rep Property = D1 ('MetaData "Property" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (((C1 ('MetaCons "CompositionCycles" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleRelationships" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "InheritanceCycles" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InvalidInheritanceLimits" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultipleInheritances" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ReverseInheritances" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ReverseRelationships" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SelfInheritances" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SelfRelationships" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "WrongAssociationLimits" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WrongCompositionLimits" 'PrefixI 'False) (U1 :: Type -> Type)))))

data Relationship className relationshipName Source #

All possible relationships within a ClassDiagram.

Constructors

Association
Fields associationName :: relationshipName associationFrom :: LimitedLinking className associationTo :: LimitedLinking className
Aggregation
Fields aggregationName :: relationshipName aggregationPart :: LimitedLinking className aggregationWhole :: LimitedLinking className
Composition
Fields compositionName :: relationshipName compositionPart :: LimitedLinking className compositionWhole :: LimitedLinking className
Inheritance
Fields subClass :: className superClass :: className

Instances

Instances details

Bifoldable Relationship Source #
Instance details Defined in Modelling.CdOd.Types Methods bifold :: Monoid m => Relationship m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Relationship a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Relationship a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Relationship a b -> c #
Bifunctor Relationship Source #
Instance details Defined in Modelling.CdOd.Types Methods bimap :: (a -> b) -> (c -> d) -> Relationship a c -> Relationship b d # first :: (a -> b) -> Relationship a c -> Relationship b c # second :: (b -> c) -> Relationship a b -> Relationship a c #
Bitraversable Relationship Source #
Instance details Defined in Modelling.CdOd.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Relationship a b -> f (Relationship c d) #
Functor (Relationship className) Source #
Instance details Defined in Modelling.CdOd.Types Methods fmap :: (a -> b) -> Relationship className a -> Relationship className b # (<$) :: a -> Relationship className b -> Relationship className a #
(Data relationshipName, Data className) => Data (Relationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Relationship className relationshipName -> c (Relationship className relationshipName) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Relationship className relationshipName) # toConstr :: Relationship className relationshipName -> Constr # dataTypeOf :: Relationship className relationshipName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Relationship className relationshipName)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Relationship className relationshipName)) # gmapT :: (forall b. Data b => b -> b) -> Relationship className relationshipName -> Relationship className relationshipName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Relationship className relationshipName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Relationship className relationshipName -> r # gmapQ :: (forall d. Data d => d -> u) -> Relationship className relationshipName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Relationship className relationshipName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Relationship className relationshipName -> m (Relationship className relationshipName) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Relationship className relationshipName -> m (Relationship className relationshipName) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Relationship className relationshipName -> m (Relationship className relationshipName) #
Generic (Relationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep (Relationship className relationshipName) :: Type -> Type # Methods from :: Relationship className relationshipName -> Rep (Relationship className relationshipName) x # to :: Rep (Relationship className relationshipName) x -> Relationship className relationshipName #
(Read relationshipName, Read className) => Read (Relationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS (Relationship className relationshipName) # readList :: ReadS [Relationship className relationshipName] # readPrec :: ReadPrec (Relationship className relationshipName) # readListPrec :: ReadPrec [Relationship className relationshipName] #
(Show relationshipName, Show className) => Show (Relationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> Relationship className relationshipName -> ShowS # show :: Relationship className relationshipName -> String # showList :: [Relationship className relationshipName] -> ShowS #
(Eq relationshipName, Eq className) => Eq (Relationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: Relationship className relationshipName -> Relationship className relationshipName -> Bool # (/=) :: Relationship className relationshipName -> Relationship className relationshipName -> Bool #
(Ord relationshipName, Ord className) => Ord (Relationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods compare :: Relationship className relationshipName -> Relationship className relationshipName -> Ordering # (<) :: Relationship className relationshipName -> Relationship className relationshipName -> Bool # (<=) :: Relationship className relationshipName -> Relationship className relationshipName -> Bool # (>) :: Relationship className relationshipName -> Relationship className relationshipName -> Bool # (>=) :: Relationship className relationshipName -> Relationship className relationshipName -> Bool # max :: Relationship className relationshipName -> Relationship className relationshipName -> Relationship className relationshipName # min :: Relationship className relationshipName -> Relationship className relationshipName -> Relationship className relationshipName #
type Rep (Relationship className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types type Rep (Relationship className relationshipName) = D1 ('MetaData "Relationship" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) ((C1 ('MetaCons "Association" 'PrefixI 'True) (S1 ('MetaSel ('Just "associationName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 relationshipName) :: (S1 ('MetaSel ('Just "associationFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LimitedLinking className)) :: S1 ('MetaSel ('Just "associationTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LimitedLinking className)))) :+: C1 ('MetaCons "Aggregation" 'PrefixI 'True) (S1 ('MetaSel ('Just "aggregationName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 relationshipName) :: (S1 ('MetaSel ('Just "aggregationPart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LimitedLinking className)) :: S1 ('MetaSel ('Just "aggregationWhole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LimitedLinking className))))) :+: (C1 ('MetaCons "Composition" 'PrefixI 'True) (S1 ('MetaSel ('Just "compositionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 relationshipName) :: (S1 ('MetaSel ('Just "compositionPart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LimitedLinking className)) :: S1 ('MetaSel ('Just "compositionWhole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LimitedLinking className)))) :+: C1 ('MetaCons "Inheritance" 'PrefixI 'True) (S1 ('MetaSel ('Just "subClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 className) :*: S1 ('MetaSel ('Just "superClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 className))))

data RelationshipMutation Source #

The basic mutation operations.

Constructors

ChangeKind
ChangeLimit
Flip

Instances

Instances details

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

data RelationshipProperties Source #

Constructors

RelationshipProperties

Fields

invalidInheritances :: !Int
wrongNonInheritances :: Int
wrongCompositions :: Int
selfRelationshipsAmount :: Int
selfInheritancesAmount :: Int
hasDoubleRelationships :: Maybe Bool
hasReverseRelationships :: Maybe Bool
hasReverseInheritances :: Bool
hasMultipleInheritances :: Maybe Bool
hasNonTrivialInheritanceCycles :: Bool
hasCompositionCycles :: Bool
hasCompositionsPreventingParts :: Maybe Bool
hasThickEdges :: Maybe Bool

Instances

Instances details

Generic RelationshipProperties Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep RelationshipProperties :: Type -> Type # Methods from :: RelationshipProperties -> Rep RelationshipProperties x # to :: Rep RelationshipProperties x -> RelationshipProperties #
Read RelationshipProperties Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS RelationshipProperties # readList :: ReadS [RelationshipProperties] # readPrec :: ReadPrec RelationshipProperties # readListPrec :: ReadPrec [RelationshipProperties] #
Show RelationshipProperties Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> RelationshipProperties -> ShowS # show :: RelationshipProperties -> String # showList :: [RelationshipProperties] -> ShowS #
type Rep RelationshipProperties Source #
Instance details Defined in Modelling.CdOd.Types type Rep RelationshipProperties = D1 ('MetaData "RelationshipProperties" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "RelationshipProperties" 'PrefixI 'True) (((S1 ('MetaSel ('Just "invalidInheritances") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Just "wrongNonInheritances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "wrongCompositions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :: (S1 ('MetaSel ('Just "selfRelationshipsAmount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "selfInheritancesAmount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "hasDoubleRelationships") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))) :: ((S1 ('MetaSel ('Just "hasReverseRelationships") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: (S1 ('MetaSel ('Just "hasReverseInheritances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "hasMultipleInheritances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))) :: ((S1 ('MetaSel ('Just "hasNonTrivialInheritanceCycles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "hasCompositionCycles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "hasCompositionsPreventingParts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "hasThickEdges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))))))

newtype WrongRelationshipException className relationshipName Source #

Constructors

UnexpectedInvalidRelationship (AnyRelationship className relationshipName)

Instances

Instances details

(Show className, Show relationshipName, Typeable className, Typeable relationshipName) => Exception (WrongRelationshipException className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods toException :: WrongRelationshipException className relationshipName -> SomeException # fromException :: SomeException -> Maybe (WrongRelationshipException className relationshipName) # displayException :: WrongRelationshipException className relationshipName -> String #
(Show className, Show relationshipName) => Show (WrongRelationshipException className relationshipName) Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> WrongRelationshipException className relationshipName -> ShowS # show :: WrongRelationshipException className relationshipName -> String # showList :: [WrongRelationshipException className relationshipName] -> ShowS #

allCdMutations :: [CdMutation] Source #

allowEverything :: AllowedProperties Source #

allowNothing :: AllowedProperties Source #

anonymiseObjects :: MonadRandom m => Rational -> ObjectDiagram className relationshipName linkLabel -> m (ObjectDiagram className relationshipName linkLabel) Source #

anyAssociationNames :: AnyCd -> [String] Source #

anyRelationshipName :: AnyRelationship className relationshipName -> Maybe relationshipName Source #

anyThickEdge :: Cd -> Bool Source #

associationNames :: Cd -> [String] Source #

calculateThickAnyRelationships :: AnyCd -> [(Bool, AnyRelationship String String)] Source #

checkCdConstraints :: AllowedProperties -> CdConstraints -> Maybe String Source #

checkCdDrawProperties :: CdDrawSettings -> AllowedProperties -> Maybe String Source #

Checks compatibility of draw settings with allowed properties preventing situations that could be misinterpreted.

checkCdDrawSettings :: CdDrawSettings -> Maybe String Source #

checkCdMutations :: [CdMutation] -> Maybe String Source #

checkClassConfig :: ClassConfig -> Maybe String Source #

checkClassConfigAndObjectProperties :: ClassConfig -> ObjectProperties -> Maybe String Source #

Configuration checks for the interplay of provided class diagram and object diagram configurations.

checkClassConfigWithProperties :: ClassConfig -> RelationshipProperties -> Maybe String Source #

checkObjectDiagram :: Ord objectName => ObjectDiagram objectName className linkLabel -> Maybe String Source #

checkObjectProperties :: ObjectProperties -> Maybe String Source #

checkOmittedDefaultMultiplicities :: OmittedDefaultMultiplicities -> Maybe String Source #

classNamesOd :: Ord className => ObjectDiagram objectName className linkLabel -> [className] Source #

defaultCdConstraints :: CdConstraints Source #

defaultCdDrawSettings :: CdDrawSettings Source #

defaultedLimitedLinking :: Maybe (Int, Maybe Int) -> LimitedLinking String -> DefaultedLimitedLinking Source #

Smart constructor for creating DefaultedLimitedLinking based on a default and a LimitedLinking.

defaultOmittedDefaultMultiplicities :: OmittedDefaultMultiplicities Source #

defaultProperties :: RelationshipProperties Source #

fromClassDiagram :: ClassDiagram className relationshipName -> AnyClassDiagram className relationshipName Source #

isIllegal :: Property -> Bool Source #

isObjectDiagramRandomisable :: ObjectDiagram String String linkLabels -> Maybe String Source #

linkLabels :: Ord linkLabel => ObjectDiagram objectName className linkLabel -> [linkLabel] Source #

maxFiveObjects :: ObjectConfig Source #

Defines an ObjectConfig demanding at least one but at most five objects without restricting links.

maxObjects :: Int -> ObjectConfig Source #

Defines an ObjectConfig demanding at least one but at most the given number of objects without restricting links.

maxRelationships :: ClassConfig -> Int Source #

normaliseObjectDiagram :: (Ord className, Ord linkLabel, Ord objectName) => ObjectDiagram objectName className linkLabel -> ObjectDiagram objectName className linkLabel Source #

Sort objects, and links of the ObjectDiagram. This enables better comparison (especially for test cases).

rangeWithDefault Source #

Arguments

:: Maybe (Int, Maybe Int)	the default
-> (Int, Maybe Int)	range for which to return the range expression
-> Maybe String

A range expression as shown in class diagrams (or Nothing if default is hit).

relationshipName :: Relationship c r -> Maybe r Source #

renameClassesAndRelationships :: (Bitraversable f, MonadThrow m, Ord c, Ord c', Ord r, Ord r') => Bimap c c' -> Bimap r r' -> f c r -> m (f c' r') Source #

Renaming AnnotatedClassDiagramgs, ClassDiagrams and Relationships is possible using this function

renameObjectsWithClassesAndLinksInOd :: (MonadThrow m, Ord linkLabels, Ord linkLabels') => Bimap String String -> Bimap linkLabels linkLabels' -> ObjectDiagram String String linkLabels -> m (ObjectDiagram String String linkLabels') Source #

shuffleAnnotatedClassAndConnectionOrder :: MonadRandom m => AnnotatedClassDiagram annotation classes relationships -> m (AnnotatedClassDiagram annotation classes relationships) Source #

shuffleCdNames :: (MonadRandom m, Traversable t, MonadThrow m) => t Cd -> m (t Cd) Source #

Given a collection of CDs use all used class and relationship names and shuffle them respectively.

shuffleClassAndConnectionOrder :: MonadRandom m => Cd -> m Cd Source #

shuffleAnyClassAndConnectionOrder :: MonadRandom m => AnyCd -> m AnyCd Source #

shuffleObjectAndLinkOrder :: MonadRandom m => ObjectDiagram objectName className linkLabel -> m (ObjectDiagram objectName className linkLabel) Source #

sortLimits :: DefaultedLimitedLinking -> DefaultedLimitedLinking -> (DefaultedLimitedLinking, DefaultedLimitedLinking) Source #

Return lower limit first, higher second.

toPropertySet :: RelationshipProperties -> Set Property Source #

Create a set of properties based on a RelationshipProperties configuration.

toValidCd :: (Eq className, MonadThrow m, Show className, Show relationshipName, Typeable className, Typeable relationshipName) => AnyClassDiagram className relationshipName -> m (ClassDiagram className relationshipName) Source #

towardsValidProperties :: RelationshipProperties -> RelationshipProperties Source #

unannotateCd :: AnnotatedClassDiagram relationshipAnnotation className relationshipName -> AnyClassDiagram className relationshipName Source #

Phrasing

data ArticlePreference Source #

When indefinite articles can not be avoided completely

Constructors

UseDefiniteArticleWherePossible	prefer definite articles
UseIndefiniteArticleEverywhere	always use indefinite articles

Instances

Instances details

Generic ArticlePreference Source #
Instance details Defined in Modelling.CdOd.Types Associated Types type Rep ArticlePreference :: Type -> Type # Methods from :: ArticlePreference -> Rep ArticlePreference x # to :: Rep ArticlePreference x -> ArticlePreference #
Read ArticlePreference Source #
Instance details Defined in Modelling.CdOd.Types Methods readsPrec :: Int -> ReadS ArticlePreference # readList :: ReadS [ArticlePreference] # readPrec :: ReadPrec ArticlePreference # readListPrec :: ReadPrec [ArticlePreference] #
Show ArticlePreference Source #
Instance details Defined in Modelling.CdOd.Types Methods showsPrec :: Int -> ArticlePreference -> ShowS # show :: ArticlePreference -> String # showList :: [ArticlePreference] -> ShowS #
Eq ArticlePreference Source #
Instance details Defined in Modelling.CdOd.Types Methods (==) :: ArticlePreference -> ArticlePreference -> Bool # (/=) :: ArticlePreference -> ArticlePreference -> Bool #
type Rep ArticlePreference Source #
Instance details Defined in Modelling.CdOd.Types type Rep ArticlePreference = D1 ('MetaData "ArticlePreference" "Modelling.CdOd.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "UseDefiniteArticleWherePossible" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UseIndefiniteArticleEverywhere" 'PrefixI 'False) (U1 :: Type -> Type))

data NonInheritancePhrasing Source #

How to phrase non inheritance relationships

Constructors

ByDirection	refer in some way to start and end
ByName	refer to the name
Lengthy	Associations are phrased lengthy, others as `ByDirection`

data PhrasingKind Source #

For choosing a specific phrasing variation.

Constructors

Denoted	refer to denoted multiplicities
Participations	describe how often objects can participate

toArticleToUse :: ArticlePreference -> ArticleToUse Source #

Convert ArticlePreference directly to ArticleToUse (without conditions).

toPhrasing :: Bool -> Bool -> NonInheritancePhrasing Source #

Choose NonInheritancePhrasing according to parameters in this order * by name (first parameter) * by direction (second parameter) * otherwise lengthy