Revision 0.32.0

src/type/exclude/exclude.ts

@@ -42,17 +42,17 @@ import { TTemplateLiteral as IsTemplateLiteralType, TUnion as IsUnionType } from
 // ExcludeResolve
 // ------------------------------------------------------------------
 // prettier-ignore
-export type ExcludeTemplateLiteralResult<T extends string> = UnionResolve<AssertRest<UnionToTuple<{ [K in T]: TLiteral<K> }[T]>>>
+type ExcludeTemplateLiteralResult<T extends string> = UnionResolve<AssertRest<UnionToTuple<{ [K in T]: TLiteral<K> }[T]>>>
 // prettier-ignore
-export type ExcludeTemplateLiteral<T extends TTemplateLiteral, U extends TSchema> = (
+type ExcludeTemplateLiteral<T extends TTemplateLiteral, U extends TSchema> = (
   Exclude<Static<T>, Static<U>> extends infer S ? ExcludeTemplateLiteralResult<Assert<S, string>> : never
 )
 // prettier-ignore
-export type ExcludeArray<T extends TSchema[], U extends TSchema> = AssertRest<UnionToTuple<{
+type ExcludeArray<T extends TSchema[], U extends TSchema> = AssertRest<UnionToTuple<{
   [K in keyof T]: Static<AssertType<T[K]>> extends Static<U> ? never : T[K]
 }[number]>> extends infer R extends TSchema[] ? UnionResolve<R> : never
 // prettier-ignore
-export type ExcludeResolve<T extends TSchema, U extends TSchema> =
+type ExcludeResolve<T extends TSchema, U extends TSchema> =
   T extends TTemplateLiteral ? ExcludeTemplateLiteral<T, U> :
   T extends TUnion<infer S> ? ExcludeArray<S, U> :
   T extends U 

src/value/transform/decode.ts

@@ -199,7 +199,11 @@ function Visit(schema: TSchema, references: TSchema[], value: any): any {
       return Default(schema_, value)
   }
 }
-// prettier-ignore
+/**
+ * `[Internal]` Decodes the value and returns the result. This function requires that
+ * the caller `Check` the value before use. Passing unchecked values may result in
+ * undefined behavior. Refer to the `Value.Decode()` for implementation details.
+ */
 export function Decode(schema: TSchema, references: TSchema[], value: unknown): unknown {
   return Visit(schema, references, value)
 }

src/value/transform/encode.ts

@@ -205,7 +205,12 @@ function Visit(schema: TSchema, references: TSchema[], value: any): any {
       return Default(schema_, value)
   }
 }
-// prettier-ignore
+/**
+ * `[Internal]` Encodes the value and returns the result. This function expects the
+ * caller to pass a statically checked value. This function does not check the encoded
+ * result, meaning the result should be passed to `Check` before use. Refer to the
+ * `Value.Encode()` function for implementation details.
+ */
 export function Encode(schema: TSchema, references: TSchema[], value: unknown): unknown {
   return Visit(schema, references, value)
 }