feat: add IntersectionType

Author: yuhsuan19

Sources/Cadence/CType/IntersectionType.swift

@@ -0,0 +1,24 @@
+//
+//  File.swift
+//  
+//
+//  Created by Shane Chi on 2024/9/30.
+//
+
+import Foundation
+
+public struct IntersectionType: Equatable, Codable {
+    public let typeId: String
+    public let types: [FType]
+
+    public init(typeId: String, types: [FType]) {
+        self.typeId = typeId
+        self.types = types
+    }
+
+    // MARK: Codable
+    enum CodingKeys: String, CodingKey {
+        case typeId = "typeID"
+        case types
+    }
+}

Sources/Cadence/FType.swift

@@ -75,6 +75,7 @@ public enum FType: Equatable {
     indirect case restriction(RestrictionType)
     indirect case capability(borrowType: FType)
     indirect case `enum`(EnumType)
+    indirect case intersection(IntersectionType)
 
     public var kind: FTypeKind {
         switch self {
@@ -212,6 +213,8 @@ public enum FType: Equatable {
             return .capability
         case .enum:
             return .enum
+        case .intersection:
+            return .intersection
         }
     }
 
@@ -263,6 +266,8 @@ public enum FType: Equatable {
             return "\(kind.rawValue)<\(borrowType.id)>"
         case let .enum(enumType):
             return enumType.typeId
+        case let .intersection(IntersectionType):
+            return IntersectionType.typeId
         }
     }
 }
@@ -468,6 +473,8 @@ extension FType: Codable {
             self = .enum(enumType)
             decoder.addTypeToDecodingResultsIfPossible(type: self, typeId: enumType.typeId)
             try enumType.decodePossibleRepeatedProperties(from: decoder)
+        case .intersection:
+            self = .intersection(try IntersectionType(from: decoder))
         }
     }
 

Sources/Cadence/FTypeKind.swift

@@ -75,4 +75,5 @@ public enum FTypeKind: String, Equatable, Codable {
     case restriction = "Restriction"
     case capability = "Capability"
     case `enum` = "Enum"
+    case intersection = "Intersection"
 }

Tests/CadenceTests/StaticTypeTests.swift

@@ -1394,6 +1394,26 @@ final class StaticTypeTests: XCTestCase {
         XCTAssertEqual(value.kind, .reference)
     }
 
+    func testDecodeIntersectionType() throws {
+        // Given:
+        let jsonData = """
+        {
+          "kind": "Intersection",
+          "typeID": "type-id",
+          "types": [{
+            "kind": "String"
+          }]
+        }
+        """.data(using: .utf8)!
+
+        // When:
+        let value = try decoder.decode(FType.self, from: jsonData)
+
+        // Then
+        XCTAssertEqual(value, .intersection(.init(typeId: "type-id", types: [.string])))
+        XCTAssertEqual(value.kind, .intersection)
+    }
+
     func testDecodeRestrictedType() throws {
         // Given:
         let jsonData = """