module ProjectM36.AttributeExpr where import ProjectM36.Base import ProjectM36.Attribute as A attributeName :: AttributeExprBase a -> AttributeName attributeName :: forall a. AttributeExprBase a -> AttributeName attributeName (AttributeAndTypeNameExpr AttributeName nam TypeConstructor _ a _) = AttributeName nam attributeName (NakedAttributeExpr Attribute attr) = Attribute -> AttributeName A.attributeName Attribute attr