convertible-text-0.3.0.10/0000755000000000000000000000000011624533564013426 5ustar0000000000000000convertible-text-0.3.0.10/Setup.lhs0000644000000000000000000000011611624533564015234 0ustar0000000000000000#!/usr/bin/env runhaskell > import Distribution.Simple > main = defaultMain convertible-text-0.3.0.10/runtests.hs0000644000000000000000000000026211624533564015651 0ustar0000000000000000import Test.Framework (defaultMain) import qualified Data.Convertible.Instances.String main :: IO () main = defaultMain [ Data.Convertible.Instances.String.testSuite ] convertible-text-0.3.0.10/convertible-text.cabal0000644000000000000000000000605211624533564017713 0ustar0000000000000000Name: convertible-text Version: 0.3.0.10 License: BSD3 Maintainer: Michael Snoyman Author: John Goerzen, Michael Snoyman Copyright: Copyright (c) 2009-2009 John Goerzen, Copyright (c) 2010-2011 Michael Snoyman license-file: LICENSE extra-source-files: utils/genCinstances.hs homepage: http://github.com/snoyberg/convertible/tree/text Category: Data, Failure synopsis: Typeclasses and instances for converting between types Description: This is a port of John Goerzen's convertible package, intended to distinguish between conversions which are guaranteed to succeed and those which might fail. It uses the attempt package, which in turn uses the failure package, so that this package is fully compatible with the failure framework. . This package currently contains all of the typeclasses and instances for convertible. However, as these features are ported to the convertible package, this package will be left with only the instances for converting to and from text types (String, ByteString (lazy and strict) and Text (lazy and strict). . Be aware that conversions to and from bytestrings assume UTF-8 encoding. If a different encoding is desired, you can use a newtype wrapper and declare an instance of @ConvertAttempt@ or @ConvertSuccess@ on it. . The main module to import is "Data.Convertible.Text". Stability: Stable Build-Type: Simple Cabal-Version: >=1.2 flag buildtests description: Build the executable to run unit tests default: False flag nolib description: Skip building the library. default: False flag time_gte_113 description: time > 1.1.3 has defined some more instances so omit them here library if flag(nolib) Buildable: False else Buildable: True Build-Depends: base >= 4 && < 5, old-time >= 1.0.0.2 && < 1.1, containers >= 0.2.0.1 && < 0.5, text >= 0.5 && < 0.12, bytestring >= 0.9.1.4 && < 0.10, attempt >= 0.3.0 && < 0.4, template-haskell if flag(time_gte_113) Build-Depends: time>=1.1.3 && <= 1.3 CPP-OPTIONS: -DTIME_GTE_113 else Build-Depends: time<1.1.3 GHC-Options: -Wall -fno-warn-orphans Exposed-Modules: Data.Convertible.Text, Data.Convertible.Base, Data.Convertible.Utils, Data.Convertible.Instances, Data.Convertible.Instances.C, Data.Convertible.Instances.Map, Data.Convertible.Instances.Num, Data.Convertible.Instances.Time, Data.Convertible.Instances.Text, Data.Convertible.Instances.String executable runtests if flag(buildtests) Buildable: True cpp-options: -DTEST build-depends: test-framework, test-framework-quickcheck2, test-framework-hunit, HUnit, QuickCheck >= 2 && < 3 else Buildable: False ghc-options: -Wall main-is: runtests.hs convertible-text-0.3.0.10/LICENSE0000644000000000000000000000254611624533564014442 0ustar0000000000000000The following license covers this documentation, and the source code, except where otherwise indicated. Copyright 2010, John Goerzen, Michael Snoyman. All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. convertible-text-0.3.0.10/Data/0000755000000000000000000000000011624533564014277 5ustar0000000000000000convertible-text-0.3.0.10/Data/Convertible/0000755000000000000000000000000011624533564016553 5ustar0000000000000000convertible-text-0.3.0.10/Data/Convertible/Base.hs0000644000000000000000000000775411624533564017776 0ustar0000000000000000{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE ExistentialQuantification #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TemplateHaskell #-} {- Copyright (C) 2009 John Goerzen All rights reserved. For license and copyright information, see the file LICENSE -} {- | Module : Data.Convertible.Base Copyright : Copyright (C) 2009 John Goerzen License : BSD3 Maintainer : Michael Snoyman Stability : provisional Portability: portable -} module Data.Convertible.Base( ConvertAttempt (..), failure, ConvertSuccess (..), cs, ca, ConversionException (..), convertUnsafe, convertAttemptWrap, deriveAttempts ) where import Data.Attempt import Control.Exception (Exception) import Data.Typeable (Typeable) import Language.Haskell.TH ---------------------------------------------------------------------- -- Conversions ---------------------------------------------------------------------- {- | A typeclass that represents something that can attempt a conversion. An @ConvertAttempt a b@ instance represents an @a@ that might be convertible to a @b@. -} class ConvertAttempt a b where {- | Convert @a@ to @b@, returning 'Success' on success and 'Failure' on error. -} convertAttempt :: a -> Attempt b -- | A convenience synonym for 'convertAttempt' ca :: ConvertAttempt x y => x -> Attempt y ca = convertAttempt {- | A typeclass that represents something that guarantees a successful conversion. A @ConvertSuccess a b@ instance represents an @a@ that can be converted to a @b@. -} class ConvertSuccess a b where {- | Convert @a@ to @b@. -} convertSuccess :: a -> b -- | A convenience synonym for 'convertSuccess' cs :: ConvertSuccess x y => x -> y cs = convertSuccess {- | Any type can be converted to itself. -} instance ConvertSuccess a a where convertSuccess = id instance ConvertAttempt a a where convertAttempt = return {- FIXME consider exposing this {- | Lists of any convertible type can be converted. -} instance Convertible a b => Convertible [a] [b] where safeConvert = mapM safeConvert -} {- | Convert from one type of data to another. Raises an exception if there is an error with the conversion. For a function that does not raise an exception in that case, see 'convertAttempt'. -} convertUnsafe :: ConvertAttempt a b => a -> b convertUnsafe = fromSuccess . convertAttempt {- | Wraps any 'Exception' which could occur during a 'convertAttempt'. -} data ConversionException = forall e. Exception e => ConversionException e deriving Typeable instance Show ConversionException where show (ConversionException e) = "ConversionException " ++ show e instance Exception ConversionException {- | Calls 'convertAttempt', wrapping any 'Exception's in a 'ConversionException' -} convertAttemptWrap :: (ConvertAttempt a b, Failure ConversionException m ) => a -> m b convertAttemptWrap = attempt (failure . ConversionException) return . convertAttempt convertAttempt' :: ConvertSuccess x y => x -> Attempt y convertAttempt' = return . convertSuccess -- | Template Haskell to derive 'ConvertAttempt' instances from the -- corresponding 'ConvertSuccess' instances. deriveAttempts :: [(Name, Name)] -> Q [Dec] deriveAttempts pairs = do ca' <- [|convertAttempt'|] return $ map (helper ca') pairs where helper ca' (x, y) = InstanceD [] (ConT (mkName "ConvertAttempt") `AppT` ConT x `AppT` ConT y) [ FunD (mkName "convertAttempt") [ Clause [] (NormalB ca') [] ] ] convertible-text-0.3.0.10/Data/Convertible/Text.hs0000644000000000000000000000225511624533564020037 0ustar0000000000000000{- Copyright (C) 2009 John Goerzen All rights reserved. For license and copyright information, see the file LICENSE -} {- | Module : Data.Convertible.Text Copyright : Copyright (C) 2009 John Goerzen License : BSD3 Maintainer : Michael Snoyman Stability : provisional Portability: portable This is a library to provide a uniform interface for safe conversions between different types of data. To get started reading about it, consult: "Data.Convertible.Base" for information about the conversions themselves "Data.Convertible.Utils" for helpful tools for people writing 'Convertible' instances "Data.Convertible.Instances" for a large collection of ready-built 'Convertible' instances You can import these modules individually, or this module will export the entire library for you. -} module Data.Convertible.Text ( module Data.Convertible.Base, module Data.Convertible.Utils, module Data.Convertible.Instances ) where import Data.Convertible.Base import Data.Convertible.Utils import Data.Convertible.Instances convertible-text-0.3.0.10/Data/Convertible/Utils.hs0000644000000000000000000000744111624533564020215 0ustar0000000000000000{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE FlexibleContexts #-} {- Copyright (C) 2009 John Goerzen All rights reserved. For license and copyright information, see the file LICENSE -} {- | Module : Data.Convertible.Utils Copyright : Copyright (C) 2009 John Goerzen License : BSD3 Maintainer : Michael Snoyman Stability : provisional Portability: portable -} module Data.Convertible.Utils(boundedConversion, ConvertBoundsException (..), mkTypeName, convertAttemptVia, convertSuccessVia ) where import Data.Convertible.Base import Data.Typeable import Data.Attempt import Control.Exception (Exception) {- | Utility function to perform bounds checking as part of a conversion. Does this be examining the bounds of the destination type, converting to the type of the source via 'safeConvert', comparing to the source value. Results in an error if the conversion is out of bounds. -} boundedConversion :: (Ord a, Bounded b, Show a, Show b, ConvertAttempt a Integer, ConvertAttempt b Integer, Typeable a, Typeable b) => (a -> Attempt b) -- ^ Function to do the conversion -> a -- ^ Input data -> Attempt b -- ^ Result boundedConversion func inp = do result <- func inp let smallest = minBound `asTypeOf` result biggest = maxBound `asTypeOf` result smallest' <- convertAttempt smallest :: Attempt Integer biggest' <- convertAttempt biggest :: Attempt Integer inp' <- convertAttempt inp :: Attempt Integer if inp' < smallest' || inp' > biggest' then failure $ ConvertBoundsException smallest biggest inp else return result data ConvertBoundsException v a = ConvertBoundsException v v a deriving Typeable instance (Show v, Show a) => Show (ConvertBoundsException v a) where show (ConvertBoundsException x y a) = "Input value outside of bounds: " ++ show (x, y) ++ ": " ++ show a instance (Show v, Show a, Typeable v, Typeable a) => Exception (ConvertBoundsException v a) {- | Useful for defining 'Typeable' instances. Example: >instance Typeable TimeOfDay where > typeOf _ = mkTypeName "TimeOfDay" -} mkTypeName :: String -> TypeRep mkTypeName name = mkTyConApp (mkTyCon name) [] {- | Useful for defining conversions that are implemented in terms of other conversions via an intermediary type. Instead of: >instance Convertible CalendarTime POSIXTime where > safeConvert a = do r <- safeConvert a > safeConvert (r :: ClockTime) we can now write: >instance Convertible CalendarTime POSIXTime where > safeConvert = convertVia (undefined::ClockTime) which does the same thing -- converts a CalendarTime to a ClockTime, then a ClockTime to a POSIXTime, both using existing 'Convertible' instances. -} convertAttemptVia :: (ConvertAttempt a b, ConvertAttempt b c) => b -- ^ Dummy data to establish intermediate type - can be undefined -> a -- ^ Input value -> Attempt c -- ^ Result convertAttemptVia dummy inp = do r1 <- convertAttempt inp convertAttempt (r1 `asTypeOf` dummy) {- | Same as 'convertAttemptVia' for 'ConvertSuccess' -} convertSuccessVia :: (ConvertSuccess a b, ConvertSuccess b c) => b -- ^ Dummy data to establish intermediate type - can be undefined -> a -- ^ Input value -> c -- ^ Result convertSuccessVia dummy inp = convertSuccess $ convertSuccess inp `asTypeOf` dummy convertible-text-0.3.0.10/Data/Convertible/Instances.hs0000644000000000000000000000213611624533564021040 0ustar0000000000000000{- Copyright (C) 2009 John Goerzen All rights reserved. For license and copyright information, see the file LICENSE -} {- | Module : Data.Convertible.Instances Copyright : Copyright (C) 2009 John Goerzen License : BSD3 Maintainer : Michael Snoyman Stability : provisional Portability: portable Collection of ready-made 'ConvertSuccess' and 'ConvertAttempt' instances. See each individual module for more docs: "Data.Convertible.Instances.C" "Data.Convertible.Instances.Map" "Data.Convertible.Instances.Num" "Data.Convertible.Instances.Time" "Data.Convertible.Instances.Text" "Data.Convertible.Instances.String" You can find a list of these instances at 'ConvertSuccess' and 'ConvertAttempt'. -} module Data.Convertible.Instances ( module Data.Convertible.Instances.String ) where import Data.Convertible.Instances.C() import Data.Convertible.Instances.Map() import Data.Convertible.Instances.Num() import Data.Convertible.Instances.Time() import Data.Convertible.Instances.Text() import Data.Convertible.Instances.String convertible-text-0.3.0.10/Data/Convertible/Instances/0000755000000000000000000000000011624533564020502 5ustar0000000000000000convertible-text-0.3.0.10/Data/Convertible/Instances/Time.hs0000644000000000000000000004060511624533564021741 0ustar0000000000000000{-# LANGUAGE CPP #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeSynonymInstances #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE FlexibleInstances #-} {- | Module : Data.ConvertAttempt.Instances.Time Copyright : Copyright (C) 2009 John Goerzen License : BSD3 Maintainer : Michael Snoyman Stability : provisional Portability: portable Instances to convert between various time structures, both old- and new-style. At present, this module does not do full input validation. That is, it is possible to get an exception rather than a Left result from these functions if your input is invalid, particularly when converting from the old-style System.Time structures. Copyright (C) 2009 John Goerzen All rights reserved. For license and copyright information, see the file LICENSE -} module Data.Convertible.Instances.Time() where import Data.Convertible.Base import Data.Convertible.Utils import Data.Convertible.Instances.Num() import qualified System.Time as ST import Data.Time import Data.Time.Clock.POSIX import Data.Time.Calendar.OrdinalDate #ifndef TIME_GTE_113 import Data.Typeable #endif import Data.Ratio import Foreign.C.Types $(deriveAttempts [ (''NominalDiffTime, ''ST.TimeDiff) , (''POSIXTime, ''ST.ClockTime) , (''ST.CalendarTime, ''ZonedTime) , (''ST.ClockTime, ''POSIXTime) , (''ST.TimeDiff, ''NominalDiffTime) , (''ZonedTime, ''ST.CalendarTime) ]) ---------------------------------------------------------------------- -- Intra-System.Time stuff ---------------------------------------------------------------------- instance ConvertAttempt ST.ClockTime ST.CalendarTime where convertAttempt = return . ST.toUTCTime instance ConvertSuccess ST.ClockTime ST.CalendarTime where convertSuccess = ST.toUTCTime instance ConvertAttempt ST.CalendarTime ST.ClockTime where convertAttempt = return . ST.toClockTime instance ConvertSuccess ST.CalendarTime ST.ClockTime where convertSuccess = ST.toClockTime instance ConvertAttempt ST.ClockTime Integer where convertAttempt (ST.TOD x _) = return x instance ConvertSuccess ST.ClockTime Integer where convertSuccess (ST.TOD x _) = x instance ConvertAttempt Integer ST.ClockTime where convertAttempt x = return $ ST.TOD x 0 instance ConvertSuccess Integer ST.ClockTime where convertSuccess x = ST.TOD x 0 ---------------------------------------------------------------------- -- Intra-Data.Time stuff ---------------------------------------------------------------------- ------------------------------ POSIX and UTC times #ifndef TIME_GTE_113 instance Typeable NominalDiffTime where typeOf _ = mkTypeName "NominalDiffTime" instance Typeable UTCTime where typeOf _ = mkTypeName "UTCTime" #endif {- Covered under Real a instance ConvertAttempt Rational POSIXTime where convertAttempt = return . fromRational -} instance ConvertSuccess Rational POSIXTime where convertSuccess = fromRational instance ConvertSuccess Integer POSIXTime where convertSuccess = fromInteger instance ConvertSuccess Int POSIXTime where convertSuccess = fromIntegral instance ConvertSuccess Double POSIXTime where convertSuccess = realToFrac instance ConvertAttempt Rational POSIXTime where convertAttempt = return . fromRational instance ConvertAttempt Integer POSIXTime where convertAttempt = return . fromInteger instance ConvertAttempt Int POSIXTime where convertAttempt = return . fromIntegral instance ConvertAttempt Double POSIXTime where convertAttempt = return . realToFrac instance ConvertSuccess POSIXTime Integer where convertSuccess = truncate instance ConvertSuccess POSIXTime Rational where convertSuccess = toRational instance ConvertSuccess POSIXTime Double where convertSuccess = realToFrac instance ConvertAttempt POSIXTime Integer where convertAttempt = return . truncate instance ConvertAttempt POSIXTime Rational where convertAttempt = return . toRational instance ConvertAttempt POSIXTime Double where convertAttempt = return . realToFrac instance ConvertAttempt POSIXTime Int where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess POSIXTime UTCTime where convertSuccess = posixSecondsToUTCTime instance ConvertSuccess UTCTime POSIXTime where convertSuccess = utcTimeToPOSIXSeconds instance ConvertAttempt POSIXTime UTCTime where convertAttempt = return . posixSecondsToUTCTime instance ConvertAttempt UTCTime POSIXTime where convertAttempt = return . utcTimeToPOSIXSeconds instance ConvertSuccess Rational UTCTime where convertSuccess = posixSecondsToUTCTime . convertSuccess instance ConvertSuccess Integer UTCTime where convertSuccess = posixSecondsToUTCTime . convertSuccess instance ConvertSuccess Int UTCTime where convertSuccess = posixSecondsToUTCTime . convertSuccess instance ConvertSuccess Double UTCTime where convertSuccess = posixSecondsToUTCTime . convertSuccess instance ConvertAttempt Rational UTCTime where convertAttempt a = convertAttempt a >>= return . posixSecondsToUTCTime instance ConvertAttempt Integer UTCTime where convertAttempt a = convertAttempt a >>= return . posixSecondsToUTCTime instance ConvertAttempt Int UTCTime where convertAttempt a = convertAttempt a >>= return . posixSecondsToUTCTime instance ConvertAttempt Double UTCTime where convertAttempt a = convertAttempt a >>= return . posixSecondsToUTCTime instance ConvertSuccess UTCTime Rational where convertSuccess = convertSuccess . utcTimeToPOSIXSeconds instance ConvertSuccess UTCTime Integer where convertSuccess = convertSuccess . utcTimeToPOSIXSeconds instance ConvertSuccess UTCTime Double where convertSuccess = convertSuccess . utcTimeToPOSIXSeconds instance ConvertAttempt UTCTime Rational where convertAttempt = convertAttempt . utcTimeToPOSIXSeconds instance ConvertAttempt UTCTime Integer where convertAttempt = convertAttempt . utcTimeToPOSIXSeconds instance ConvertAttempt UTCTime Double where convertAttempt = convertAttempt . utcTimeToPOSIXSeconds instance ConvertAttempt UTCTime Int where convertAttempt = boundedConversion (convertAttempt . utcTimeToPOSIXSeconds) ------------------------------ LocalTime stuff instance ConvertSuccess UTCTime ZonedTime where convertSuccess = utcToZonedTime utc instance ConvertSuccess POSIXTime ZonedTime where convertSuccess = utcToZonedTime utc . posixSecondsToUTCTime instance ConvertSuccess ZonedTime UTCTime where convertSuccess = zonedTimeToUTC instance ConvertSuccess ZonedTime POSIXTime where convertSuccess = utcTimeToPOSIXSeconds . zonedTimeToUTC instance ConvertAttempt UTCTime ZonedTime where convertAttempt = return . utcToZonedTime utc instance ConvertAttempt POSIXTime ZonedTime where convertAttempt = return . utcToZonedTime utc . posixSecondsToUTCTime instance ConvertAttempt ZonedTime UTCTime where convertAttempt = return . zonedTimeToUTC instance ConvertAttempt ZonedTime POSIXTime where convertAttempt = return . utcTimeToPOSIXSeconds . zonedTimeToUTC {- Too obvious? instance ConvertAttempt LocalTime Day where convertAttempt = return . localDay instance ConvertAttempt LocalTime TimeOfDay where convertAttempt = return . localTimeOfDay -} ---------------------------------------------------------------------- -- Conversions between old and new time ---------------------------------------------------------------------- instance ConvertSuccess ST.CalendarTime ZonedTime where convertSuccess ct = ZonedTime { zonedTimeToLocalTime = LocalTime { localDay = fromGregorian (fromIntegral $ ST.ctYear ct) (1 + (fromEnum $ ST.ctMonth ct)) (ST.ctDay ct), localTimeOfDay = TimeOfDay { todHour = ST.ctHour ct, todMin = ST.ctMin ct, todSec = (fromIntegral $ ST.ctSec ct) + fromRational (ST.ctPicosec ct % 1000000000000) } }, zonedTimeZone = TimeZone { timeZoneMinutes = ST.ctTZ ct `div` 60, timeZoneSummerOnly = ST.ctIsDST ct, timeZoneName = ST.ctTZName ct} } instance ConvertSuccess ST.CalendarTime POSIXTime where convertSuccess = convertSuccessVia (undefined::ST.ClockTime) instance ConvertSuccess ST.CalendarTime UTCTime where convertSuccess = convertSuccessVia (undefined::POSIXTime) instance ConvertAttempt ST.CalendarTime POSIXTime where convertAttempt = convertAttemptVia (undefined::ST.ClockTime) instance ConvertAttempt ST.CalendarTime UTCTime where convertAttempt = convertAttemptVia (undefined::POSIXTime) instance ConvertSuccess ST.ClockTime POSIXTime where convertSuccess (ST.TOD x y) = fromRational $ fromInteger x + fromRational (y % 1000000000000) instance ConvertSuccess ST.ClockTime UTCTime where convertSuccess = convertSuccessVia (undefined::POSIXTime) instance ConvertSuccess ST.ClockTime ZonedTime where convertSuccess = convertSuccessVia (undefined::UTCTime) instance ConvertSuccess ZonedTime ST.ClockTime where convertSuccess = convertSuccessVia (undefined::POSIXTime) instance ConvertAttempt ST.ClockTime UTCTime where convertAttempt = convertAttemptVia (undefined::POSIXTime) instance ConvertAttempt ST.ClockTime ZonedTime where convertAttempt = convertAttemptVia (undefined::UTCTime) instance ConvertAttempt ZonedTime ST.ClockTime where convertAttempt = convertAttemptVia (undefined::POSIXTime) instance ConvertSuccess POSIXTime ST.ClockTime where convertSuccess x = ST.TOD rsecs rpico where rsecs = floor x rpico = truncate $ abs $ 1000000000000 * (x - (fromIntegral rsecs)) instance ConvertSuccess UTCTime ST.ClockTime where convertSuccess = convertSuccess . utcTimeToPOSIXSeconds instance ConvertAttempt UTCTime ST.ClockTime where convertAttempt = convertAttempt . utcTimeToPOSIXSeconds instance ConvertSuccess ZonedTime ST.CalendarTime where convertSuccess zt = ST.CalendarTime { ST.ctYear = fromIntegral year, ST.ctMonth = toEnum (month - 1), ST.ctDay = day, ST.ctHour = todHour ltod, ST.ctMin = todMin ltod, ST.ctSec = secs, ST.ctPicosec = pico, ST.ctWDay = toEnum . snd . sundayStartWeek . localDay . zonedTimeToLocalTime $ zt, ST.ctYDay = (snd . toOrdinalDate . localDay . zonedTimeToLocalTime $ zt) - 1, ST.ctTZName = timeZoneName . zonedTimeZone $ zt, ST.ctTZ = (timeZoneMinutes . zonedTimeZone $ zt) * 60, ST.ctIsDST = timeZoneSummerOnly . zonedTimeZone $ zt } where (year, month, day) = toGregorian . localDay . zonedTimeToLocalTime $ zt ltod = localTimeOfDay . zonedTimeToLocalTime $ zt secs = (truncate . todSec $ ltod)::Int picoRational = toRational (todSec ltod) - toRational secs pico = truncate (picoRational * 1000000000000) instance ConvertSuccess POSIXTime ST.CalendarTime where convertSuccess = convertSuccessVia (undefined::ZonedTime) instance ConvertSuccess UTCTime ST.CalendarTime where convertSuccess = convertSuccess . utcTimeToPOSIXSeconds instance ConvertAttempt POSIXTime ST.CalendarTime where convertAttempt = convertAttemptVia (undefined::ZonedTime) instance ConvertAttempt UTCTime ST.CalendarTime where convertAttempt = convertAttempt . utcTimeToPOSIXSeconds instance ConvertSuccess ST.TimeDiff NominalDiffTime where {- This is a clever hack. We convert the TimeDiff to a ClockTime, applying it as a diff vs. the epoch. Converting this ClockTime to a POSIXTime yiels the NominalDiffTime we want, since a POSIXTime is a NominalDiffTime vs. the epoch. -} convertSuccess td = convertSuccess clockTime where clockTime = ST.addToClockTime td (ST.TOD 0 0) instance ConvertSuccess NominalDiffTime ST.TimeDiff where {- Similar clever hack as above. -} convertSuccess ndt = let clockt = convertSuccess ndt in ST.diffClockTimes clockt (ST.TOD 0 0) instance ConvertSuccess Integer ST.TimeDiff where convertSuccess = convertSuccessVia (undefined::NominalDiffTime) instance ConvertSuccess Double ST.TimeDiff where convertSuccess = convertSuccessVia (undefined::NominalDiffTime) instance ConvertSuccess ST.TimeDiff Integer where convertSuccess = convertSuccessVia (undefined :: NominalDiffTime) instance ConvertSuccess ST.TimeDiff Rational where convertSuccess = convertSuccessVia (undefined :: NominalDiffTime) instance ConvertSuccess ST.TimeDiff Double where convertSuccess = convertSuccessVia (undefined :: NominalDiffTime) instance ConvertAttempt Integer ST.TimeDiff where convertAttempt = convertAttemptVia (undefined::NominalDiffTime) instance ConvertAttempt Double ST.TimeDiff where convertAttempt = convertAttemptVia (undefined::NominalDiffTime) instance ConvertAttempt ST.TimeDiff Integer where convertAttempt = convertAttemptVia (undefined :: NominalDiffTime) instance ConvertAttempt ST.TimeDiff Rational where convertAttempt = convertAttemptVia (undefined :: NominalDiffTime) instance ConvertAttempt ST.TimeDiff Double where convertAttempt = convertAttemptVia (undefined :: NominalDiffTime) ---------------------------------------------------------------------- -- Foreign.C Types ---------------------------------------------------------------------- instance ConvertSuccess CTime POSIXTime where convertSuccess = realToFrac instance ConvertSuccess POSIXTime CTime where convertSuccess = fromInteger . truncate instance ConvertSuccess CTime Integer where convertSuccess = truncate . toRational instance ConvertSuccess Integer CTime where convertSuccess = fromInteger instance ConvertSuccess CTime Double where convertSuccess = realToFrac instance ConvertSuccess Double CTime where convertSuccess = fromInteger . truncate instance ConvertAttempt CTime POSIXTime where convertAttempt = return . realToFrac instance ConvertAttempt POSIXTime CTime where convertAttempt = return . fromInteger . truncate instance ConvertAttempt CTime Integer where convertAttempt = return . truncate . toRational instance ConvertAttempt Integer CTime where convertAttempt = return . fromInteger instance ConvertAttempt CTime Double where convertAttempt = return . realToFrac instance ConvertAttempt Double CTime where convertAttempt = return . fromInteger . truncate instance ConvertAttempt CTime Int where convertAttempt x = do r1 <- convertAttempt x boundedConversion (return . fromInteger) r1 instance ConvertAttempt Int CTime where convertAttempt = convertAttempt . toInteger instance ConvertSuccess Int CTime where convertSuccess = convertSuccess . toInteger instance ConvertSuccess CTime UTCTime where convertSuccess = convertSuccessVia (undefined :: POSIXTime) instance ConvertSuccess UTCTime CTime where convertSuccess = convertSuccessVia (undefined :: POSIXTime) instance ConvertAttempt CTime UTCTime where convertAttempt = convertAttemptVia (undefined :: POSIXTime) instance ConvertAttempt UTCTime CTime where convertAttempt = convertAttemptVia (undefined :: POSIXTime) instance ConvertSuccess CTime ST.ClockTime where convertSuccess = convertSuccessVia (undefined :: POSIXTime) instance ConvertSuccess ST.ClockTime CTime where convertSuccess = convertSuccessVia (undefined :: POSIXTime) instance ConvertAttempt CTime ST.ClockTime where convertAttempt = convertAttemptVia (undefined :: POSIXTime) instance ConvertAttempt ST.ClockTime CTime where convertAttempt = convertAttemptVia (undefined :: POSIXTime) instance ConvertSuccess CTime ST.CalendarTime where convertSuccess = convertSuccessVia (undefined::POSIXTime) instance ConvertSuccess ST.CalendarTime CTime where convertSuccess = convertSuccessVia (undefined::POSIXTime) instance ConvertAttempt CTime ST.CalendarTime where convertAttempt = convertAttemptVia (undefined::POSIXTime) instance ConvertAttempt ST.CalendarTime CTime where convertAttempt = convertAttemptVia (undefined::POSIXTime) instance ConvertSuccess CTime ZonedTime where convertSuccess = convertSuccessVia (undefined::POSIXTime) instance ConvertSuccess ZonedTime CTime where convertSuccess = convertSuccessVia (undefined::POSIXTime) instance ConvertAttempt CTime ZonedTime where convertAttempt = convertAttemptVia (undefined::POSIXTime) instance ConvertAttempt ZonedTime CTime where convertAttempt = convertAttemptVia (undefined::POSIXTime) convertible-text-0.3.0.10/Data/Convertible/Instances/Num.hs0000644000000000000000000005543711624533564021613 0ustar0000000000000000{-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeSynonymInstances #-} {-# LANGUAGE TemplateHaskell #-} {- | Module : Data.Convertible.Instances.Num Copyright : Copyright (C) 2009 John Goerzen License : BSD3 Maintainer : Michael Snoyman Stability : provisional Portability: portable Numeric instances for Convertible. Copyright (C) 2009 John Goerzen All rights reserved. For license and copyright information, see the file LICENSE These instances perform conversion between numeric types such as Double, Int, Integer, Rational, and the like. Here are some notes about the conversion process: Conversions from floating-point types such as Double to integral types are dune via the 'truncate' function. This is a somewhat arbitrary decision; if you need different behavior, you will have to write your own instance or manually perform the conversion. All conversions perform bounds checking. If a value is too large for its destination type, you will get a 'ConvertError' informing you of this. Note that this behavior differs from functions in the Haskell standard libraries, which will perform the conversion without error, but give you garbage in the end. Conversions do not perform precision checking; loss of precision is implied with certain conversions (for instance, Double to Float) and this is not an error. -} module Data.Convertible.Instances.Num() where import Data.Convertible.Base import Data.Convertible.Utils import Data.Int import Data.Word ------------------------------------------------------------ instance ConvertSuccess Char Integer where convertSuccess = fromIntegral . fromEnum instance ConvertAttempt Char Integer where convertAttempt = return . convertSuccess $(deriveAttempts [ (''Double, ''Integer) , (''Float, ''Integer) , (''Rational, ''Integer) , (''Int, ''Integer) , (''Int8, ''Integer) , (''Int16, ''Integer) , (''Int32, ''Integer) , (''Int64, ''Integer) , (''Word, ''Integer) , (''Word8, ''Integer) , (''Word16, ''Integer) , (''Word32, ''Integer) , (''Word64, ''Integer) , (''Integer, ''Double) , (''Integer, ''Float) , (''Integer, ''Rational) , (''Int, ''Double) , (''Int8, ''Double) , (''Int16, ''Double) , (''Int32, ''Double) , (''Int64, ''Double) , (''Word, ''Double) , (''Word8, ''Double) , (''Word16, ''Double) , (''Word32, ''Double) , (''Word64, ''Double) , (''Int, ''Float) , (''Int8, ''Float) , (''Int16, ''Float) , (''Int32, ''Float) , (''Int64, ''Float) , (''Word, ''Float) , (''Word8, ''Float) , (''Word16, ''Float) , (''Word32, ''Float) , (''Word64, ''Float) , (''Int, ''Rational) , (''Int8, ''Rational) , (''Int16, ''Rational) , (''Int32, ''Rational) , (''Int64, ''Rational) , (''Word, ''Rational) , (''Word8, ''Rational) , (''Word16, ''Rational) , (''Word32, ''Rational) , (''Word64, ''Rational) , (''Double, ''Float) , (''Double, ''Rational) , (''Float, ''Double) , (''Float, ''Rational) , (''Rational, ''Double) , (''Rational, ''Float) ]) {- The following instances generated by util/genNumInstances.hs -} instance ConvertAttempt Integer Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Int Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Int8 Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Int16 Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Int32 Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Int64 Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Word Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Word8 Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Word16 Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Word32 Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Word64 Integer where convertSuccess = fromIntegral instance ConvertAttempt Int Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess Integer Double where convertSuccess = fromIntegral instance ConvertSuccess Double Integer where convertSuccess = truncate instance ConvertSuccess Integer Float where convertSuccess = fromIntegral instance ConvertSuccess Float Integer where convertSuccess = truncate instance ConvertSuccess Integer Rational where convertSuccess = fromIntegral instance ConvertSuccess Rational Integer where convertSuccess = truncate instance ConvertAttempt Double Int where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int Double where convertSuccess = fromIntegral instance ConvertAttempt Double Int8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int8 Double where convertSuccess = fromIntegral instance ConvertAttempt Double Int16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int16 Double where convertSuccess = fromIntegral instance ConvertAttempt Double Int32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int32 Double where convertSuccess = fromIntegral instance ConvertAttempt Double Int64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int64 Double where convertSuccess = fromIntegral instance ConvertAttempt Double Word where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word Double where convertSuccess = fromIntegral instance ConvertAttempt Double Word8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word8 Double where convertSuccess = fromIntegral instance ConvertAttempt Double Word16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word16 Double where convertSuccess = fromIntegral instance ConvertAttempt Double Word32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word32 Double where convertSuccess = fromIntegral instance ConvertAttempt Double Word64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word64 Double where convertSuccess = fromIntegral instance ConvertAttempt Float Int where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int Float where convertSuccess = fromIntegral instance ConvertAttempt Float Int8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int8 Float where convertSuccess = fromIntegral instance ConvertAttempt Float Int16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int16 Float where convertSuccess = fromIntegral instance ConvertAttempt Float Int32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int32 Float where convertSuccess = fromIntegral instance ConvertAttempt Float Int64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int64 Float where convertSuccess = fromIntegral instance ConvertAttempt Float Word where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word Float where convertSuccess = fromIntegral instance ConvertAttempt Float Word8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word8 Float where convertSuccess = fromIntegral instance ConvertAttempt Float Word16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word16 Float where convertSuccess = fromIntegral instance ConvertAttempt Float Word32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word32 Float where convertSuccess = fromIntegral instance ConvertAttempt Float Word64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word64 Float where convertSuccess = fromIntegral instance ConvertAttempt Rational Int where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int Rational where convertSuccess = fromIntegral instance ConvertAttempt Rational Int8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int8 Rational where convertSuccess = fromIntegral instance ConvertAttempt Rational Int16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int16 Rational where convertSuccess = fromIntegral instance ConvertAttempt Rational Int32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int32 Rational where convertSuccess = fromIntegral instance ConvertAttempt Rational Int64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int64 Rational where convertSuccess = fromIntegral instance ConvertAttempt Rational Word where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word Rational where convertSuccess = fromIntegral instance ConvertAttempt Rational Word8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word8 Rational where convertSuccess = fromIntegral instance ConvertAttempt Rational Word16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word16 Rational where convertSuccess = fromIntegral instance ConvertAttempt Rational Word32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word32 Rational where convertSuccess = fromIntegral instance ConvertAttempt Rational Word64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word64 Rational where convertSuccess = fromIntegral instance ConvertSuccess Double Float where convertSuccess = realToFrac instance ConvertSuccess Double Rational where convertSuccess = toRational instance ConvertSuccess Float Double where convertSuccess = realToFrac instance ConvertSuccess Float Rational where convertSuccess = toRational instance ConvertSuccess Rational Double where convertSuccess = realToFrac instance ConvertSuccess Rational Float where convertSuccess = realToFrac instance ConvertAttempt Char Int where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Int Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char Int8 where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Int8 Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char Int16 where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Int16 Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char Int32 where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Int32 Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char Int64 where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Int64 Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char Word where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Word Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char Word8 where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Word8 Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char Word16 where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Word16 Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char Word32 where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Word32 Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char Word64 where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt Word64 Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) convertible-text-0.3.0.10/Data/Convertible/Instances/Map.hs0000644000000000000000000000175211624533564021560 0ustar0000000000000000{-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {- | Module : Data.Convertible.Instances.Map Copyright : Copyright (C) 2009 John Goerzen License : BSD3 Maintainer : Michael Snoyman Stability : provisional Portability: portable Instances to convert between Map and association list. Copyright (C) 2009 John Goerzen All rights reserved. For license and copyright information, see the file LICENSE -} module Data.Convertible.Instances.Map() where import Data.Convertible.Base import qualified Data.Map as Map instance Ord k => ConvertSuccess [(k, a)] (Map.Map k a) where convertSuccess = Map.fromList instance Ord k => ConvertAttempt [(k, a)] (Map.Map k a) where convertAttempt = return . convertSuccess instance ConvertSuccess (Map.Map k a) [(k, a)] where convertSuccess = Map.toList instance ConvertAttempt (Map.Map k a) [(k, a)] where convertAttempt = return . convertSuccess convertible-text-0.3.0.10/Data/Convertible/Instances/Text.hs0000644000000000000000000000723411624533564021770 0ustar0000000000000000{-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeSynonymInstances #-} {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -fno-warn-orphans #-} --------------------------------------------------------- -- -- Module : Data.Convertible.Instances.Text -- Copyright : Michael Snoyman -- License : BSD3 -- -- Maintainer : Michael Snoyman -- Stability : Stable -- Portability : portable -- --------------------------------------------------------- -- | Instances to convert amongst 'String's, strict bytestrings, lazy -- bytestrings, strict text and lazy text. module Data.Convertible.Instances.Text () where import Data.Convertible.Base import qualified Data.ByteString as BS import qualified Data.ByteString.Lazy as BL import qualified Data.Text as ST import qualified Data.Text.Lazy as LT import qualified Data.Text.Encoding as STE import qualified Data.Text.Encoding.Error as TEE $(deriveAttempts [ (''BL.ByteString, ''BS.ByteString) , (''BL.ByteString, ''String) , (''BL.ByteString, ''LT.Text) , (''BL.ByteString, ''ST.Text) , (''BS.ByteString, ''BL.ByteString) , (''BS.ByteString, ''String) , (''BS.ByteString, ''LT.Text) , (''BS.ByteString, ''ST.Text) , (''String, ''BL.ByteString) , (''String, ''BS.ByteString) , (''String, ''LT.Text) , (''String, ''ST.Text) , (''LT.Text, ''BL.ByteString) , (''LT.Text, ''BS.ByteString) , (''LT.Text, ''String) , (''LT.Text, ''ST.Text) , (''ST.Text, ''BL.ByteString) , (''ST.Text, ''BS.ByteString) , (''ST.Text, ''String) , (''ST.Text, ''LT.Text) ]) toST :: ConvertSuccess a ST.Text => a -> ST.Text toST = convertSuccess toLT :: ConvertSuccess a LT.Text => a -> LT.Text toLT = convertSuccess instance ConvertSuccess [Char] BS.ByteString where convertSuccess = convertSuccess . toST instance ConvertSuccess [Char] BL.ByteString where convertSuccess = convertSuccess . toLT instance ConvertSuccess [Char] ST.Text where convertSuccess = ST.pack instance ConvertSuccess [Char] LT.Text where convertSuccess = LT.pack instance ConvertSuccess BS.ByteString [Char] where convertSuccess = convertSuccess . toST instance ConvertSuccess BS.ByteString BL.ByteString where convertSuccess = BL.fromChunks . return instance ConvertSuccess BS.ByteString ST.Text where convertSuccess = STE.decodeUtf8With TEE.lenientDecode instance ConvertSuccess BS.ByteString LT.Text where convertSuccess = convertSuccess . toST instance ConvertSuccess BL.ByteString [Char] where convertSuccess = convertSuccess . toLT instance ConvertSuccess BL.ByteString BS.ByteString where convertSuccess = BS.concat . BL.toChunks instance ConvertSuccess BL.ByteString ST.Text where convertSuccess = convertSuccess . BS.concat . BL.toChunks instance ConvertSuccess BL.ByteString LT.Text where convertSuccess = LT.fromChunks . map cs . BL.toChunks instance ConvertSuccess ST.Text [Char] where convertSuccess = ST.unpack instance ConvertSuccess ST.Text BS.ByteString where convertSuccess = STE.encodeUtf8 instance ConvertSuccess ST.Text BL.ByteString where convertSuccess = convertSuccess . STE.encodeUtf8 instance ConvertSuccess ST.Text LT.Text where convertSuccess = LT.fromChunks . return instance ConvertSuccess LT.Text [Char] where convertSuccess = LT.unpack instance ConvertSuccess LT.Text BS.ByteString where convertSuccess = convertSuccess . toST instance ConvertSuccess LT.Text BL.ByteString where convertSuccess = BL.fromChunks . map STE.encodeUtf8 . LT.toChunks instance ConvertSuccess LT.Text ST.Text where convertSuccess = ST.concat . LT.toChunks convertible-text-0.3.0.10/Data/Convertible/Instances/C.hs0000644000000000000000000015755711624533564021244 0ustar0000000000000000{-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeSynonymInstances #-} {-# LANGUAGE TemplateHaskell #-} {- | Module : Data.Convertible.Instances.C Copyright : Copyright (C) 2009 John Goerzen License : BSD3 Maintainer : Michael Snoyman Stability : provisional Portability: portable Numeric instances for Convertible for C types. See comments in "Data.Convertible.Instances.Num". Copyright (C) 2009 John Goerzen All rights reserved. For license and copyright information, see the file LICENSE -} module Data.Convertible.Instances.C() where import Data.Convertible.Base import Data.Convertible.Utils import Data.Convertible.Instances.Num() import Data.Int import Data.Word import Foreign.C.Types $(deriveAttempts [ (''CChar, ''Integer) , (''CDouble, ''CFloat) , (''CDouble, ''Double) , (''CDouble, ''Float) , (''CDouble, ''Integer) , (''CDouble, ''Rational) , (''CFloat, ''CDouble) , (''CFloat, ''Double) , (''CFloat, ''Float) , (''CFloat, ''Integer) , (''CFloat, ''Rational) , (''CInt, ''Integer) , (''CLLong, ''Integer) , (''CLong, ''Integer) , (''CSChar, ''Integer) , (''CShort, ''Integer) , (''CSize, ''Integer) , (''CUChar, ''Integer) , (''CUInt, ''Integer) , (''CULLong, ''Integer) , (''CULong, ''Integer) , (''CUShort, ''Integer) , (''CWchar, ''Integer) , (''Double, ''CDouble) , (''Double, ''CFloat) , (''Float, ''CDouble) , (''Float, ''CFloat) , (''Int16, ''CDouble) , (''Int16, ''CFloat) , (''Int32, ''CDouble) , (''Int32, ''CFloat) , (''Int64, ''CDouble) , (''Int64, ''CFloat) , (''Int8, ''CDouble) , (''Int8, ''CFloat) , (''Int, ''CDouble) , (''Int, ''CFloat) , (''Integer, ''CDouble) , (''Integer, ''CFloat) , (''Rational, ''CDouble) , (''Rational, ''CFloat) , (''Word16, ''CDouble) , (''Word16, ''CFloat) , (''Word32, ''CDouble) , (''Word32, ''CFloat) , (''Word64, ''CDouble) , (''Word64, ''CFloat) , (''Word8, ''CDouble) , (''Word8, ''CFloat) , (''Word, ''CDouble) , (''Word, ''CFloat) ]) -- remainder of this file generated by utils/genCinstances.hs -- Section 1 instance ConvertAttempt CFloat Int where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int CFloat where convertSuccess= fromIntegral instance ConvertAttempt CFloat Int8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int8 CFloat where convertSuccess= fromIntegral instance ConvertAttempt CFloat Int16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int16 CFloat where convertSuccess= fromIntegral instance ConvertAttempt CFloat Int32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int32 CFloat where convertSuccess= fromIntegral instance ConvertAttempt CFloat Int64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int64 CFloat where convertSuccess= fromIntegral instance ConvertAttempt CFloat Word where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word CFloat where convertSuccess= fromIntegral instance ConvertAttempt CFloat Word8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word8 CFloat where convertSuccess= fromIntegral instance ConvertAttempt CFloat Word16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word16 CFloat where convertSuccess= fromIntegral instance ConvertAttempt CFloat Word32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word32 CFloat where convertSuccess= fromIntegral instance ConvertAttempt CFloat Word64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word64 CFloat where convertSuccess= fromIntegral instance ConvertAttempt CDouble Int where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int CDouble where convertSuccess= fromIntegral instance ConvertAttempt CDouble Int8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int8 CDouble where convertSuccess= fromIntegral instance ConvertAttempt CDouble Int16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int16 CDouble where convertSuccess= fromIntegral instance ConvertAttempt CDouble Int32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int32 CDouble where convertSuccess= fromIntegral instance ConvertAttempt CDouble Int64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Int64 CDouble where convertSuccess= fromIntegral instance ConvertAttempt CDouble Word where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word CDouble where convertSuccess= fromIntegral instance ConvertAttempt CDouble Word8 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word8 CDouble where convertSuccess= fromIntegral instance ConvertAttempt CDouble Word16 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word16 CDouble where convertSuccess= fromIntegral instance ConvertAttempt CDouble Word32 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word32 CDouble where convertSuccess= fromIntegral instance ConvertAttempt CDouble Word64 where convertAttempt = boundedConversion (return . truncate) instance ConvertSuccess Word64 CDouble where convertSuccess= fromIntegral -- Section 2 instance ConvertSuccess CFloat Double where convertSuccess = realToFrac instance ConvertSuccess Double CFloat where convertSuccess = realToFrac instance ConvertSuccess CFloat Float where convertSuccess = realToFrac instance ConvertSuccess Float CFloat where convertSuccess = realToFrac instance ConvertSuccess CFloat Rational where convertSuccess = realToFrac instance ConvertSuccess Rational CFloat where convertSuccess = realToFrac instance ConvertSuccess CDouble Double where convertSuccess = realToFrac instance ConvertSuccess Double CDouble where convertSuccess = realToFrac instance ConvertSuccess CDouble Float where convertSuccess = realToFrac instance ConvertSuccess Float CDouble where convertSuccess = realToFrac instance ConvertSuccess CDouble Rational where convertSuccess = realToFrac instance ConvertSuccess Rational CDouble where convertSuccess = realToFrac -- Section 3 instance ConvertAttempt CChar Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Int where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Int8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int8 CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Int16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int16 CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Int32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int32 CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Int64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Int64 CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Word where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Word8 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word8 CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Word16 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word16 CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Word32 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word32 CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong Word64 where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt Word64 CULLong where convertAttempt = boundedConversion (return . fromIntegral) -- Section 4 instance ConvertAttempt CChar CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CChar CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSChar CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUChar CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CShort CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUShort CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CInt CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CUInt CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLong CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULong CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CSize CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CWchar CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CLLong CULLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertAttempt CULLong CLLong where convertAttempt = boundedConversion (return . fromIntegral) -- Section 5 instance ConvertSuccess CFloat CDouble where convertSuccess = realToFrac instance ConvertSuccess CDouble CFloat where convertSuccess = realToFrac -- Section 6 instance ConvertSuccess CFloat Integer where convertSuccess = truncate instance ConvertSuccess Integer CFloat where convertSuccess = fromIntegral instance ConvertSuccess CDouble Integer where convertSuccess = truncate instance ConvertSuccess Integer CDouble where convertSuccess = fromIntegral -- Section 7 instance ConvertSuccess CChar Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CSChar Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CSChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CUChar Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CUChar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CShort Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CUShort Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CUShort where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CInt Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CUInt Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CUInt where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CLong Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CULong Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CULong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CSize Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CSize where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CWchar Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CWchar where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CLLong Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CLLong where convertAttempt = boundedConversion (return . fromIntegral) instance ConvertSuccess CULLong Integer where convertSuccess = fromIntegral instance ConvertAttempt Integer CULLong where convertAttempt = boundedConversion (return . fromIntegral) -- Section 8o instance ConvertAttempt CChar Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CChar where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CSChar Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CSChar where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CUChar Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CUChar where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CShort Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CShort where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CUShort Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CUShort where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CInt Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CInt where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CUInt Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CUInt where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CLong Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CLong where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CULong Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CULong where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CSize Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CSize where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CWchar Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CWchar where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CLLong Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CLLong where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) instance ConvertAttempt CULLong Char where convertAttempt = boundedConversion (return . toEnum . fromIntegral) instance ConvertAttempt Char CULLong where convertAttempt = boundedConversion (return . fromIntegral . fromEnum) convertible-text-0.3.0.10/Data/Convertible/Instances/String.hs0000644000000000000000000002141311624533564022305 0ustar0000000000000000{-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE TypeSynonymInstances #-} {-# LANGUAGE CPP #-} {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -fno-warn-orphans #-} --------------------------------------------------------- -- -- Module : Data.Convertible.Instances.String -- Copyright : Michael Snoyman -- License : BSD3 -- -- Maintainer : Michael Snoyman -- Stability : Stable -- Portability : portable -- --------------------------------------------------------- -- | Instances of 'ConvertSuccess' and 'ConvertAttempt' for 'String', along -- with instances for bytestrings and text (lazy and strict). module Data.Convertible.Instances.String ( InvalidDayException (..) , InvalidBoolException (..) #if TEST , testSuite #endif ) where import Data.Convertible.Base import Data.Typeable (Typeable) import Control.Exception (Exception) import Data.Convertible.Instances.Text () import Data.Attempt import Control.Monad ((<=<), unless) import qualified Data.ByteString as BS import qualified Data.ByteString.Lazy as BL import qualified Data.Text as ST import qualified Data.Text.Lazy as LT import Data.Time.Calendar import Data.Ratio #if TEST import Test.Framework (testGroup, Test) --import Test.Framework.Providers.HUnit import Test.Framework.Providers.QuickCheck2 (testProperty) --import Test.HUnit hiding (Test, path) import Data.Char (isDigit) #endif $(deriveAttempts [ (''Bool, ''BL.ByteString) , (''Bool, ''BS.ByteString) , (''Bool, ''String) , (''Bool, ''LT.Text) , (''Bool, ''ST.Text) , (''Day, ''BL.ByteString) , (''Day, ''BS.ByteString) , (''Day, ''String) , (''Day, ''LT.Text) , (''Day, ''ST.Text) , (''Int, ''BL.ByteString) , (''Int, ''BS.ByteString) , (''Int, ''String) , (''Int, ''LT.Text) , (''Int, ''ST.Text) , (''Rational, ''BL.ByteString) , (''Rational, ''BS.ByteString) , (''Rational, ''String) , (''Rational, ''LT.Text) , (''Rational, ''ST.Text) ]) {- Not needed yet fromString :: ConvertSuccess String a => String -> a fromString = convertSuccess -} fromStringA :: ConvertAttempt String a => String -> Attempt a fromStringA = convertAttempt toString :: ConvertSuccess a String => a -> String toString = convertSuccess -- Day data InvalidDayException = InvalidDayException String deriving (Show, Typeable) instance Exception InvalidDayException instance ConvertSuccess Day [Char] where convertSuccess = show instance ConvertAttempt [Char] Day where convertAttempt s = wrapFailure (const $ InvalidDayException s) $ do unless (length s == 10) $ failure $ InvalidDayException s y <- ca $ take 4 s m <- ca $ take 2 $ drop 5 s d <- ca $ take 2 $ drop 8 s return $ fromGregorian y m d -- Bool data InvalidBoolException = InvalidBoolException String deriving (Show, Typeable) instance Exception InvalidBoolException instance ConvertSuccess Bool [Char] where convertSuccess b = if b then "true" else "false" instance ConvertAttempt [Char] Bool where convertAttempt s = case s of -- list comes from http://yaml.org/type/bool.html "y" -> return True "Y" -> return True "yes" -> return True "Yes" -> return True "YES" -> return True "true" -> return True "True" -> return True "TRUE" -> return True "on" -> return True "On" -> return True "ON" -> return True "n" -> return False "N" -> return False "no" -> return False "No" -> return False "NO" -> return False "false" -> return False "False" -> return False "FALSE" -> return False "off" -> return False "Off" -> return False "OFF" -> return False _ -> failure $ InvalidBoolException s -- Int instance ConvertSuccess Int [Char] where convertSuccess = show instance ConvertAttempt [Char] Int where convertAttempt = readMsg "Invalid Int" -- Integer instance ConvertSuccess Integer [Char] where convertSuccess = show instance ConvertAttempt [Char] Integer where convertAttempt = readMsg "Invalid Int" -- Rational instance ConvertSuccess Rational [Char] where convertSuccess r | denominator r == 1 = show $ numerator r | otherwise = show $ (fromRational r :: Double) instance ConvertAttempt [Char] Rational where convertAttempt = fmap realToFrac . readDouble readDouble :: String -> Attempt Double readDouble = readMsg "Invalid double" readMsg :: Read a => String -> String -> Attempt a readMsg msg s = case reads s of (x, _):_ -> Success x _ -> failureString $ msg ++ ": " ++ s #if TEST propRationalId :: Rational -> Bool propRationalId r = convertAttempt (convertSuccess r :: String) `almostEquals` r almostEquals :: Attempt Rational -> Rational -> Bool almostEquals (Failure _) _ = False almostEquals (Success x) y = abs (x - y) < 0.0001 propRationalAllDigits :: Rational -> Bool propRationalAllDigits = all (\c -> isDigit c || c `elem` ".-e") . convertSuccess #endif -- Instances for bytestrings and text (generated by utils/StringHelper.hs) instance ConvertAttempt BS.ByteString Day where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt BL.ByteString Day where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt ST.Text Day where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt LT.Text Day where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt BS.ByteString Bool where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt BL.ByteString Bool where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt ST.Text Bool where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt LT.Text Bool where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt BS.ByteString Int where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt BL.ByteString Int where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt ST.Text Int where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt LT.Text Int where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt BS.ByteString Rational where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt BL.ByteString Rational where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt ST.Text Rational where convertAttempt = fromStringA <=< convertAttempt instance ConvertAttempt LT.Text Rational where convertAttempt = fromStringA <=< convertAttempt instance ConvertSuccess Day BS.ByteString where convertSuccess = convertSuccess . toString instance ConvertSuccess Day BL.ByteString where convertSuccess = convertSuccess . toString instance ConvertSuccess Day ST.Text where convertSuccess = convertSuccess . toString instance ConvertSuccess Day LT.Text where convertSuccess = convertSuccess . toString instance ConvertSuccess Bool BS.ByteString where convertSuccess = convertSuccess . toString instance ConvertSuccess Bool BL.ByteString where convertSuccess = convertSuccess . toString instance ConvertSuccess Bool ST.Text where convertSuccess = convertSuccess . toString instance ConvertSuccess Bool LT.Text where convertSuccess = convertSuccess . toString instance ConvertSuccess Int BS.ByteString where convertSuccess = convertSuccess . toString instance ConvertSuccess Int BL.ByteString where convertSuccess = convertSuccess . toString instance ConvertSuccess Int ST.Text where convertSuccess = convertSuccess . toString instance ConvertSuccess Int LT.Text where convertSuccess = convertSuccess . toString instance ConvertSuccess Rational BS.ByteString where convertSuccess = convertSuccess . toString instance ConvertSuccess Rational BL.ByteString where convertSuccess = convertSuccess . toString instance ConvertSuccess Rational ST.Text where convertSuccess = convertSuccess . toString instance ConvertSuccess Rational LT.Text where convertSuccess = convertSuccess . toString #if TEST testSuite :: Test testSuite = testGroup "Data.Convertible.Instances.String" [ testProperty "propRationalId" propRationalId , testProperty "propRationalAllDigits" propRationalAllDigits , testProperty "propRationalAllNums" propRationalAllNums ] propRationalAllNums :: Integer -> Bool propRationalAllNums i = go (i % 1) where go :: Rational -> Bool go r | r < 0 = go $ negate r | otherwise = all isDigit $ cs r #endif convertible-text-0.3.0.10/utils/0000755000000000000000000000000011624533564014566 5ustar0000000000000000convertible-text-0.3.0.10/utils/genCinstances.hs0000644000000000000000000000522211624533564017707 0ustar0000000000000000cint = ["CChar", "CSChar", "CUChar", "CShort", "CUShort", "CInt", "CUInt", "CLong", "CULong", "CSize", "CWchar", "CLLong", "CULLong"] cfloat = ["CFloat", "CDouble", "CLDouble"] hsint = ["Int", "Int8", "Int16", "Int32", "Int64", "Word", "Word8", "Word16", "Word32", "Word64"] hsfloat = ["Double", "Float", "Rational"] printFP (f, i) = "instance ConvertAttempt " ++ f ++ " " ++ i ++ " where \n\ \ convertAttempt = boundedConversion (return . truncate)\n\ \instance ConvertSuccess " ++ i ++ " " ++ f ++ " where \n\ \ convertSuccess= fromIntegral\n" printIntegerF f = "instance ConvertSuccess " ++ f ++ " Integer where\n\ \ convertSuccess = truncate\n\ \instance ConvertSuccess Integer " ++ f ++ " where\n\ \ convertSuccess = fromIntegral\n" printIntegerI i = "instance ConvertSuccess " ++ i ++ " Integer where\n\ \ convertSuccess = fromIntegral\n\ \instance ConvertAttempt Integer " ++ i ++ " where\n\ \ convertAttempt = boundedConversion (return . fromIntegral)\n" printCharI i = "instance ConvertAttempt " ++ i ++ " Char where\n\ \ convertAttempt = boundedConversion (return . toEnum . fromIntegral)\n\ \instance ConvertAttempt Char " ++ i ++ " where\n\ \ convertAttempt = boundedConversion (return . fromIntegral . fromEnum)\n" printFP1 (f1, f2) = "instance ConvertSuccess " ++ f1 ++ " " ++ f2 ++ " where\n\ \ convertSuccess = realToFrac\n" printFPFP (f1, f2) = printFP1 (f1, f2) ++ printFP1 (f2, f1) printInt (i1, i2) = "instance ConvertAttempt " ++ i1 ++ " " ++ i2 ++ " where\n\ \ convertAttempt = boundedConversion (return . fromIntegral)\n" printIntInt (i1, i2) = printInt (i1, i2) ++ printInt (i2, i1) main = do putStrLn "-- Section 1" mapM_ (putStrLn . printFP) (concatMap (\x -> map (\y -> (x, y)) hsint) cfloat) putStrLn "-- Section 2" mapM_ (putStrLn . printFPFP) (concatMap (\x -> map (\y -> (x, y)) hsfloat) cfloat) putStrLn "-- Section 3" mapM_ (putStrLn . printIntInt) (concatMap (\x -> map (\y -> (x, y)) hsint) cint) putStrLn "-- Section 4" mapM_ (putStrLn . printInt) . filter (\(a, b) -> a /= b) $ (concatMap (\x -> map (\y -> (x, y)) cint) cint) putStrLn "-- Section 5" mapM_ (putStrLn . printFP1) . filter (\(a, b) -> a /= b) $ (concatMap (\x -> map (\y -> (x, y)) cfloat) cfloat) putStrLn "-- Section 6" mapM_ (putStrLn . printIntegerF) cfloat putStrLn "-- Section 7" mapM_ (putStrLn . printIntegerI) cint putStrLn "-- Section 8o" mapM_ (putStrLn . printCharI) cint