Safe Haskell	Safe
Language	Haskell2010

Data.Connection.Class

Contents

Types
Lattices
Connection
- RebindableSyntax

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)
(\/) :: Left (a, a) a => a -> a -> a
(/\) :: Right (a, a) a => a -> a -> a
lub :: Triple (a, a) a => a -> a -> a -> a
glb :: Triple (a, a) a => a -> a -> a -> a
choose :: Conn k c a -> Conn k c b -> Conn k c (Either a b)
divide :: Connection k (c, c) c => Conn k a c -> Conn k b c -> Conn k (a, b) c
minimal :: Left () a => a
maximal :: Right () a => a
extremal :: Triple () a => Conn k a Bool
class (Preorder a, Preorder b) => Connection k a b where
- conn :: Conn k a b
type ConnInteger a = Left a (Maybe Integer)
type ConnRational a = Triple Rational a

Types

type Left = Connection L Source #

left :: Left a b => ConnL a b Source #

A specialization of conn to left-side connections.

type Right = Connection R Source #

right :: Right a b => ConnR a b Source #

A specialization of conn to right-side connections.

type Triple a b = (Left a b, Right a b) Source #

A constraint kind representing an adjoint triple of Galois connections.

Lattices

(\/) :: Left (a, a) a => a -> a -> a infixr 5 Source #

Lattice join.

(\/) = curry $ lower semilattice

(/\) :: Right (a, a) a => a -> a -> a infixr 6 Source #

Lattice meet.

(/\) = curry $ floor semilattice

lub :: Triple (a, a) a => a -> a -> a -> a Source #

Least upper bound operator.

The order dual of glb.

>>> lub 1.0 9.0 7.0
7.0
>>> lub 1.0 9.0 (0.0 / 0.0)
1.0

glb :: Triple (a, a) a => a -> a -> a -> a Source #

Greatest lower bound operator.

glb x x y = x
glb x y z = glb z x y
glb x y z = glb x z y
glb (glb x w y) w z = glb x w (glb y w z)

>>> glb 1.0 9.0 7.0
7.0
>>> glb 1.0 9.0 (0.0 / 0.0)
9.0
>>> glb (fromList [1..3]) (fromList [3..5]) (fromList [5..7]) :: Set Int
fromList [3,5]

choose :: Conn k c a -> Conn k c b -> Conn k c (Either a b) infixr 3 Source #

A preorder variant of |||.

divide :: Connection k (c, c) c => Conn k a c -> Conn k b c -> Conn k (a, b) c infixr 4 Source #

A preorder variant of &&&.

minimal :: Left () a => a Source #

A minimal element of a preorder.

x /\ minimal = minimal
x \/ minimal = x

minimal needn't be unique, but it must obey:

x <~ minimal => x ~~ minimal

maximal :: Right () a => a Source #

A maximal element of a preorder.

x /\ maximal = x
x \/ maximal = maximal

maximal needn't be unique, but it must obey:

x >~ maximal => x ~~ maximal

extremal :: Triple () a => Conn k a Bool Source #

The canonical connection with a Bool.

Connection

class (Preorder a, Preorder b) => Connection k a b where Source #

An adjoint string of Galois connections of length 2 or 3.

Methods

conn :: Conn k a b Source #

>>> range (conn @_ @Rational @Float) (22 :% 7)
(3.142857,3.1428573)
>>> range (conn @_ @Double @Float) pi
(3.1415925,3.1415927)

Instances

Connection k Int64 Int Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Int64 Int Source #
Connection k Rational Double Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational Double Source #
Connection k () Double Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Double Source #
Connection k Rational Float Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational Float Source #
Connection k Double Float Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Double Float Source #
Connection k () Float Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Float Source #
Connection k Pico Nano Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Pico Nano Source #
Connection k Pico Micro Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Pico Micro Source #
Connection k Nano Micro Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Nano Micro Source #
Connection k Pico Milli Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Pico Milli Source #
Connection k Nano Milli Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Nano Milli Source #
Connection k Micro Milli Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Micro Milli Source #
Connection k Pico Centi Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Pico Centi Source #
Connection k Nano Centi Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Nano Centi Source #
Connection k Micro Centi Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Micro Centi Source #
Connection k Milli Centi Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Milli Centi Source #
Connection k Pico Deci Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Pico Deci Source #
Connection k Nano Deci Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Nano Deci Source #
Connection k Micro Deci Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Micro Deci Source #
Connection k Milli Deci Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Milli Deci Source #
Connection k Centi Deci Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Centi Deci Source #
Connection k Pico Uni Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Pico Uni Source #
Connection k Nano Uni Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Nano Uni Source #
Connection k Micro Uni Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Micro Uni Source #
Connection k Milli Uni Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Milli Uni Source #
Connection k Centi Uni Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Centi Uni Source #
Connection k Deci Uni Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Deci Uni Source #
Connection k () Rational Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Rational Source #
Connection k () Int Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Int Source #
Connection k () Int64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Int64 Source #
Connection k () Int32 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Int32 Source #
Connection k () Int16 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Int16 Source #
Connection k () Int8 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Int8 Source #
Connection k () Positive Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Positive Source #
Connection k Word64 Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Word64 Word Source #
Connection k () Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Word Source #
Connection k () Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Word64 Source #
Connection k () Word32 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Word32 Source #
Connection k () Word16 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Word16 Source #
Connection k () Word8 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Word8 Source #
Connection k () Ordering Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Ordering Source #
Connection k Double Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Double Bool Source #
Connection k Float Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Float Bool Source #
Connection k Rational Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational Bool Source #
Connection k Int Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Int Bool Source #
Connection k Int64 Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Int64 Bool Source #
Connection k Int32 Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Int32 Bool Source #
Connection k Int16 Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Int16 Bool Source #
Connection k Int8 Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Int8 Bool Source #
Connection k Positive Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Positive Bool Source #
Connection k Word Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Word Bool Source #
Connection k Word64 Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Word64 Bool Source #
Connection k Word32 Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Word32 Bool Source #
Connection k Word16 Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Word16 Bool Source #
Connection k Word8 Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Word8 Bool Source #
Connection k Ordering Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Ordering Bool Source #
Connection k () Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () Bool Source #
Preorder a => Connection k a a Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k a a Source #
Connection L Int Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int Natural Source #
Connection L Int Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int Word Source #
Connection L Int Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int Word64 Source #
Connection L Int8 Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 Natural Source #
Connection L Int8 Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 Word Source #
Connection L Int8 Word8 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 Word8 Source #
Connection L Int8 Word16 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 Word16 Source #
Connection L Int8 Word32 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 Word32 Source #
Connection L Int8 Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 Word64 Source #
Connection L Int16 Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int16 Natural Source #
Connection L Int16 Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int16 Word Source #
Connection L Int16 Word16 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int16 Word16 Source #
Connection L Int16 Word32 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int16 Word32 Source #
Connection L Int16 Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int16 Word64 Source #
Connection L Int32 Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int32 Natural Source #
Connection L Int32 Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int32 Word Source #
Connection L Int32 Word32 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int32 Word32 Source #
Connection L Int32 Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int32 Word64 Source #
Connection L Int64 Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int64 Natural Source #
Connection L Int64 Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int64 Word Source #
Connection L Int64 Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int64 Word64 Source #
Connection L Integer Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Integer Natural Source #
Connection L Word Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word Natural Source #
Connection L Word8 Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 Natural Source #
Connection L Word8 Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 Word Source #
Connection L Word8 Word16 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 Word16 Source #
Connection L Word8 Word32 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 Word32 Source #
Connection L Word8 Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 Word64 Source #
Connection L Word16 Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word16 Natural Source #
Connection L Word16 Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word16 Word Source #
Connection L Word16 Word32 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word16 Word32 Source #
Connection L Word16 Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word16 Word64 Source #
Connection L Word32 Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word32 Natural Source #
Connection L Word32 Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word32 Word Source #
Connection L Word32 Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word32 Word64 Source #
Connection L Word64 Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word64 Natural Source #
Connection L () Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L () Natural Source #
Connection L () IntSet Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L () IntSet Source #
Preorder a => Connection k () (Extended a) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () (Extended a) Source #
Connection k a b => Connection k a (Identity b) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k a (Identity b) Source #
Connection k Double (Extended Int32) Source #	All `Int32` values are exactly representable in a `Double`.
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Double (Extended Int32) Source #
Connection k Double (Extended Int16) Source #	All `Int16` values are exactly representable in a `Double`.
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Double (Extended Int16) Source #
Connection k Double (Extended Int8) Source #	All `Int8` values are exactly representable in a `Double`.
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Double (Extended Int8) Source #
Connection k Float (Extended Int16) Source #	All `Int16` values are exactly representable in a `Float`.
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Float (Extended Int16) Source #
Connection k Float (Extended Int8) Source #	All `Int8` values are exactly representable in a `Float`.
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Float (Extended Int8) Source #
HasResolution prec => Connection k Rational (Extended (Fixed prec)) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational (Extended (Fixed prec)) Source #
Connection k Rational (Extended Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational (Extended Integer) Source #
Connection k Rational (Extended Int) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational (Extended Int) Source #
Connection k Rational (Extended Int64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational (Extended Int64) Source #
Connection k Rational (Extended Int32) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational (Extended Int32) Source #
Connection k Rational (Extended Int16) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational (Extended Int16) Source #
Connection k Rational (Extended Int8) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational (Extended Int8) Source #
Connection L Double (Extended Int) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended Int) Source #
Connection L Double (Extended Int64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended Int64) Source #
Connection L Double (Extended Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended Integer) Source #
Connection L Double (Extended Natural) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended Natural) Source #
Connection L Double (Extended Word) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended Word) Source #
Connection L Double (Extended Word8) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended Word8) Source #
Connection L Double (Extended Word16) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended Word16) Source #
Connection L Double (Extended Word32) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended Word32) Source #
Connection L Double (Extended Word64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended Word64) Source #
HasResolution res => Connection L Double (Extended (Fixed res)) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Double (Extended (Fixed res)) Source #
Connection L Float (Extended Int) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Int) Source #
Connection L Float (Extended Int32) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Int32) Source #
Connection L Float (Extended Int64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Int64) Source #
Connection L Float (Extended Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Integer) Source #
Connection L Float (Extended Natural) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Natural) Source #
Connection L Float (Extended Word) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Word) Source #
Connection L Float (Extended Word8) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Word8) Source #
Connection L Float (Extended Word16) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Word16) Source #
Connection L Float (Extended Word32) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Word32) Source #
Connection L Float (Extended Word64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended Word64) Source #
HasResolution res => Connection L Float (Extended (Fixed res)) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Float (Extended (Fixed res)) Source #
Connection L Int (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int (Maybe Integer) Source #
Connection L Int8 (Maybe Int) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 (Maybe Int) Source #
Connection L Int8 (Maybe Int16) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 (Maybe Int16) Source #
Connection L Int8 (Maybe Int32) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 (Maybe Int32) Source #
Connection L Int8 (Maybe Int64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 (Maybe Int64) Source #
Connection L Int8 (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int8 (Maybe Integer) Source #
Connection L Int16 (Maybe Int) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int16 (Maybe Int) Source #
Connection L Int16 (Maybe Int32) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int16 (Maybe Int32) Source #
Connection L Int16 (Maybe Int64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int16 (Maybe Int64) Source #
Connection L Int16 (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int16 (Maybe Integer) Source #
Connection L Int32 (Maybe Int) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int32 (Maybe Int) Source #
Connection L Int32 (Maybe Int64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int32 (Maybe Int64) Source #
Connection L Int32 (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int32 (Maybe Integer) Source #
Connection L Int64 (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Int64 (Maybe Integer) Source #
Connection L Integer (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Integer (Maybe Integer) Source #
Connection L Natural (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Natural (Maybe Integer) Source #
Connection L Word (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word (Maybe Integer) Source #
Connection L Word8 (Maybe Int) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 (Maybe Int) Source #
Connection L Word8 (Maybe Int16) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 (Maybe Int16) Source #
Connection L Word8 (Maybe Int32) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 (Maybe Int32) Source #
Connection L Word8 (Maybe Int64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 (Maybe Int64) Source #
Connection L Word8 (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word8 (Maybe Integer) Source #
Connection L Word16 (Maybe Int) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word16 (Maybe Int) Source #
Connection L Word16 (Maybe Int32) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word16 (Maybe Int32) Source #
Connection L Word16 (Maybe Int64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word16 (Maybe Int64) Source #
Connection L Word16 (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word16 (Maybe Integer) Source #
Connection L Word32 (Maybe Int) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word32 (Maybe Int) Source #
Connection L Word32 (Maybe Int64) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word32 (Maybe Int64) Source #
Connection L Word32 (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word32 (Maybe Integer) Source #
Connection L Word64 (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L Word64 (Maybe Integer) Source #
Preorder a => Connection L () (Maybe a) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L () (Maybe a) Source #
Preorder a => Connection L () (IntMap a) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L () (IntMap a) Source #
Total a => Connection L () (Set a) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L () (Set a) Source #
Right () a => Connection R () (Maybe a) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn R () (Maybe a) Source #
(Triple () a, Triple () b) => Connection k () (a, b) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k () (a, b) Source #
(Left () a, Preorder b) => Connection L () (Either a b) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L () (Either a b) Source #
(Total a, Preorder b) => Connection L () (Map a b) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L () (Map a b) Source #
(Preorder a, Right () b) => Connection R () (Either a b) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn R () (Either a b) Source #
Connection k a b => Connection k (Identity a) b Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Identity a) b Source #
(Triple () a, Preorder b) => Connection k (Maybe b) (Either a b) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Maybe b) (Either a b) Source #
(Preorder a, Triple () b) => Connection k (Maybe a) (Either a b) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Maybe a) (Either a b) Source #
Connection k (IntSet, IntSet) IntSet Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (IntSet, IntSet) IntSet Source #
Connection k (Double, Double) Double Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Double, Double) Double Source #
Connection k (Float, Float) Float Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Float, Float) Float Source #
Connection k (Rational, Rational) Rational Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Rational, Rational) Rational Source #
Connection k (Integer, Integer) Integer Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Integer, Integer) Integer Source #
Connection k (Int, Int) Int Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Int, Int) Int Source #
Connection k (Int64, Int64) Int64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Int64, Int64) Int64 Source #
Connection k (Int32, Int32) Int32 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Int32, Int32) Int32 Source #
Connection k (Int16, Int16) Int16 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Int16, Int16) Int16 Source #
Connection k (Int8, Int8) Int8 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Int8, Int8) Int8 Source #
Connection k (Positive, Positive) Positive Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Positive, Positive) Positive Source #
Connection k (Natural, Natural) Natural Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Natural, Natural) Natural Source #
Connection k (Word, Word) Word Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Word, Word) Word Source #
Connection k (Word64, Word64) Word64 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Word64, Word64) Word64 Source #
Connection k (Word32, Word32) Word32 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Word32, Word32) Word32 Source #
Connection k (Word16, Word16) Word16 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Word16, Word16) Word16 Source #
Connection k (Word8, Word8) Word8 Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Word8, Word8) Word8 Source #
Connection k (Ordering, Ordering) Ordering Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Ordering, Ordering) Ordering Source #
Connection k (Bool, Bool) Bool Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Bool, Bool) Bool Source #
Connection k ((), ()) () Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k ((), ()) () Source #
Total a => Connection k (Set a, Set a) (Set a) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Set a, Set a) (Set a) Source #
Connection k (Fixed e, Fixed e) (Fixed e) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k (Fixed e, Fixed e) (Fixed e) Source #
Left (a, a) a => Connection L (IntMap a, IntMap a) (IntMap a) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L (IntMap a, IntMap a) (IntMap a) Source #
Right (a, a) a => Connection R (IntMap a, IntMap a) (IntMap a) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn R (IntMap a, IntMap a) (IntMap a) Source #
(Total a, Left (b, b) b) => Connection L (Map a b, Map a b) (Map a b) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn L (Map a b, Map a b) (Map a b) Source #
(Total a, Right (b, b) b) => Connection R (Map a b, Map a b) (Map a b) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn R (Map a b, Map a b) (Map a b) Source #

RebindableSyntax

type ConnInteger a = Left a (Maybe Integer) Source #

A constraint kind for Integer conversions.

Usable in conjunction with RebindableSyntax:

fromInteger = upper conn . Just :: ConnInteger a => Integer -> a

type ConnRational a = Triple Rational a Source #

A constraint kind for Rational conversions.

Usable in conjunction with RebindableSyntax:

fromRational = round conn :: ConnRational a => Rational -> a