connections-0.1.0: Orders, Galois connections, and lattices.

Safe HaskellSafe
LanguageHaskell2010

Data.Connection.Int

Contents

Synopsis

Int8

i08c08 :: ConnL Int8 CChar Source #

i08w08 :: Conn k Int8 Word8 Source #

i08i16 :: ConnL Int8 Int16 Source #

i08i32 :: ConnL Int8 Int32 Source #

i08i64 :: ConnL Int8 Int64 Source #

i08int :: ConnL Int8 (Maybe Integer) Source #

Int16

i16c16 :: ConnL Int16 CShort Source #

i16w16 :: Conn k Int16 Word16 Source #

i16i32 :: ConnL Int16 Int32 Source #

i16i64 :: ConnL Int16 Int64 Source #

i16int :: ConnL Int16 (Maybe Integer) Source #

Int32

i32c32 :: ConnL Int32 CInt Source #

i32w32 :: Conn k Int32 Word32 Source #

i32i64 :: ConnL Int32 Int64 Source #

i32int :: ConnL Int32 (Maybe Integer) Source #

Int64

i64c64 :: ConnL Int64 CLong Source #

i64w64 :: Conn k Int64 Word64 Source #

i64int :: ConnL Int64 (Maybe Integer) Source #

Int

ixxwxx :: Conn k Int Word Source #

ixxi64 :: Conn k Int Int64 Source #

Caution: This assumes that Int on your system is 64 bits.

ixxint :: ConnL Int (Maybe Integer) Source #

Caution: This assumes that Int on your system is 64 bits.

Integer

intnat :: ConnL Integer Natural Source #

natint :: ConnL Natural (Maybe Integer) Source #