Conditional

hkt-toolbelt / Conditional

Namespace: Conditional

Interfaces

• Equals
• Extends
• If
• If_T1
• If_T2
• If_T3
• NotEquals

Type Aliases

_$equals

Ƭ _$equals<T, U>: [T, U] extends [U, T] ? true : false

Type parameters

Name
T
U

Defined in

conditional/equals.ts:3

---

_$extends

Ƭ _$extends<T, X>: X extends unknown ? X : never extends T ? true : false

Type parameters

Name
T
X

Defined in

conditional/extends.ts:3

---

_$if

Ƭ _$if<Predicate, Then, Else, X>: $<Predicate, X> extends true ? $<Then, _$cast<X, _$inputOf<Then>>> : $<Else, _$cast<X, _$inputOf<Else>>>

Type parameters

Name	Type
Predicate	extends Kind<(x: never) => boolean>
Then	extends Kind
Else	extends Kind
X	extends _$inputOf<Predicate>

Defined in

conditional/if.ts:3

---

_$notEquals

Ƭ _$notEquals<T, U>: [T, U] extends [U, T] ? false : true

Type parameters

Name
T
U

Defined in

conditional/not-equals.ts:3