Safe Haskell	Safe
Language	Haskell2010

Data.Connection.Class

Synopsis

castL :: Connection L a b => Cast L a b
castR :: Connection R a b => Cast R a b
class Connection (k :: Side) a b where
- cast :: Cast k a b

Documentation

castL :: Connection L a b => Cast L a b Source #

castR :: Connection R a b => Cast R a b Source #

class Connection (k :: Side) a b where Source #

A chain of Galois connections of length 2 or 3.

Methods

cast :: Cast k a b Source #

Instances

Connection k SystemTime Int Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k SystemTime Int Source #
Connection k Int64 Int Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Int64 Int Source #
Connection k Int Int64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Int Int64 Source #
Connection k Rational Double Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational Double Source #
Connection k Rational Float Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational Float Source #
Connection k Double Float Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Double Float Source #
Connection k Pico Nano Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Pico Nano Source #
Connection k Pico Micro Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Pico Micro Source #
Connection k Nano Micro Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Nano Micro Source #
Connection k Pico Milli Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Pico Milli Source #
Connection k Nano Milli Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Nano Milli Source #
Connection k Micro Milli Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Micro Milli Source #
Connection k Pico Centi Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Pico Centi Source #
Connection k Nano Centi Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Nano Centi Source #
Connection k Micro Centi Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Micro Centi Source #
Connection k Milli Centi Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Milli Centi Source #
Connection k Pico Deci Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Pico Deci Source #
Connection k Nano Deci Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Nano Deci Source #
Connection k Micro Deci Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Micro Deci Source #
Connection k Milli Deci Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Milli Deci Source #
Connection k Centi Deci Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Centi Deci Source #
Connection k Pico Uni Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Pico Uni Source #
Connection k Nano Uni Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Nano Uni Source #
Connection k Micro Uni Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Micro Uni Source #
Connection k Milli Uni Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Milli Uni Source #
Connection k Centi Uni Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Centi Uni Source #
Connection k Deci Uni Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Deci Uni Source #
Connection k Uni Integer Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Uni Integer Source #
Connection k Word64 Word Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Word64 Word Source #
Connection k Word Word64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Word Word64 Source #
Connection k Int Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Int Bool Source #
Connection k Int64 Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Int64 Bool Source #
Connection k Int32 Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Int32 Bool Source #
Connection k Int16 Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Int16 Bool Source #
Connection k Int8 Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Int8 Bool Source #
Connection k Word Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Word Bool Source #
Connection k Word64 Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Word64 Bool Source #
Connection k Word32 Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Word32 Bool Source #
Connection k Word16 Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Word16 Bool Source #
Connection k Word8 Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Word8 Bool Source #
Connection k Ordering Bool Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Ordering Bool Source #
Connection k a a Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k a a Source #
Connection L Int Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int Natural Source #
Connection L Int Word Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int Word Source #
Connection L Int Word64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int Word64 Source #
Connection L Int8 Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int8 Natural Source #
Connection L Int8 Word Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int8 Word Source #
Connection L Int8 Word8 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int8 Word8 Source #
Connection L Int8 Word16 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int8 Word16 Source #
Connection L Int8 Word32 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int8 Word32 Source #
Connection L Int8 Word64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int8 Word64 Source #
Connection L Int16 Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int16 Natural Source #
Connection L Int16 Word Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int16 Word Source #
Connection L Int16 Word16 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int16 Word16 Source #
Connection L Int16 Word32 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int16 Word32 Source #
Connection L Int16 Word64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int16 Word64 Source #
Connection L Int32 Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int32 Natural Source #
Connection L Int32 Word Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int32 Word Source #
Connection L Int32 Word32 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int32 Word32 Source #
Connection L Int32 Word64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int32 Word64 Source #
Connection L Int64 Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int64 Natural Source #
Connection L Int64 Word Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int64 Word Source #
Connection L Int64 Word64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Int64 Word64 Source #
Connection L Integer Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Integer Natural Source #
Connection L Word Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word Natural Source #
Connection L Word8 Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word8 Natural Source #
Connection L Word8 Word Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word8 Word Source #
Connection L Word8 Word16 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word8 Word16 Source #
Connection L Word8 Word32 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word8 Word32 Source #
Connection L Word8 Word64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word8 Word64 Source #
Connection L Word16 Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word16 Natural Source #
Connection L Word16 Word Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word16 Word Source #
Connection L Word16 Word32 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word16 Word32 Source #
Connection L Word16 Word64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word16 Word64 Source #
Connection L Word32 Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word32 Natural Source #
Connection L Word32 Word Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word32 Word Source #
Connection L Word32 Word64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word32 Word64 Source #
Connection L Word64 Natural Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Word64 Natural Source #
Connection k Double (Extended Int32) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Double (Extended Int32) Source #
Connection k Double (Extended Int16) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Double (Extended Int16) Source #
Connection k Double (Extended Int8) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Double (Extended Int8) Source #
Connection k Double (Extended Word32) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Double (Extended Word32) Source #
Connection k Double (Extended Word16) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Double (Extended Word16) Source #
Connection k Double (Extended Word8) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Double (Extended Word8) Source #
Connection k Float (Extended Int16) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Float (Extended Int16) Source #
Connection k Float (Extended Int8) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Float (Extended Int8) Source #
Connection k Float (Extended Word16) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Float (Extended Word16) Source #
Connection k Float (Extended Word8) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Float (Extended Word8) Source #
HasResolution res => Connection k Rational (Extended (Fixed res)) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended (Fixed res)) Source #
Connection k Rational (Extended SystemTime) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended SystemTime) Source #
Connection k Rational (Extended Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Integer) Source #
Connection k Rational (Extended Int) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Int) Source #
Connection k Rational (Extended Int64) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Int64) Source #
Connection k Rational (Extended Int32) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Int32) Source #
Connection k Rational (Extended Int16) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Int16) Source #
Connection k Rational (Extended Int8) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Int8) Source #
Connection k Rational (Extended Natural) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Natural) Source #
Connection k Rational (Extended Word) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Word) Source #
Connection k Rational (Extended Word64) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Word64) Source #
Connection k Rational (Extended Word32) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Word32) Source #
Connection k Rational (Extended Word16) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Word16) Source #
Connection k Rational (Extended Word8) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k Rational (Extended Word8) Source #
Connection L Double (Extended Int) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Double (Extended Int) Source #
Connection L Double (Extended Int64) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Double (Extended Int64) Source #
Connection L Double (Extended Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Double (Extended Integer) Source #
Connection L Double (Extended Natural) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Double (Extended Natural) Source #
Connection L Double (Extended Word) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Double (Extended Word) Source #
Connection L Double (Extended Word64) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Double (Extended Word64) Source #
HasResolution res => Connection L Double (Extended (Fixed res)) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Double (Extended (Fixed res)) Source #
Connection L Double (Extended SystemTime) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Double (Extended SystemTime) Source #
Connection L Float (Extended Int) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended Int) Source #
Connection L Float (Extended Int32) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended Int32) Source #
Connection L Float (Extended Int64) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended Int64) Source #
Connection L Float (Extended Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended Integer) Source #
Connection L Float (Extended Natural) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended Natural) Source #
Connection L Float (Extended Word) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended Word) Source #
Connection L Float (Extended Word32) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended Word32) Source #
Connection L Float (Extended Word64) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended Word64) Source #
HasResolution res => Connection L Float (Extended (Fixed res)) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended (Fixed res)) Source #
Connection L Float (Extended SystemTime) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L Float (Extended SystemTime) Source #
Connection k (Extended Int32) Int Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Int32) Int Source #
Connection k (Extended Int16) Int Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Int16) Int Source #
Connection k (Extended Int8) Int Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Int8) Int Source #
Connection k (Extended Word32) Int Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Word32) Int Source #
Connection k (Extended Word16) Int Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Word16) Int Source #
Connection k (Extended Word8) Int Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Word8) Int Source #
Connection k (Extended Int32) Int64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Int32) Int64 Source #
Connection k (Extended Int16) Int64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Int16) Int64 Source #
Connection k (Extended Int8) Int64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Int8) Int64 Source #
Connection k (Extended Word32) Int64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Word32) Int64 Source #
Connection k (Extended Word16) Int64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Word16) Int64 Source #
Connection k (Extended Word8) Int64 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Word8) Int64 Source #
Connection k (Extended Int16) Int32 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Int16) Int32 Source #
Connection k (Extended Int8) Int32 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Int8) Int32 Source #
Connection k (Extended Word16) Int32 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Word16) Int32 Source #
Connection k (Extended Word8) Int32 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Word8) Int32 Source #
Connection k (Extended Int8) Int16 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Int8) Int16 Source #
Connection k (Extended Word8) Int16 Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast k (Extended Word8) Int16 Source #
Connection L (Extended Int) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Int) (Maybe Integer) Source #
Connection L (Extended Int8) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Int8) (Maybe Integer) Source #
Connection L (Extended Int16) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Int16) (Maybe Integer) Source #
Connection L (Extended Int32) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Int32) (Maybe Integer) Source #
Connection L (Extended Int64) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Int64) (Maybe Integer) Source #
Connection L (Extended Word) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Word) (Maybe Integer) Source #
Connection L (Extended Word8) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Word8) (Maybe Integer) Source #
Connection L (Extended Word16) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Word16) (Maybe Integer) Source #
Connection L (Extended Word32) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Word32) (Maybe Integer) Source #
Connection L (Extended Word64) (Maybe Integer) Source #
Instance details Defined in Data.Connection.Class Methods cast :: Cast L (Extended Word64) (Maybe Integer) Source #