Control.Isomorphism.Partial.Ext.Data

This module contains isomorphism definitions of basic data types for Control.Isomorphism.Partial.

Documentation

succ :: Enum a => Iso a a

Church number succ isomorphism

singleton :: Iso a [a]

A value and singleton list

readShow :: (Read a, Show a) => Iso String a

Isomorphism from read and show

negate :: Num a => Iso a a

Negate number

not :: Iso Bool Bool

Negate boolean

reverse :: Iso [a] [a]

List reverse

digitInt :: Iso Char Int

digit char and integer

chrOrd :: Iso Char Int

char and charactor code

oct :: (Integral a, Show a) => Iso String a

Read and show octal

hex :: (Integral a, Show a) => Iso String a

Read and show hexadecimal

signumAbs :: (Num a, Eq a) => Iso (a, a) a

Isomorphism between signum, abs pair and number

digitsFloat :: RealFloat a => Iso ([Int], Int) a

floatToDigits and that's inverse.

floatTripleDigits :: Iso (String, (String, Int)) ([Int], Int)

Float Triple is (int part, (fraction part, exponent)), and Digits is result of floatToDigits

floatTriple :: RealFloat a => Iso (String, (String, Int)) a

Isomorphism between Float Triple and floating number