Skip to main content
Module

x/fun/newtype.ts>ToValue

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
baetheus/fun
Latest
type alias ToValue
import { type ToValue } from "https://deno.land/x/fun@v2.0.0/newtype.ts";

Extracts the inner type value from a Newtype.

Examples

Example 1

import type { Newtype, ToValue } from "./newtype.ts";

type Integer = Newtype<'Integer', number>;

type InnerInteger = ToValue<Integer>; // number

Type Parameters

T extends Newtype<unknown, unknown>
definition: T[Value]