Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- type Left = Connection L
- left :: Left a b => ConnL a b
- type Right = Connection R
- right :: Right a b => ConnR a b
- type Triple a b = (Left a b, Right a b)
- type ConnInteger a = Left a (Maybe Integer)
- fromInteger :: ConnInteger a => Integer -> a
- type ConnRational a = Triple Rational a
- fromRational :: forall a. ConnRational a => Rational -> a
- class (Preorder a, Preorder b) => Connection k a b where
Documentation
type Left = Connection L Source #
type Right = Connection R Source #
type Triple a b = (Left a b, Right a b) Source #
A constraint kind representing an adjoint triple of Galois connections.
fromInteger :: ConnInteger a => Integer -> a Source #
A replacement for the version in base.
Usable in conjunction with RebindableSyntax:
fromRational :: forall a. ConnRational a => Rational -> a Source #
A replacement for the version in base.
Usable in conjunction with RebindableSyntax:
class (Preorder a, Preorder b) => Connection k a b where Source #
A chain of Galois connections of length 2 or 3.