import { type Optic } from "https://deno.land/x/fun@v2.0.0-alpha.12/optics.ts";
An Optic<T, S, A> is defined as a Viewer<T, S, A> combined with a Modifier<S, A>. This is the root type for the specific types of Optics defined below.
Module
A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
benchmarksexamplesscriptsapplicablearrayasyncasync_eitherasync_iterablebimappablebooleancombinablecomparablecomposableconstdecodereitherfailablefilterableflatmappablefnfn_eitherfreeidentityinitializableiterablejson_schemamapmappablenewtypenilablenumberopticsoptionpairpredicatepremappablepromisereduciblerefinementschemablesetshowablesortablestatestringsyncsync_eitherthesetraversabletreewrappableKindArrayAnyArrayAnyNonEmptyArrayNonEmptyArrayTypeOfApplicableArrayFilterableArrayFlatmappableArrayMappableArrayReducibleArrayTraversableArrayWrappableArray_unsafeAppend_unsafeDeleteAt_unsafeInsertAt_unsafeJoin_unsafePrepend_unsafePush_unsafeUpdateAtaltappendapplyarraybinarySearchcombinedeleteAtfilterfilterMapflatmapgetComparableArraygetInitializableArraygetShowableArraygetSortableArrayinitinsertinsertAtisEmptyisNonEmptyisOutOfBoundsjoinlookupmapmodifymodifyAtorderedInsertpartitionpartitionMapprependrangereducesequencesorttraverseupdateupdateAtwrapzipKindAsyncEitherAsyncEitherBimappableAsyncEitherFlatmappableAsyncEitherParallelFlatmappableAsyncEitherSequentialaltapplyapplySequentialfailflatmapflatmapFirstfromAsyncfromEitherleftmapmapSecondmatchrecoverrighttryCatchwrapKindAsyncIterableFilterableAsyncIterableFlatmappableAsyncIterableapplyasyncIterableclonecollectdelayfilterfilterMapflatmapforEachfromIterablemappartitionpartitionMaprangereducerepeatscantaketakeUntiltakeWhiletapwrapKindAsyncAsyncApplicableAsyncFlatmappableAsyncMappableAsyncWrappableAsyncapplyapplySequentialdelayflatmapfromSyncmaptryCatchwrapComparableBooleanconstFalseconstTrueInitializableBooleanAllInitializableBooleanAnyShowableBooleanSortableBooleanandcompareisBooleanmatchnotorsortCombinableAnyCombinableCombineTypeOfconstantdualfirstfromCombinegetCombineAllintercalcatelastmaxminstructtupleComparableKindComparableKindContraComparableCompareTypeOfbooleannumberPremappableComparableSchemableComparablestringunknownarrayfromCompareintersectlazyliteralmethodnullablepartialpremapreadonlyrecordstructthunktupleundefinableunionKindConstKindRightConstConstBimappableConstgetApplicablegetComparableConstgetInitializableConstgetShowablegetSortableMappableConstPremappableConstbimapmakemapmapSecondpremapKindDatumDatumInitialLoadingNonePendingRefreshRepleteSomeFlatmappableDatuminitialpendingTraversableDatumaltapplyconstInitialconstPendingflatmapfromNullablegetComparableDatumgetInitializableDatumgetOrElsegetShowableDatumgetSortableDatumisInitialisLoadingisNoneisPendingisRefreshisRepleteisSomemapmatchreducerefreshrepletetoLoadingtraversetryCatchwrapKindDecodedKindDecoderKindUnknownDecoderAnyDecoderDecodedDecodeErrorDecoderIndexIntersectionKeyLeafManyPropertyUnionWrap_null_undefinedApplicableDecoderbooleanCombinableDecodeErrorFlatmappableDecodedFlatmappableDecoderMappableDecodernumberoptionalrequiredSchemableDecoderstringunknownaltannotateapplyarrayarrayNcombinecomposedatedimapdrawfailureflatmapfromDecodeErrorfromPredicateidindexErrinitintersectintersectionErrisIndexisIntersectionisKeyisLeafisManyisUnionisWrapjsonkeyErrlazyleafErrliteralmanyErrmapmatchnullablepartialpremaprecordrefinestructsuccesstupleundefinableunionunionErrunwrapwrapwrapErrKindEitherKindRightEitherEitherLeftRightApplicableEitherBimappableEitherFailableEitherFlatmappableEitherMappableEitherReducibleEitherTraversableEitherWrappableEitheraltapplybimapfailflatmapflatmapFirstfromNullablefromPredicategetComparablegetLeftgetLeftInitializablegetOrElsegetRightgetRightFlatmappablegetRightInitializablegetShowablegetSortableisLeftisRightleftmapmapSecondmatchrecoverreducerightstringifyJSONswaptraversetryCatchtryCatchWrapwrapKindFnEitherKindRightFnEitherAnyFnEitherFnEitherBimappableFnEitherFlatmappableFnEitherPremappableFnEitheraltapplybimapcomposedimapflatmapfromEitherfromFnfromPredicategetRightFlatmappableididLeftjoinleftmapmapSecondpremaprecoverrighttryCatchwrapKindFnAnyFnFnApplicableFnFlatmappableFnMappableFnPremappableFnapplycomposeconstantcurry2dimapflatmapflowhandleThrowididentitymapmemoizeoverpipepremaptodotryThunkunaryuncurry2unsafeCoercewrapKindFreeFreeLinkNodeapplycombineflatmapgetCombinableisLinkisNodelinkmapmatchnodereducewrapInitializableAnyInitializableTypeOfconstantdualgetCombineAllintercalcatestructtupleKindIterableFlatmappableIterableapplyclonecollectfilterfilterMapflatmapforEachiterablemappartitionpartitionMaprangereducerepeatscantaketakeUntiltakeWhiletapwrapKindJsonBuilderJsonBuilderJsonSchemaJsonSchemaAllOfJsonSchemaAnyOfJsonSchemaArrayJsonSchemaBooleanJsonSchemaDateJsonSchemaDefinitionsJsonSchemaEnumJsonSchemaNullJsonSchemaNumberJsonSchemaObjectJsonSchemaOneOfJsonSchemaRefJsonSchemaStringJsonSchemaUnknownTypeOfapplyflatmapFlatmappableJsonBuildermapSchemableJsonBuildersequenceArraysequenceRecordwraparraybooleandateintersectlazyliteralnullablenumberpartialprintrecordstringstructtupleundefinableunionunknownKindReadonlyMapBimappableMapMappableMapReducibleMapbimapcollectdeleteAtelementriesgetCombinablegetComparablegetShowableinitinsertinsertAtisEmptyisSubmapkeyslookuplookupWithKeymapmapSecondmembermodifymodifyAtpopreadonlyMapreducesingletonsizeupdateupdateAtvaluesAnyNewtypeNewtypeToValuegetCombinablegetComparablegetInitializablegetSortableisoprismKindNilableNilNilableFlatmappableNilablenilaltapplyconstNilfailflatmapfromPredicategetOrElsegetShowableisNilisNotNilmakemapmatchtoNulltoUndefinedtryCatchwrapComparableNumberInitializableNumberMaxInitializableNumberMinInitializableNumberProductInitializableNumberSumShowableNumberSortableNumberaddcomparedividesinitNegInfinitOneinitPosInfinitZeroltemodmultiplysortModifierOpticReviewerViewerAffineFoldAffineTagFoldFoldTagIsoLensLensTagPrismRefoldTagarrayfirstleftnilablerecordrightsecondsetsometree_unsafeCastaffineFoldapplyatKeyatMapcombineAllcomposecomposeReviewerfilterfoldfromPredicateidimapindexisokeylensmapmodifiermodifyopticprismproppropsrefoldreplacereviewreviewertraverseviewviewerwrapKindOptionNoneOptionSomeApplicableOptionFilterableOptionFlatmappableOptionMappableOptionnoneReducibleOptionTraversableOptionWrappableOptionaltapplyconstNoneexistsfailfilterfilterMapflatmapfromNullablefromPredicategetComparablegetInitializablegetOrElsegetShowablegetSortableinitisNoneisSomemapmapNullablematchpartitionpartitionMapreducesometoNulltoUndefinedtraversetryCatchwrapKindPairKindRightPairPairBimappablePairMappablePairReduciblePairTraversablePairbimapdupfirstgetFirstgetRightFlatmappablegetSecondgetShowablemapmapSecondmergemergeSecondpairreducesecondswaptraverseunwrapKindPredicatePredicatePremappablePredicateandgetInitializableAllgetInitializableAnynotorpremapKindPromiseAnyPromiseDeferredTypeOfApplicablePromiseFlatmappablePromiseMappablePromiseabortableallapplycatchErrordeferreddelayflatmapmapracerejectresolvethentryCatchwaitwrapKindReadonlyRecordAnyReadonlyRecordNonEmptyRecordReadonlyRecordTypeOfFilterableRecordMappableRecordReducibleRecordTraversableRecordcollapsecollectdeleteAtdeleteAtWithValueentriesfilterfilterMapgetShowableinsertinsertAtisSubrecordkeyslookupAtlookupWithKeymapmodifymodifyAtomitpartitionpartitionMappickreducesequencetraverseupdateupdateAtKindRefinementKindUnknownRefinementAnyRefinementRefinementToInToOutSchemableRefinementandarraybooleancomposefromEitherfromOptionidintersectisArrayisArrayNisRecordlazyliteralnullablenumberorpartialrecordstringstructtupleundefinableunionunknownArraySchemableBooleanSchemableIntersectSchemableLazySchemableLiteralSchemableNullableSchemableNumberSchemablePartialSchemableRecordSchemableSchemableStringSchemableStructSchemableTupleSchemableUndefinableSchemableUnionSchemableUnknownSchemableLiteralSchemaTypeOfschemaKindReadonlySetTypeOfApplicableSetFilterableSetFlatmappableSetMappableSetReducibleSetTraversableSetapplycompactcopyelemelemOfeveryfilterfilterMapflatmapgetComparablegetShowablegetUnionCombinableinitintersectionisSubsetjoinmappartitionpartitionMapreducesetsometraverseunionwrapKindSortableSortableOrderingSortPremappableSortablebetweenclampfromCurriedSortfromSortgtgteltltemaxminpremapreversesignstructtrivialtupleKindStateStateFlatmappableStateapplyevaluateexecuteflatmapgetsidmapmodifyputstatewrapComparableStringInitializableStringShowableStringSortableStringcombinecompareendsWithincludesinitisEmptyisStringlengthmatchpluralreplaceslicesortsplitstartsWithtesttoLowerCasetoUpperCasetrimtrimEndtrimStartKindSyncEitherSyncEitherApplicableSyncEitherBimappableSyncEitherFailableSyncEitherFlatmappableSyncEitherMappableSyncEitherReducibleSyncEitheraltapplyfailflatmapfromEitherfromSyncleftmapmapSecondrecoverreducerighttryCatchwrapKindSyncSyncApplicableSyncFlatmappableSyncMappableSyncReducibleSyncTraversableSyncWrappableSyncapplyflatmapmapreducetraversewrapKindRightTheseKindTheseBothLeftRightTheseBimappableTheseMappableTheseReducibleTheseTraversableThesebothfailgetCombinablegetRightFlatmappablegetShowableisBothisLeftisRightleftmapmapSecondmatchreducerighttraversewrap
mod.ts (default module)
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
N
array.ts
I
T
T
T
T
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
async_either.ts
I
T
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
async_iterable.ts
I
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
async.ts
I
T
v
v
v
v
f
f
f
f
f
f
f
f
boolean.ts
v
v
v
v
v
v
v
f
f
f
f
f
f
f
combinable.ts
I
T
T
T
f
f
f
f
f
f
f
f
f
f
f
comparable.ts
I
I
I
T
T
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
const.ts
I
I
T
v
v
v
v
v
v
v
v
f
f
f
f
f
datum.ts
I
T
T
T
T
T
T
T
T
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
decoder.ts
I
I
I
T
T
T
T
T
T
T
T
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
either.ts
I
I
T
T
T
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
fn_either.ts
I
I
T
T
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
fn.ts
I
T
T
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
free.ts
I
T
T
T
f
f
f
f
f
f
f
f
f
f
f
f
initializable.ts
I
T
T
f
f
f
f
f
f
iterable.ts
I
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
json_schema.ts
I
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
map.ts
I
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
newtype.ts
T
T
T
f
f
f
f
f
f
nilable.ts
I
T
T
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
number.ts
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
optics.ts
I
I
I
I
T
T
v
T
T
v
T
T
T
v
T
T
T
v
v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
option.ts
I
T
T
T
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
pair.ts
I
I
T
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
predicate.ts
I
T
v
f
f
f
f
f
f
promise.ts
I
T
T
T
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
record.ts
I
T
T
T
T
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
refinement.ts
I
I
T
T
T
T
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
schemable.ts
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
T
T
T
f
set.ts
I
T
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
sortable.ts
I
I
T
T
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
state.ts
I
T
v
f
f
f
f
f
f
f
f
f
f
f
string.ts
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
sync_either.ts
I
T
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
sync.ts
I
T
v
v
v
v
v
v
f
f
f
f
f
f
these.ts
I
I
T
T
T
T
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f