import { type Monad } from "https://deno.land/x/hkts@v0.0.52/type_classes.ts";
Monad https://github.com/fantasyland/static-land/blob/master/docs/spec.md#monad
Here we extend Monad with a join function. Other names for join are flatten or flat.
Module
Functional programming tools: option, either, task, state, optics, etc.
Latest
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