rivo/index.d.ts

🤖 The ultimate library you need for composable type-level programming in TypeScript, powered by HKT.

export type * from "./HKT";

export type {
  Assert,
  AssertBool,
  AssertInt,
  AssertNat,
  AssertNum,
  AssertObj,
  AssertOrdering,
  AssertStr,
  AssertUnknown,
  Broaden,
  Cast,
  Lazied,
  Lazied$Get,
} from "./helpers";
export type { As, AsUnsafe, Ask, Eq } from "./helpers-fn";

export type * from "./Converge";
export type * from "./Decide";
export type * from "./IfElse";

export type * from "./Ary";
export type * from "./BInt";
export type * from "./Bool";
export type * from "./Error";
export type * from "./List";
export type * from "./Null";
export type * from "./Num";
export type * from "./Obj";
export type * from "./Option";
export type * from "./Result";
export type * from "./Str";
export type * from "./Tuple";
export type * from "./Undef";
export type * from "./Union";

export type {
  Applicative,
  ApplicativeL,
  EQ,
  Functor,
  FunctorL,
  GT,
  LT,
  Monad,
  MonadL,
  Monoid,
  MonoidL,
  Ord,
  OrdL,
  Ordering,
  Semigroup,
  SemigroupL,
  Show,
  ShowL,
} from "./typeclass";