feat(types): Child

Signed-off-by: Lexus Drumgold <[email protected]>

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'