Skip to main content
Deno 2 is finally here 🎉️
Learn more
->
Dismiss
Products
Open Source
Deno
Modern runtime for JavaScript and TypeScript
Fresh
Web framework designed for the edge
JSR
TypeScript-first ESM package registry
Commercial
Deno for Enterprise
Enterprise support for runtime projects
Deploy
Easy serverless hosting for your JavaScript projects
Subhosting
Securely run untrusted code in a scalable sandbox
Docs
Modules
Standard Library
JSR
Node.js & npm
Current path
deno.land/x
Community
Discord
GitHub
X
YouTube
Mastodon
Blog
Search…
⌘K
Module
x
/
fun
/
examples
/
flow.ts
A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
baetheus/fun
Version
Latest
v2.0.0
v2.0.0-alpha.15
v2.0.0-alpha.14
v2.0.0-alpha.13
v2.0.0-alpha.12
v.2.0.0-alpha.11
v2.0.0-alpha.10
v2.0.0-alpha.9
v2.0.0-alpha.8
v2.0.0-alpha.7
v2.0.0-alpha.6
v2.0.0-alpha.5
v2.0.0-alpha.4
v2.0.0-alpha.3
v2.0.0-alpha.2
v2.0.0-alpha.1
v2.0.0-alpha.0
v1.0.0
v0.0.0
Menu
arrow.ts
T
Arrow
T
LiftFn
async_clone.ts
async_either.ts
comparable.ts
fetch_archives.ts
flow.ts
freer.ts
I
Kind
I
KindOption
I
KindState
T
$
T
FOption
T
Freer
T
FState
T
Impure
T
None
T
Option
T
Pure
T
Some
T
State
T
Substitute
T
Substitutions
f
ap
f
chain
f
eta
f
fget
f
fnone
f
fput
f
fsome
f
get
f
impure
f
isPure
f
join
f
logOption
f
map
f
none
f
of
f
pure
f
put
f
runOption
f
runState
f
some
fx.ts
I
Fx
T
Async
T
Dispose
T
Effect
T
Fiber
T
Task
v
async
v
dispose
v
fork
v
fx
v
handle
v
of
v
promise
v
run
f
effect
hkts.ts
I
_
I
Fix
T
_0
T
_1
T
_2
T
_3
T
_4
T
_5
T
_6
T
_7
T
_8
T
_9
T
$
T
v
Applicative
T
ApplicativeFn
T
Apply
T
ApplyFn
T
Either
T
Functor
T
FunctorFn
T
Left
T
None
T
Option
T
Primitives
T
Right
T
Semigroup
T
SemigroupFn
T
Some
T
v
Traversable
T
TraversableFn
v
ap
v
ApplicativeEither
v
ApplicativePromise
v
left
v
map
v
mapEither
v
mapEitherT1
v
mapEitherT2
v
none
v
right
v
SemigroupNumber
v
some
v
traverse
v
traverseEither
v
traverseOption
v
traversePromise
lazy.ts
I
KindLazyFn
T
LazyFn
v
CategoryLazyFn
v
MonadLazyFn
v
sequenceTuple
f
ap
f
chain
f
compose
f
contramap
f
execute
f
id
f
join
f
map
f
of
natural.ts
I
Nat
v
NatEitherOption
v
NatIdentityEither
v
NatIdentityOption
v
NatOptionEither
f
getIdentityNat
observable.ts
optic.ts
play.ts
tagged_error.ts
traverse.ts
This module does not provide any exports.