InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →
If-instance Alternatives
Similar projects and alternatives to if-instance
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better if-instance alternative or higher similarity.
if-instance discussion
if-instance reviews and mentions
Posts with mentions or reviews of if-instance.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-09-08.
-
Branching on constraints (if-instance), applications
Sam Derbyshire has a cool type-checking plugin called if-instance that lets you branch on whether a constraint is satisfied with the following interface:
- Different `Num` instances based on availability of another instance.
-
How do I define this super-unsafe type class (not internally consistent at all 😱)
/u/presheaf has a more modern version using a GHC plugin: https://github.com/sheaf/if-instance
-
Quantified, overlapping type family equations
I just put up a library that allows branching on whether a constraint is satisfied, using a type-checking plugin. There's also a type-family IsSat, which works as in the OP. Let me know what you think!
-
A note from our sponsor - InfluxDB
www.influxdata.com | 18 Jun 2025
Stats
Basic if-instance repo stats
4
33
3.6
3 months ago
The primary programming language of if-instance is Haskell.
Popular Comparisons
Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com