import { type TypeOf } from "https://deno.land/x/hkts@v0.0.52/hkt.ts";
Extraction Types
Extract the type at a specific index of a Kind type
examplesopticsschemabletestingAffectURIURIS[UNSUPPORTED]ApplicativeApplyaskaskLeftasksasksLeftBifunctorChaincomposeFunctorleftmakeMonadMonadThrowrecoverrightsequenceStructsequenceTuplethenTypeOfURI_append_chain_concat_filter_flatten_isOutOfBounds_map_reduce_unsafeDeleteAt_unsafeInsertAt_unsafePush_unsafeUpdateAt[UNSUPPORTED]AltApplicativeApplyChaindeleteAtemptyFilterableFoldableFunctorgetMonoidgetOrdgetSemigroupgetSetoidgetShowIndexedFoldableIndexedTraversableinsertAtlookupMonadTraversableupdateAtzeroConstURIBifunctorContravariantFunctorgetApplicativegetApplygetMonoidgetOrdgetSemigroupgetSetoidgetShowmakeDatumInitialLoadingNonePendingRefreshRepleteSomeURI[UNSUPPORTED]AlternativeApplicativeApplyChainconstInitialconstPendingfoldFoldablefromNullableFunctorgetMonoidgetOrdgetOrElsegetSemigroupgetSetoidgetShowinitialisInitialisLoadingisNoneisPendingisRefreshisRepleteisSomeMonadpendingrefreshrepletetoLoadingTraversabletryCatchEitherLeftRightURI[UNSUPPORTED]AltApplicativeApplyBifunctorChainchainLeftExtendfoldFoldablefromNullablefromPredicateFunctorgetLeftgetLeftSemigroupgetOrdgetOrElsegetRightgetRightMonadgetRightMonoidgetRightSemigroupgetSetoidgetShowisLeftisRightleftMonadMonadThrowrightsequenceStructsequenceTuplestringifyJSONswapTraversabletryCatchtryCatchWrapwidenPipeFn_applyapply1callcomposeconstantflowhasOwnPropertyidentityintersectisNilisNotNilisRecordmemoizepipetypeOfwaitabsurdIOURI[UNSUPPORTED]ApplicativeApplyChainExtendsFoldableFunctorgetMonoidgetSemigroupMonadsequenceStructsequenceTupleTraversableIOEitherURI[UNSUPPORTED]AltApplicativeApplyBifunctorChainchainLeftExtendsFoldablefromEitherFunctorleftMonadMonadThrowrightsequenceStructsequenceTupletryCatchwidenURIBifunctorcollectdeleteAtelememptyFunctorgetMonoidgetSetoidgetShowinsertAtisEmptyisSubmapkeyslookuplookupWithKeymembermodifyAtpopsingletonsizeupdateAtvalueszerofoldgetDualMonoidgetStructMonoidgetTupleMonoidmonoidAllmonoidAnymonoidProductmonoidStringmonoidSummonoidVoidNilNilableURI[UNSUPPORTED]ApplicativeApplyChainconstNilfoldfromPredicateFunctorgetOrElsegetShowisNilisNotNilmakeMonadnilsequenceStructsequenceTupletoNulltoUndefinedtryCatchNoneOptionSomeURI[UNSUPPORTED]AltAlternativeApplicativeApplyChainconstNoneexistsExtendsFilterablefoldFoldablefromNullablefromPredicateFunctorgetMonoidgetOrdgetOrElsegetSemigroupgetSetoidgetShowisNoneisSomemapNullableMonadMonadThrownonePlussequenceStructsequenceTuplesometoNulltoUndefinedTraversabletryCatchCompareOrderingbetweenclampcompareeqgetOrdUtilitiesgtgteltltemaxminordBooleanordNumberordStringReaderEitherURI[UNSUPPORTED]AltApplicativeApplyaskasksBifunctorChainchainLeftcomposefromEitherFunctorleftMonadMonadThrowrighttryCatchwidenReadonlyRecordURI_assign_map_reduce[UNSUPPORTED]deleteAtFoldableFunctorgetShowIndexedFoldableIndexedFunctorIndexedTraversableinsertAtkeysomitpickTraversablezipFirstConcatFreeOffoldgetDualSemigroupgetFirstSemigroupgetFreeSemigroupgetJoinSemigroupgetLastSemigroupgetMeetSemigroupgetStructSemigroupgetTupleSemigroupsemigroupAllsemigroupAnysemigroupProductsemigroupStringsemigroupSumsemigroupVoidURI[UNSUPPORTED]ApplycompactelemelemOfemptyeveryFilterableFoldableFunctorgetSetoidgetShowgetUnionMonoidintersectionisSubsetjoinmakesomeTraversableunionzerofromEqualsgetStructSetoidgetTupleSetoidsetoidBooleansetoidDatesetoidNumbersetoidStrictsetoidStringStateURI[UNSUPPORTED]ApplicativeApplyChainevaluateexecuteFunctorgetgetsmakemodifyMonadputTaskURI[UNSUPPORTED]ApplicativeApplyApplySeqChaindelayfromThunkFunctormakeMonadMonadSeqtryCatchTaskEitherURI[UNSUPPORTED]AltApplicativeApplicativeSeqApplyApplySeqBifunctorChainchainLeftChainSeqfromEitherfromFailableTaskFunctorleftMonadMonadSeqMonadThrowMonadThrowSeqrightthentryCatchwidenBothLeftRightTheseURI[UNSUPPORTED]BifunctorbothfoldFoldableFunctorgetSemigroupgetShowisBothisLeftisRightleftrightTraversableForestTreeURI[UNSUPPORTED]ApplicativeApplyChaindrawForestdrawTreefoldFunctorgetShowmakeMonadTraversable
affect.ts
T
T
v
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
array.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
const.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
datum.ts
T
T
T
T
T
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
either.ts
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
fns.ts
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
io.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
io_either.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
map.ts
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
monoid.ts
v
v
v
v
v
v
v
v
v
v
nilable.ts
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
option.ts
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
ord.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
reader_either.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
record.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
semigroup.ts
T
T
v
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
set.ts
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
setoid.ts
v
v
v
v
v
v
v
v
state.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
task.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
task_either.ts
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
these.ts
T
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
tree.ts
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v