inductive SE.Transformation.TransformationFamily : Type

Mid-level behavioral category grouping transformation operators by shared structural behavior.

• aggregation : TransformationFamily
• association : TransformationFamily
• attestation : TransformationFamily
• branching : TransformationFamily
• containment : TransformationFamily
• contextual : TransformationFamily
• decomposition : TransformationFamily
• migration : TransformationFamily
• normative : TransformationFamily
• projection : TransformationFamily
• replication : TransformationFamily
• reorganization : TransformationFamily
• scaling : TransformationFamily
• versioning : TransformationFamily

@[implicit_reducible]

instance SE.Transformation.instDecidableEqTransformationFamily : DecidableEq TransformationFamily

Equations

• SE.Transformation.instDecidableEqTransformationFamily x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance SE.Transformation.instReprTransformationFamily : Repr TransformationFamily

Equations

• SE.Transformation.instReprTransformationFamily = { reprPrec := SE.Transformation.instReprTransformationFamily.repr }

def SE.Transformation.instReprTransformationFamily.repr : TransformationFamily → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.