[hkt-toolbelt](../Home.md) / [Kind](../modules/Kind.md) / Kind # Class: Kind [Kind](../modules/Kind.md).Kind ## Type parameters | Name | Type | | :------ | :------ | | `F` | extends [`Function`](../modules/Function.md#function) = [`Function`](../modules/Function.md#function) | ## Hierarchy - **`Kind`** ↳ [`And`](../interfaces/Boolean.And.md) ↳ [`Nand`](../interfaces/Boolean.Nand.md) ↳ [`Not`](../interfaces/Boolean.Not.md) ↳ [`Or`](../interfaces/Boolean.Or.md) ↳ [`Nor`](../interfaces/Boolean.Nor.md) ↳ [`Xor`](../interfaces/Boolean.Xor.md) ↳ [`Xnor`](../interfaces/Boolean.Xnor.md) ↳ [`Imply`](../interfaces/Boolean.Imply.md) ↳ [`Nimply`](../interfaces/Boolean.Nimply.md) ↳ [`ApplySelf`](../interfaces/Combinator.ApplySelf.md) ↳ [`FixSequence_T`](../interfaces/Combinator.FixSequence_T.md) ↳ [`FixSequence`](../interfaces/Combinator.FixSequence.md) ↳ [`RecursiveKind`](../interfaces/Combinator.RecursiveKind.md) ↳ [`Self`](../interfaces/Combinator.Self.md) ↳ [`Equals`](../interfaces/Conditional.Equals.md) ↳ [`Extends`](../interfaces/Conditional.Extends.md) ↳ [`If_T3`](../interfaces/Conditional.If_T3.md) ↳ [`If_T2`](../interfaces/Conditional.If_T2.md) ↳ [`If_T1`](../interfaces/Conditional.If_T1.md) ↳ [`If`](../interfaces/Conditional.If.md) ↳ [`NotEquals`](../interfaces/Conditional.NotEquals.md) ↳ [`Add`](../interfaces/DigitList.Add.md) ↳ [`Compare`](../interfaces/DigitList.Compare.md) ↳ [`Decrement`](../interfaces/DigitList.Decrement.md) ↳ [`DivideBySubtraction`](../interfaces/DigitList.DivideBySubtraction.md) ↳ [`Divide`](../interfaces/DigitList.Divide.md) ↳ [`First`](../interfaces/DigitList.First.md) ↳ [`Increment`](../interfaces/DigitList.Increment.md) ↳ [`IsEven`](../interfaces/DigitList.IsEven.md) ↳ [`IsOdd`](../interfaces/DigitList.IsOdd.md) ↳ [`Last`](../interfaces/DigitList.Last.md) ↳ [`Modulo`](../interfaces/DigitList.Modulo.md) ↳ [`MultiplyDigit_T`](../interfaces/DigitList.MultiplyDigit_T.md) ↳ [`MultiplyDigit`](../interfaces/DigitList.MultiplyDigit.md) ↳ [`Multiply_T`](../interfaces/DigitList.Multiply_T.md) ↳ [`Multiply`](../interfaces/DigitList.Multiply.md) ↳ [`Pop`](../interfaces/DigitList.Pop.md) ↳ [`Shift`](../interfaces/DigitList.Shift.md) ↳ [`Subtract`](../interfaces/DigitList.Subtract.md) ↳ [`ToString`](../interfaces/DigitList.ToString.md) ↳ [`Trim`](../interfaces/DigitList.Trim.md) ↳ [`AddTens_T`](../interfaces/Digit.AddTens_T.md) ↳ [`AddTens`](../interfaces/Digit.AddTens.md) ↳ [`Add`](../interfaces/Digit.Add.md) ↳ [`Compare`](../interfaces/Digit.Compare.md) ↳ [`DecrementTens`](../interfaces/Digit.DecrementTens.md) ↳ [`Decrement`](../interfaces/Digit.Decrement.md) ↳ [`IncrementTens`](../interfaces/Digit.IncrementTens.md) ↳ [`Increment`](../interfaces/Digit.Increment.md) ↳ [`MultiplyTens`](../interfaces/Digit.MultiplyTens.md) ↳ [`Multiply`](../interfaces/Digit.Multiply.md) ↳ [`SubtractTens`](../interfaces/Digit.SubtractTens.md) ↳ [`Subtract`](../interfaces/Digit.Subtract.md) ↳ [`Constant`](../interfaces/Function.Constant.md) ↳ [`Identity`](../interfaces/Function.Identity.md) ↳ [`ReturnType`](../interfaces/Function.ReturnType.md) ↳ [`Apply`](../interfaces/Kind.Apply.md) ↳ [`ComposablePair`](../interfaces/Kind.ComposablePair.md) ↳ [`Composable`](../interfaces/Kind.Composable.md) ↳ [`Compose`](../interfaces/Kind.Compose.md) ↳ [`InputOf`](../interfaces/Kind.InputOf.md) ↳ [`OutputOf`](../interfaces/Kind.OutputOf.md) ↳ [`Pipe`](../interfaces/Kind.Pipe.md) ↳ [`Reify`](../interfaces/Kind.Reify.md) ↳ [`Every`](../interfaces/List.Every.md) ↳ [`Filter`](../interfaces/List.Filter.md) ↳ [`Find`](../interfaces/List.Find.md) ↳ [`First`](../interfaces/List.First.md) ↳ [`Includes`](../interfaces/List.Includes.md) ↳ [`IsVariadic`](../interfaces/List.IsVariadic.md) ↳ [`Last`](../interfaces/List.Last.md) ↳ [`Length`](../interfaces/List.Length.md) ↳ [`Map`](../interfaces/List.Map.md) ↳ [`Pair`](../interfaces/List.Pair.md) ↳ [`Pop`](../interfaces/List.Pop.md) ↳ [`Push`](../interfaces/List.Push.md) ↳ [`Reduce`](../interfaces/List.Reduce.md) ↳ [`Reverse`](../interfaces/List.Reverse.md) ↳ [`Shift`](../interfaces/List.Shift.md) ↳ [`Slice`](../interfaces/List.Slice.md) ↳ [`Some`](../interfaces/List.Some.md) ↳ [`Times`](../interfaces/List.Times.md) ↳ [`Unshift`](../interfaces/List.Unshift.md) ↳ [`Add`](../interfaces/NaturalNumber.Add.md) ↳ [`Compare`](../interfaces/NaturalNumber.Compare.md) ↳ [`Decrement`](../interfaces/NaturalNumber.Decrement.md) ↳ [`DivideBy`](../interfaces/NaturalNumber.DivideBy.md) ↳ [`Divide`](../interfaces/NaturalNumber.Divide.md) ↳ [`Increment`](../interfaces/NaturalNumber.Increment.md) ↳ [`IsEven`](../interfaces/NaturalNumber.IsEven.md) ↳ [`IsOdd`](../interfaces/NaturalNumber.IsOdd.md) ↳ [`Modulo`](../interfaces/NaturalNumber.Modulo.md) ↳ [`Multiply`](../interfaces/NaturalNumber.Multiply.md) ↳ [`Subtract`](../interfaces/NaturalNumber.Subtract.md) ↳ [`ToList`](../interfaces/NaturalNumber.ToList.md) ↳ [`FromString`](../interfaces/Number.FromString.md) ↳ [`IsFractional`](../interfaces/Number.IsFractional.md) ↳ [`IsInteger`](../interfaces/Number.IsInteger.md) ↳ [`IsNatural`](../interfaces/Number.IsNatural.md) ↳ [`Sign`](../interfaces/Number.Sign.md) ↳ [`ToString`](../interfaces/Number.ToString.md) ↳ [`AtPath`](../interfaces/Object.AtPath.md) ↳ [`At`](../interfaces/Object.At.md) ↳ [`DeepInputOf`](../interfaces/Object.DeepInputOf.md) ↳ [`DeepMapValues`](../interfaces/Object.DeepMapValues.md) ↳ [`Emplace`](../interfaces/Object.Emplace.md) ↳ [`Keys`](../interfaces/Object.Keys.md) ↳ [`MapKeys`](../interfaces/Object.MapKeys.md) ↳ [`MapValues`](../interfaces/Object.MapValues.md) ↳ [`Merge`](../interfaces/Object.Merge.md) ↳ [`Paths`](../interfaces/Object.Paths.md) ↳ [`Values`](../interfaces/Object.Values.md) ↳ [`Choice`](../interfaces/Parser.Choice.md) ↳ [`Many1`](../interfaces/Parser.Many1.md) ↳ [`Map`](../interfaces/Parser.Map.md) ↳ [`ObjectSequence`](../interfaces/Parser.ObjectSequence.md) ↳ [`Optional`](../interfaces/Parser.Optional.md) ↳ [`Parser`](../interfaces/Parser.Parser.md) ↳ [`Run`](../interfaces/Parser.Run.md) ↳ [`Sequence`](../interfaces/Parser.Sequence.md) ↳ [`String`](../interfaces/Parser.String.md) ↳ [`TakeSequence`](../interfaces/Parser.TakeSequence.md) ↳ [`Append`](../interfaces/String.Append.md) ↳ [`EndsWith`](../interfaces/String.EndsWith.md) ↳ [`First`](../interfaces/String.First.md) ↳ [`FromList`](../interfaces/String.FromList.md) ↳ [`Includes`](../interfaces/String.Includes.md) ↳ [`Init`](../interfaces/String.Init.md) ↳ [`IsString`](../interfaces/String.IsString.md) ↳ [`IsTemplate`](../interfaces/String.IsTemplate.md) ↳ [`Join`](../interfaces/String.Join.md) ↳ [`Last`](../interfaces/String.Last.md) ↳ [`Length`](../interfaces/String.Length.md) ↳ [`Prepend`](../interfaces/String.Prepend.md) ↳ [`Replace`](../interfaces/String.Replace.md) ↳ [`Reverse`](../interfaces/String.Reverse.md) ↳ [`Slice`](../interfaces/String.Slice.md) ↳ [`Split`](../interfaces/String.Split.md) ↳ [`StartsWith`](../interfaces/String.StartsWith.md) ↳ [`Tail`](../interfaces/String.Tail.md) ↳ [`ToList`](../interfaces/String.ToList.md) ↳ [`ToLower`](../interfaces/String.ToLower.md) ↳ [`ToUpper`](../interfaces/String.ToUpper.md) ↳ [`Cast`](../interfaces/Type.Cast.md) ↳ [`Display`](../interfaces/Type.Display.md) ↳ [`Infer`](../interfaces/Type.Infer.md) ↳ [`IsNever`](../interfaces/Type.IsNever.md) ↳ [`ValueOf`](../interfaces/Type.ValueOf.md) ↳ [`Length`](../interfaces/Union.Length.md) ↳ [`ToIntersection`](../interfaces/Union.ToIntersection.md) ↳ [`ToList`](../interfaces/Union.ToList.md) ## Constructors ### constructor • **new Kind**<`F`\>() #### Type parameters | Name | Type | | :------ | :------ | | `F` | extends [`Function`](../modules/Function.md#function) = [`Function`](../modules/Function.md#function) | ## Properties ### [\_] • `Readonly` `Abstract` **[\_]**: `unknown` #### Defined in [kind/kind.ts:10](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/kind/kind.ts#L10) ___ ### f • **f**: `F` #### Defined in [kind/kind.ts:11](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/kind/kind.ts#L11)