feat(types): Child

Signed-off-by: Lexus Drumgold <unicornware@flexdevelopment.llc>

src/index.ts

@@ -6,3 +6,4 @@
 export * from './enums'
 export * from './interfaces'
 export * from './nodes'
+export * from './types'

src/nodes/parent.ts

@@ -4,12 +4,9 @@
  */
 
 import type { Type } from '#src/enums'
+import type { Child } from '#src/types'
 import type unist from 'unist'
-import type Comment from './comment'
-import type ImplicitDescription from './implicit-description'
 import type Node from './node'
-import type BlockTag from './tag-block'
-import type InlineTag from './tag-inline'
 
 /**
  * **Parent** ([**UnistParent**][1]) represents an abstract interface in docast
@@ -18,25 +15,21 @@ import type InlineTag from './tag-inline'
  * [1]: https://github.com/syntax-tree/unist#parent
  * [2]: https://github.com/syntax-tree/unist#child
  *
- * @template Child - Child node type
+ * @template ChildNode - Child node type
  * @template Data - Information from the ecosystem
  *
  * @extends {Node<Data>}
  */
 interface Parent<
-  Child extends BlockTag | Comment | ImplicitDescription | InlineTag =
-    | BlockTag
-    | Comment
-    | ImplicitDescription
-    | InlineTag,
+  ChildNode extends Child = Child,
   Data extends unist.Data = unist.Data
 > extends Node<Data> {
   /**
    * List representing [*children*][1].
    *
    * [1]: https://github.com/syntax-tree/unist#child
    */
-  children: Child[]
+  children: ChildNode[]
 
   /**
    * Node variant.

src/types/__tests__/child.spec-d.ts

@@ -0,0 +1,30 @@
+/**
+ * @file Type Tests - Child
+ * @module docast/types/tests/unit-d/Child
+ */
+
+import type {
+  BlockTag,
+  Comment,
+  ImplicitDescription,
+  InlineTag
+} from '#src/nodes'
+import type TestSubject from '../child'
+
+describe('unit-d:types/Child', () => {
+  it('should extract BlockTag', () => {
+    expectTypeOf<TestSubject>().extract<BlockTag>().not.toBeNever()
+  })
+
+  it('should extract Comment', () => {
+    expectTypeOf<TestSubject>().extract<Comment>().not.toBeNever()
+  })
+
+  it('should extract ImplicitDescription', () => {
+    expectTypeOf<TestSubject>().extract<ImplicitDescription>().not.toBeNever()
+  })
+
+  it('should extract InlineTag', () => {
+    expectTypeOf<TestSubject>().extract<InlineTag>().not.toBeNever()
+  })
+})

src/types/child.ts

@@ -0,0 +1,20 @@
+/**
+ * @file Type Definitions - Child
+ * @module docast/types/Child
+ */
+
+import type {
+  BlockTag,
+  Comment,
+  ImplicitDescription,
+  InlineTag
+} from '#src/nodes'
+
+/**
+ * [*Child*][1] node types.
+ *
+ * [1]: https://github.com/syntax-tree/unist#child
+ */
+type Child = BlockTag | Comment | ImplicitDescription | InlineTag
+
+export type { Child as default }

src/types/index.ts

@@ -0,0 +1,6 @@
+/**
+ * @file Entry Point - Type Definitions
+ * @module docast/types
+ */
+
+export type { default as Child } from './child'