LanguageExt.Rx 5.0.0-beta-17

This is a prerelease version of LanguageExt.Rx.
There is a newer prerelease version of this package available.
See the version list below for details.
dotnet add package LanguageExt.Rx --version 5.0.0-beta-17                
NuGet\Install-Package LanguageExt.Rx -Version 5.0.0-beta-17                
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="LanguageExt.Rx" Version="5.0.0-beta-17" />                
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add LanguageExt.Rx --version 5.0.0-beta-17                
#r "nuget: LanguageExt.Rx, 5.0.0-beta-17"                
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
// Install LanguageExt.Rx as a Cake Addin
#addin nuget:?package=LanguageExt.Rx&version=5.0.0-beta-17&prerelease

// Install LanguageExt.Rx as a Cake Tool
#tool nuget:?package=LanguageExt.Rx&version=5.0.0-beta-17&prerelease                

LanguageExt.Rx

LanguageExt.Rx are the 'Reactive Extensions' extensions for the language-ext functional programming framework.

The framework uses and abuses the features of C# to provide a pure functional-programming 'Base Class Library' that, if you squint, can look like extensions to the language itself. The desire here is to make programming in C# much more robust by helping the engineer's inertia flow in the direction of declarative and pure functional code rather than imperative.

Using these techniques for large code-bases can bring tangible benefits to long-term maintenance by removing hidden complexity and by easing the engineer's cognitive load.

Features

Functional effects and IO

Location Feature Description
Core IO<A> A synchronous and asynchronous side-effect: an IO monad
Core Eff<A> A synchronous and asynchronous side-effect with error handling
Core Eff<RT, A> Same as Eff<A> but with an injectable runtime for dependency-injection: a unit testable IO monad
Core Pipes A clean and powerful stream processing system that lets you build and connect reusable streaming components
Core StreamT less powerful (than Pipes), but easier to use streaming effects transformer

Atomic concurrency and collections

Location Feature Description
Core Atom<A> A lock-free atomically mutable reference for working with shared state
Core Ref<A> An atomic reference to be used in the transactional memory system
Core AtomHashMap<K, V> An immutable HashMap with a lock-free atomically mutable reference
Core AtomSeq<A> An immutable Seq with a lock-free atomically mutable reference
Core VectorClock<A> Understand distributed causality
Core VersionVector<A> A vector clock with some versioned data
Core VersionHashMap <ConflictV, K, V> Distrubuted atomic versioning of keys in a hash-map

Immutable collections

Location Feature Description
Core Arr<A> Immutable array
Core Seq<A> Lazy immutable list, evaluate at-most-once - very, very fast!
Core Iterable<A> Wrapper around IEnumerable with support for traits - enables the higher-kinded traits to work with enumerables.
Core Lst<A> Immutable list - use Seq over Lst unless you need InsertAt
Core Map<K, V> Immutable map
Core Map<OrdK, K, V> Immutable map with Ord constraint on K
Core HashMap<K, V> Immutable hash-map
Core HashMap<EqK, K, V> Immutable hash-map with Eq constraint on K
Core Set<A> Immutable set
Core Set<OrdA, A> Immutable set with Ord constraint on A
Core HashSet<A> Immutable hash-set
Core HashSet<EqA, A> Immutable hash-set with Eq constraint on A
Core Que<A> Immutable queue
Core Stck<A> Immutable stack

Optional and alternative value monads

Location Feature Description
Core Option<A> Option monad
Core OptionT<M, A> Option monad-transformer
Core Either<L,R> Right/Left choice monad
Core EitherT<L, M, R> Right/Left choice monad-transformer
Core Fin<A> Error handling monad, like Either<Error, A>
Core FinT<M, A> Error handling monad-transformer
Core Try<A> Exception handling monad
Core TryT<M, A> Exception handling monad-transformer
Core Validation<FAIL ,SUCCESS> Validation applicative and monad for collecting multiple errors before aborting an operation
Core ValidationT<FAIL, M, SUCCESS> Validation applicative and monad-transformer

State managing monads

Location Feature Description
Core Reader<E, A> Reader monad
Core ReaderT<E, M, A> Reader monad-transformer
Core Writer<W, A> Writer monad that logs to a W constrained to be a Monoid
Core WriterT<W, M, A> Writer monad-transformer
Core State<S, A> State monad
Core StateT<S, M, A> State monad-transformer

Parser combinators

Location Feature Description
Parsec Parser<A> String parser monad and full parser combinators library
Parsec Parser<I, O> Parser monad that can work with any input stream type

Pretty

Location Feature Description
Core Doc<A> Produce nicely formatted text with smart layouts

Differencing

Location Feature Description
Core Patch<EqA, A> Uses patch-theory to efficiently calculate the difference (Patch.diff(list1, list2)) between two collections of A and build a patch which can be applied (Patch.apply(patch, list)) to one to make the other (think git diff).

Traits

The traits are major feature of v5+ language-ext that makes generic programming with higher-kinds a reality. Check out Paul's series on Higher Kinds to get a deeper insight.

Location Feature Description
Core Alternative<F> A monoid on applicative functors
Core Applicative<F> Applicative functor
Core Eq<A> Ad-hoc equality trait
Core Fallible<F> Trait that describes types that can fail
Core Foldable<T> Aggregation over a structure
Core Functor<F> Functor Map
Core Has<M, TRAIT> Used in runtimes to enable DI-like capabilities
Core Hashable<A> Ad-hoc has-a-hash-code trait
Core Local<M, E> Creates a local environment to run a computation
Core Monad<M> Monad trait
Core MonadT<M, N> Monad transformer trait
Core Monoid<A> A monoid is a type with an identity Empty and an associative binary operation +
Core MonoidK<M> Equivalent of monoids for working on higher-kinded types
Core Mutates<M, OUTER_STATE, INNER_STATE> Used in runtimes to enable stateful operations
Core Ord<A> Ad-hoc ordering / comparisons
Core Range<SELF, NumOrdA, A> Abstraction of a range of values
Core Readable<M, Env> Generalised Reader monad abstraction
Core SemiAlternative<F> A semigroup on functors
Core Semigroup<A> Provides an associative binary operation +
Core SemigroupK<M> Equivalent of semigroups for working with higher-kinded types
Core Stateful<M, S> Generalised State monad abstraction
Core Traversable<T> Traversable structures support element-wise sequencing of Applicative effects
Core Writable<M, W> Generalised Writer monad abstraction

Value traits

These work a little like NewType but they impart semantic meaning and some common operators for the underlying value.

Location Feature Description
Core DomainType<SELF, REPR> Provides a mapping from SELF to an underlying representation: REPR
Core Identifier <SELF> Identifiers (like IDs in databases: PersonId for example), they are equivalent to DomaintType with equality.
Core VectorSpace<SELF, SCALAR> Scalable values; can add and subtract self, but can only multiply and divide by a scalar. Can also negate.
Core Amount <SELF, SCALAR> Quantities, such as the amount of money in USD on a bank account or a file size in bytes. Derives VectorSpace, IdentifierLike, DomainType, and is orderable (comparable).
Core LocusLike <SELF, SCALAR, DISTANCE> Works with space-like structures. Spaces have absolute and relative distances. Has an origin/zero point and derives DomainType, IdentifierLike, AmountLike and VectorSpace. DISTANCE must also be an AmountLike<SELF, REPR, SCALAR>.
Product Compatible and additional computed target framework versions.
.NET net8.0 is compatible.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed.  net9.0 was computed.  net9.0-android was computed.  net9.0-browser was computed.  net9.0-ios was computed.  net9.0-maccatalyst was computed.  net9.0-macos was computed.  net9.0-tvos was computed.  net9.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (1)

Showing the top 1 NuGet packages that depend on LanguageExt.Rx:

Package Downloads
RezisFramework

Package Description

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
5.0.0-beta-49 123 2/15/2025
5.0.0-beta-48 77 2/14/2025
5.0.0-beta-47 89 2/10/2025
5.0.0-beta-46 84 2/1/2025
5.0.0-beta-45 228 12/27/2024
5.0.0-beta-44 89 12/25/2024
5.0.0-beta-43 80 12/23/2024
5.0.0-beta-42 82 12/19/2024
5.0.0-beta-41 84 12/19/2024
5.0.0-beta-40 85 12/17/2024
5.0.0-beta-39 840 11/27/2024
5.0.0-beta-38 96 11/18/2024
5.0.0-beta-36 75 11/6/2024
5.0.0-beta-35 76 11/6/2024
5.0.0-beta-34 75 10/28/2024
5.0.0-beta-33 80 10/27/2024
5.0.0-beta-32 83 10/27/2024
5.0.0-beta-31 75 10/25/2024
5.0.0-beta-30 72 10/25/2024
5.0.0-beta-29 79 10/22/2024
5.0.0-beta-28 82 10/17/2024
5.0.0-beta-27 76 10/16/2024
5.0.0-beta-26 86 10/13/2024
5.0.0-beta-25 81 10/13/2024
5.0.0-beta-24 99 10/11/2024
5.0.0-beta-23 81 10/10/2024
5.0.0-beta-22 86 9/20/2024
5.0.0-beta-21 83 9/20/2024
5.0.0-beta-20 83 9/18/2024
5.0.0-beta-19 77 9/18/2024
5.0.0-beta-18 93 9/16/2024
5.0.0-beta-17 95 9/16/2024
5.0.0-beta-16 93 9/16/2024
5.0.0-beta-15 89 9/16/2024
5.0.0-beta-14 97 9/5/2024
5.0.0-beta-13 100 9/5/2024
5.0.0-beta-12 85 9/4/2024
5.0.0-beta-11 97 9/2/2024
5.0.0-beta-10 120 8/18/2024
5.0.0-beta-09 89 8/18/2024
5.0.0-beta-08 111 8/16/2024
5.0.0-beta-07 98 8/7/2024
5.0.0-beta-06 50 8/4/2024
5.0.0-beta-05 59 8/3/2024
5.0.0-beta-04 67 7/30/2024
5.0.0-beta-03 68 7/29/2024
5.0.0-beta-02 55 7/28/2024
5.0.0-beta-01 105 6/26/2024
5.0.0-alpha.11 73 5/24/2024
5.0.0-alpha.10 65 5/16/2024
5.0.0-alpha.7 60 5/12/2024
5.0.0-alpha.6 85 4/16/2024
5.0.0-alpha.5 78 3/24/2024
5.0.0-alpha.3 63 3/23/2024
5.0.0-alpha.2 66 3/19/2024
5.0.0-alpha.1 81 3/4/2024
4.4.9 7,847 6/26/2024
4.4.8 1,916 2/7/2024
4.4.7 5,303 10/21/2023
4.4.6 740 10/1/2023
4.4.5 379 9/21/2023
4.4.4 589 9/7/2023
4.4.3 3,167 4/14/2023
4.4.2 1,530 2/5/2023
4.4.1 758 2/4/2023
4.4.0 1,501 11/16/2022
4.3.2-beta 971 6/29/2022
4.3.1-beta 310 6/28/2022
4.3.0-beta 308 6/28/2022
4.2.9 1,590 6/27/2022
4.2.8 589 6/27/2022
4.2.7 645 6/16/2022
4.2.6 582 6/16/2022
4.2.5 560 6/15/2022
4.2.2 689 6/7/2022
4.2.1 638 6/4/2022
4.2.0 605 6/4/2022
4.1.1 1,206 5/20/2022
4.1.0 809 5/10/2022
4.0.10-beta 307 5/4/2022
4.0.9-beta 299 5/2/2022
4.0.8-beta 330 3/15/2022
4.0.7-beta 300 3/9/2022
4.0.6-beta 294 3/9/2022
4.0.5-beta 327 3/9/2022
4.0.4 690 3/7/2022
4.0.3 6,992 10/21/2021
4.0.2 1,948 10/20/2021
4.0.1 562 10/20/2021
4.0.0 661 10/17/2021
3.5.69-beta 481 10/17/2021
3.5.68-beta 455 10/16/2021
3.5.67-beta 464 10/16/2021
3.5.66-beta 366 10/16/2021
3.5.65-beta 316 10/14/2021
3.5.64-beta 386 10/9/2021
3.5.63-beta 404 10/9/2021
3.5.62-beta 355 9/29/2021
3.5.61-beta 411 9/28/2021
3.5.60-beta 374 9/28/2021
3.5.59-beta 383 9/21/2021
3.5.58-beta 337 9/20/2021
3.5.57-beta 377 9/19/2021
3.5.56-beta 427 9/19/2021
3.5.55-beta 358 9/19/2021
3.5.54-beta 436 9/11/2021
3.5.53-beta 394 8/15/2021
3.5.52-beta 356 8/15/2021
3.5.51-beta 346 8/12/2021
3.5.50-beta 413 7/28/2021
3.5.49-beta 414 7/28/2021
3.5.48-beta 348 7/27/2021
3.5.46-beta 416 7/22/2021
3.5.45-beta 385 7/21/2021
3.5.44-beta 370 7/19/2021
3.5.43-beta 418 7/18/2021
3.5.42-beta 389 7/18/2021
3.5.41-beta 355 7/18/2021
3.5.40-beta 432 7/18/2021
3.5.39-beta 402 7/18/2021
3.5.38-beta 370 7/16/2021
3.5.37-beta 405 7/7/2021
3.5.36-beta 401 7/7/2021
3.5.35-beta 404 7/6/2021
3.5.34-beta 420 7/6/2021
3.5.33-beta 406 7/5/2021
3.5.32-beta 411 7/5/2021
3.5.31-beta 389 7/5/2021
3.5.30-beta 358 7/5/2021
3.5.28-beta 452 6/24/2021
3.5.27-beta 497 3/14/2021
3.5.26-beta 402 2/26/2021
3.5.25-beta 409 2/18/2021
3.5.24-beta 627 11/5/2020
3.5.23-beta 486 11/4/2020
3.5.22-beta 465 11/2/2020
3.5.20-beta 528 9/25/2020
3.5.19-beta 484 9/21/2020
3.5.18-beta 493 9/17/2020
3.5.17-beta 505 9/16/2020
3.5.16-beta 505 9/10/2020
3.5.15-beta 532 8/31/2020
3.5.14-beta 465 8/24/2020
3.5.13-beta 486 8/21/2020
3.5.12-beta 487 8/20/2020
3.5.11-beta 481 8/19/2020
3.5.10-beta 496 8/17/2020
3.5.9-beta 566 8/16/2020
3.5.8-beta 533 8/14/2020
3.5.7-beta 541 8/14/2020
3.5.6-beta 557 8/13/2020
3.5.5-beta 600 8/12/2020
3.5.4-beta 508 8/10/2020
3.5.3-beta 488 7/31/2020
3.5.2-beta 482 7/31/2020
3.5.1-beta 488 7/21/2020
3.5.0-beta 479 7/20/2020
3.4.27-beta 527 7/13/2020
3.4.26-beta 532 7/8/2020
3.4.25-beta 494 7/8/2020
3.4.24-beta 543 6/19/2020
3.4.23-beta 531 6/12/2020
3.4.22-beta 485 6/11/2020
3.4.21-beta 511 6/8/2020
3.4.20-beta 627 3/13/2020
3.4.19-beta 565 3/11/2020
3.4.18-beta 523 3/9/2020
3.4.17-beta 612 3/7/2020
3.4.16-beta 552 3/7/2020
3.4.15 20,587 5/14/2020
3.4.15-beta 508 3/5/2020
3.4.14 737 5/5/2020
3.4.14-beta 537 3/5/2020
3.4.13 797 3/23/2020
3.4.12 2,313 2/28/2020
3.4.11 751 2/27/2020
3.4.10 762 2/18/2020
3.4.2 688 2/13/2020
3.4.1 724 2/13/2020
3.4.0 769 2/12/2020
3.3.51 811 1/31/2020
3.3.50 760 1/27/2020
3.3.49 816 1/12/2020
3.3.48 25,691 1/3/2020
3.3.47 774 12/31/2019
3.3.46 723 12/16/2019
3.3.45 821 12/11/2019
3.3.44 775 12/10/2019
3.3.43 785 12/10/2019
3.3.42 784 12/10/2019
3.3.41 2,537 11/28/2019
3.3.40 1,470 11/25/2019
3.3.39 741 11/10/2019
3.3.38 715 11/10/2019
3.3.37 734 11/10/2019
3.3.36 767 11/10/2019
3.3.35 714 11/10/2019
3.3.34 703 11/10/2019
3.3.33 2,901 11/9/2019
3.3.32 745 11/9/2019
3.3.31 762 11/9/2019
3.3.30 803 11/8/2019
3.3.29 1,096 10/17/2019
3.3.28 20,208 9/28/2019
3.3.27 767 9/28/2019
3.3.26 764 9/21/2019
3.3.25-beta 569 9/18/2019
3.3.24 768 9/18/2019
3.3.23 788 9/17/2019
3.3.22 793 9/17/2019
3.3.21 773 9/15/2019
3.3.20 786 9/7/2019
3.3.19 824 8/21/2019
3.3.18 764 8/21/2019
3.3.17 768 8/20/2019
3.3.16 759 8/18/2019
3.3.15 752 8/18/2019
3.3.14 742 8/18/2019
3.3.13 748 8/16/2019
3.3.12 766 8/16/2019
3.3.11 776 8/15/2019
3.3.10 816 8/14/2019
3.3.9 1,239 8/14/2019
3.3.8 773 8/12/2019
3.3.7 848 8/7/2019
3.3.6 803 8/7/2019
3.3.5 812 8/5/2019
3.3.4 823 7/30/2019
3.3.3 827 7/24/2019
3.3.2 816 7/17/2019
3.3.1 828 7/17/2019
3.3.0 813 7/17/2019
3.2.14-beta 559 7/16/2019
3.2.13-beta 587 7/16/2019
3.2.12-beta 575 7/16/2019
3.2.11-beta 556 7/16/2019
3.2.10-beta 593 7/16/2019
3.2.9-beta 576 7/16/2019
3.2.8-beta 535 7/15/2019
3.2.7-beta 578 7/15/2019
3.2.6-beta 539 7/14/2019
3.2.5-beta 550 6/24/2019
3.2.4-beta 552 6/24/2019
3.2.3-beta 539 6/23/2019
3.2.2-beta 572 6/23/2019
3.2.1-beta 565 6/22/2019
3.2.0-beta 577 6/20/2019
3.1.24 1,024 5/15/2019
3.1.23 978 5/8/2019
3.1.22 780 5/7/2019
3.1.21 825 5/1/2019
3.1.20 816 5/1/2019
3.1.19 839 4/19/2019
3.1.18 827 4/12/2019
3.1.17 849 4/12/2019
3.1.16 801 4/11/2019
3.1.15 20,540 2/8/2019
3.1.14 1,067 12/7/2018
3.1.13 979 11/10/2018
3.1.12 1,018 11/1/2018
3.1.11 1,003 10/31/2018
3.1.10 953 10/31/2018
3.1.9-beta 712 10/30/2018
3.1.8-beta 711 10/25/2018
3.1.7-beta 724 10/24/2018
3.1.6-beta 761 10/22/2018
3.1.5-beta 714 10/22/2018
3.1.4-beta 732 10/19/2018
3.1.3-beta 735 10/18/2018
3.1.2-beta 769 10/18/2018
3.1.1-beta 755 10/17/2018
3.1.0-beta 731 10/17/2018
3.0.31 1,026 10/10/2018
3.0.30 1,011 10/9/2018
3.0.29 1,050 10/3/2018
3.0.28 1,040 10/1/2018
3.0.27 1,009 10/1/2018
3.0.26 1,019 9/24/2018
3.0.25 1,016 9/24/2018
3.0.24 1,029 9/19/2018
3.0.23 1,032 9/19/2018
3.0.22 1,316 8/8/2018
3.0.21 1,106 8/8/2018
3.0.20 1,131 7/22/2018
3.0.19 1,214 7/4/2018
3.0.18 1,174 6/26/2018
3.0.17 1,201 6/20/2018
3.0.16 1,208 6/13/2018
3.0.15 1,232 6/13/2018
3.0.14 1,139 6/11/2018
3.0.13 1,251 6/5/2018
3.0.12 1,212 6/5/2018
3.0.11 1,192 6/5/2018
3.0.10 1,201 6/5/2018
3.0.9 1,231 6/5/2018
3.0.8 1,073 6/4/2018
3.0.7 1,084 6/4/2018
3.0.6 1,152 6/4/2018
3.0.5 1,206 6/4/2018