UNPKG

@typed/io

Version:

Runtime IO type system

10 lines 463 B
import { Either } from '@typed/either'; import { Any, Type } from './Type'; export interface EitherType<A extends Type, B extends Type> extends Type<Either<Type.Of<A>, Type.Of<B>>> { readonly left: A; readonly right: B; } export declare const either: <A extends Type<any, any>, B extends Type<any, any>>(left: A, right: B) => EitherType<A, B>; declare const _Either: EitherType<Any, Any>; export { _Either as Either }; //# sourceMappingURL=Either.d.ts.map