Popularity
4.3
Growing
Activity
0.0
Stable
6
3
2

Monthly Downloads: 22
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Math     Numerical    
Latest version: v0.1.0

connections alternatives and similar packages

Based on the "Math" category.
Alternatively, view connections alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of connections or a related project?

Add another 'Math' Package

README

connections

Galois connections

For example:

ordbin :: Conn 'L Ordering Bool
ordbin = ConnL f g where
  f GT = True
  f _  = False

  g True = GT
  g _    = EQ

binord :: Conn 'R Ordering Bool
binord = ConnR f g where
  f False = LT
  f _     = EQ

  g LT = False
  g _  = True

Hosted on Hackage