Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
connected :: Conn s a -> Grate' s a Source #
Lift a Galois connection into a Grate
.
Useful for giving precise semantics to numerical computations.
This is an example of a Grate
that would not be a legal Iso
,
as Galois connections are not in general inverses.
>>>
zipWithOf (connected i08i16) (+) 126 1
127>>>
zipWithOf (connected i08i16) (+) 126 2
127