Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
connected :: Conn s a -> Grate' s a Source #
Obtain a Grate
from a Galois connection.
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.
>>>
zipsWith (connected i08i16) (+) 126 1
127>>>
zipsWith (connected i08i16) (+) 126 2
127