from (empty) → 1.0.0.0
raw patch · 9 files changed
+974/−0 lines, 9 filesdep +basedep +bytestringdep +rawfilepathsetup-changed
Dependencies added: base, bytestring, rawfilepath, unix
Files
- CHANGELOG.md +19/−0
- LICENSE +202/−0
- README.md +46/−0
- Setup.hs +3/−0
- from.cabal +71/−0
- src/From.hs +80/−0
- src/From/Classes.hs +15/−0
- src/From/Num.hs +448/−0
- test/Main.hs +90/−0
+ CHANGELOG.md view
@@ -0,0 +1,19 @@+# Changelog for `from`++All notable changes to this project should be documented in this file.++The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/).++## Unreleased++(no changes yet)++## 1.0.0.0 - 2025-10-24++Initial release.++- Added typeclasses `From` and `TryFrom`.+- Added instances of `From` for some fundamental type-mappings in `base`:+ - All types in `Data.Int` and `Data.Word` can be both the source and the destination of the conversion.+ - The types `Float` and `Double` can be the destination, but not the source. So `from :: Int32 -> Float` exists, while `from :: Float -> Int32` does not.+ - That's it. We begin with minimal instances intentionally. For example, there is no `instance From Int String`. This is because it is tricky (often impossible) to selectively import instances, especially when the module dependency graph is complicated. We'd need to be careful about adding instances.
+ LICENSE view
@@ -0,0 +1,202 @@++ Apache License+ Version 2.0, January 2004+ http://www.apache.org/licenses/++ TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION++ 1. Definitions.++ "License" shall mean the terms and conditions for use, reproduction,+ and distribution as defined by Sections 1 through 9 of this document.++ "Licensor" shall mean the copyright owner or entity authorized by+ the copyright owner that is granting the License.++ "Legal Entity" shall mean the union of the acting entity and all+ other entities that control, are controlled by, or are under common+ control with that entity. For the purposes of this definition,+ "control" means (i) the power, direct or indirect, to cause the+ direction or management of such entity, whether by contract or+ otherwise, or (ii) ownership of fifty percent (50%) or more of the+ outstanding shares, or (iii) beneficial ownership of such entity.++ "You" (or "Your") shall mean an individual or Legal Entity+ exercising permissions granted by this License.++ "Source" form shall mean the preferred form for making modifications,+ including but not limited to software source code, documentation+ source, and configuration files.++ "Object" form shall mean any form resulting from mechanical+ transformation or translation of a Source form, including but+ not limited to compiled object code, generated documentation,+ and conversions to other media types.++ "Work" shall mean the work of authorship, whether in Source or+ Object form, made available under the License, as indicated by a+ copyright notice that is included in or attached to the work+ (an example is provided in the Appendix below).++ "Derivative Works" shall mean any work, whether in Source or Object+ form, that is based on (or derived from) the Work and for which the+ editorial revisions, annotations, elaborations, or other modifications+ represent, as a whole, an original work of authorship. For the purposes+ of this License, Derivative Works shall not include works that remain+ separable from, or merely link (or bind by name) to the interfaces of,+ the Work and Derivative Works thereof.++ "Contribution" shall mean any work of authorship, including+ the original version of the Work and any modifications or additions+ to that Work or Derivative Works thereof, that is intentionally+ submitted to Licensor for inclusion in the Work by the copyright owner+ or by an individual or Legal Entity authorized to submit on behalf of+ the copyright owner. For the purposes of this definition, "submitted"+ means any form of electronic, verbal, or written communication sent+ to the Licensor or its representatives, including but not limited to+ communication on electronic mailing lists, source code control systems,+ and issue tracking systems that are managed by, or on behalf of, the+ Licensor for the purpose of discussing and improving the Work, but+ excluding communication that is conspicuously marked or otherwise+ designated in writing by the copyright owner as "Not a Contribution."++ "Contributor" shall mean Licensor and any individual or Legal Entity+ on behalf of whom a Contribution has been received by Licensor and+ subsequently incorporated within the Work.++ 2. Grant of Copyright License. Subject to the terms and conditions of+ this License, each Contributor hereby grants to You a perpetual,+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable+ copyright license to reproduce, prepare Derivative Works of,+ publicly display, publicly perform, sublicense, and distribute the+ Work and such Derivative Works in Source or Object form.++ 3. Grant of Patent License. Subject to the terms and conditions of+ this License, each Contributor hereby grants to You a perpetual,+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable+ (except as stated in this section) patent license to make, have made,+ use, offer to sell, sell, import, and otherwise transfer the Work,+ where such license applies only to those patent claims licensable+ by such Contributor that are necessarily infringed by their+ Contribution(s) alone or by combination of their Contribution(s)+ with the Work to which such Contribution(s) was submitted. If You+ institute patent litigation against any entity (including a+ cross-claim or counterclaim in a lawsuit) alleging that the Work+ or a Contribution incorporated within the Work constitutes direct+ or contributory patent infringement, then any patent licenses+ granted to You under this License for that Work shall terminate+ as of the date such litigation is filed.++ 4. Redistribution. You may reproduce and distribute copies of the+ Work or Derivative Works thereof in any medium, with or without+ modifications, and in Source or Object form, provided that You+ meet the following conditions:++ (a) You must give any other recipients of the Work or+ Derivative Works a copy of this License; and++ (b) You must cause any modified files to carry prominent notices+ stating that You changed the files; and++ (c) You must retain, in the Source form of any Derivative Works+ that You distribute, all copyright, patent, trademark, and+ attribution notices from the Source form of the Work,+ excluding those notices that do not pertain to any part of+ the Derivative Works; and++ (d) If the Work includes a "NOTICE" text file as part of its+ distribution, then any Derivative Works that You distribute must+ include a readable copy of the attribution notices contained+ within such NOTICE file, excluding those notices that do not+ pertain to any part of the Derivative Works, in at least one+ of the following places: within a NOTICE text file distributed+ as part of the Derivative Works; within the Source form or+ documentation, if provided along with the Derivative Works; or,+ within a display generated by the Derivative Works, if and+ wherever such third-party notices normally appear. The contents+ of the NOTICE file are for informational purposes only and+ do not modify the License. You may add Your own attribution+ notices within Derivative Works that You distribute, alongside+ or as an addendum to the NOTICE text from the Work, provided+ that such additional attribution notices cannot be construed+ as modifying the License.++ You may add Your own copyright statement to Your modifications and+ may provide additional or different license terms and conditions+ for use, reproduction, or distribution of Your modifications, or+ for any such Derivative Works as a whole, provided Your use,+ reproduction, and distribution of the Work otherwise complies with+ the conditions stated in this License.++ 5. Submission of Contributions. Unless You explicitly state otherwise,+ any Contribution intentionally submitted for inclusion in the Work+ by You to the Licensor shall be under the terms and conditions of+ this License, without any additional terms or conditions.+ Notwithstanding the above, nothing herein shall supersede or modify+ the terms of any separate license agreement you may have executed+ with Licensor regarding such Contributions.++ 6. Trademarks. This License does not grant permission to use the trade+ names, trademarks, service marks, or product names of the Licensor,+ except as required for reasonable and customary use in describing the+ origin of the Work and reproducing the content of the NOTICE file.++ 7. Disclaimer of Warranty. Unless required by applicable law or+ agreed to in writing, Licensor provides the Work (and each+ Contributor provides its Contributions) on an "AS IS" BASIS,+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or+ implied, including, without limitation, any warranties or conditions+ of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A+ PARTICULAR PURPOSE. You are solely responsible for determining the+ appropriateness of using or redistributing the Work and assume any+ risks associated with Your exercise of permissions under this License.++ 8. Limitation of Liability. In no event and under no legal theory,+ whether in tort (including negligence), contract, or otherwise,+ unless required by applicable law (such as deliberate and grossly+ negligent acts) or agreed to in writing, shall any Contributor be+ liable to You for damages, including any direct, indirect, special,+ incidental, or consequential damages of any character arising as a+ result of this License or out of the use or inability to use the+ Work (including but not limited to damages for loss of goodwill,+ work stoppage, computer failure or malfunction, or any and all+ other commercial damages or losses), even if such Contributor+ has been advised of the possibility of such damages.++ 9. Accepting Warranty or Additional Liability. While redistributing+ the Work or Derivative Works thereof, You may choose to offer,+ and charge a fee for, acceptance of support, warranty, indemnity,+ or other liability obligations and/or rights consistent with this+ License. However, in accepting such obligations, You may act only+ on Your own behalf and on Your sole responsibility, not on behalf+ of any other Contributor, and only if You agree to indemnify,+ defend, and hold each Contributor harmless for any liability+ incurred by, or claims asserted against, such Contributor by reason+ of your accepting any such warranty or additional liability.++ END OF TERMS AND CONDITIONS++ APPENDIX: How to apply the Apache License to your work.++ To apply the Apache License to your work, attach the following+ boilerplate notice, with the fields enclosed by brackets "[]"+ replaced with your own identifying information. (Don't include+ the brackets!) The text should be enclosed in the appropriate+ comment syntax for the file format. We also recommend that a+ file or class name and description of purpose be included on the+ same "printed page" as the copyright notice for easier+ identification within third-party archives.++ Copyright [yyyy] [name of copyright owner]++ Licensed under the Apache License, Version 2.0 (the "License");+ you may not use this file except in compliance with the License.+ You may obtain a copy of the License at++ http://www.apache.org/licenses/LICENSE-2.0++ Unless required by applicable law or agreed to in writing, software+ distributed under the License is distributed on an "AS IS" BASIS,+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.+ See the License for the specific language governing permissions and+ limitations under the License.
+ README.md view
@@ -0,0 +1,46 @@+# from++Note that this package is a part of the "project" that includes from and from-string. For the general rationale behind this idea, see `README.md` under the project root.++This Haskell library package provides the `From` and `TryFrom` typeclasses.++The `From` typeclass provides `from :: a -> b`. It is an interface for types that can be converted from/to each other.++The `TryFrom` typeclass provides `tryFrom :: a -> Maybe b`. It is an interface for types that can be converted from/to each other, with the possibility of a failure.++This package has **1** dependency: base.++## Instances++It is well known that it is difficult to "selectively" import/export typeclass instances. Therefore, we need to be careful about what instances to provide by default.++There are base functions, some of them even in `Prelude`, that basically serve as a less general version of `from`. Examples include `fromIntegral` and `fromEnum`. However, naively defining `instance (Integral a, Num b) => From a b` and `instance (Enum a) => From a Int` will quickly lead us to trouble:++```+ • Overlapping instances for From Int16 Int+ arising from a use of ‘from’+ Matching instances:+ instance (Integral a, Num b) => From a b+ instance Enum a => From a Int+ ...+```++Therefore, this package does not provide such "contextual" instances. (Of course, you may define them in your application project, if you want.)++Instead, concrete instances are provided. For example, all pairs (excluding self to self) of these integral types are instantiated using `fromIntegral`:++- `Int`+- `Integer`+- `Int8`+- `Int16`+- `Int32`+- `Int64`+- `Word8`+- `Word16`+- `Word32`+- `Word64`++Each type can be both source and destination of `from`. Additional types are instantiated as destination-only:++- `Float`+- `Double`
+ Setup.hs view
@@ -0,0 +1,3 @@+import Distribution.Simple++main = defaultMain
+ from.cabal view
@@ -0,0 +1,71 @@+cabal-version: 1.12++-- This file has been generated from package.yaml by hpack version 0.37.0.+--+-- see: https://github.com/sol/hpack++name: from+version: 1.0.0.0+synopsis: Typeclasses for type conversion mappings+description: This package provides the typeclasses 'From' and 'TryFrom'.+ .+ The 'From.From' typeclass provides @'From.from' :: a -> b@. It is an+ interface a pair of types that can be converted from one to another.+ .+ The 'From.TryFrom' typeclass provides @'From.tryFrom' :: a -> 'Prelude.Maybe'+ b@. It is an interface for a pair of types that can be converted from one to+ another, safely handling the possibility of a failure.+ .+ Default 'From.From' instances are provided for some integral types in base,+ using 'Prelude.fromIntegral'.+ .+ This is the core package. This package itself is not spectacularly useful.+ One example of immediate usefulness would be the @from-string@ package.+ .+ If you are interested, you may want to check the project @README.md@ (not the+ package @README.md@) as well.+category: Typeclass+homepage: https://codeberg.org/xt/from+bug-reports: https://codeberg.org/xt/from/issues+author: XT+maintainer: git@xtendo.org+copyright: Copyright (C) 2024-2025 XT+license: Apache-2.0+license-file: LICENSE+build-type: Simple+extra-source-files:+ README.md+ CHANGELOG.md++source-repository head+ type: git+ location: https://codeberg.org/xt/from++library+ exposed-modules:+ From+ other-modules:+ From.Classes+ From.Num+ Paths_from+ hs-source-dirs:+ src+ ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints+ build-depends:+ base >=4.7 && <5+ default-language: Haskell2010++test-suite from-test+ type: exitcode-stdio-1.0+ main-is: Main.hs+ other-modules:+ Paths_from+ hs-source-dirs:+ test+ ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints+ build-depends:+ base >=4.7 && <5+ , bytestring+ , rawfilepath+ , unix+ default-language: Haskell2010
+ src/From.hs view
@@ -0,0 +1,80 @@+-- |+-- Module : From+-- Copyright : (C) 2024-2025 XT et al.+-- License : Apache-2.0 (see the LICENSE file)+-- Portability : FlexibleInstances, MultiParamTypeClasses+--+-- This module provides the 'From' and 'TryFrom' typeclasses.+--+-- The 'From.From' typeclass provides+--+-- @+-- 'From.from' :: a -> b+-- @+--+-- for types that can be converted from/to each other.+--+-- The 'From.TryFrom' typeclass provides+--+-- @+-- 'From.tryFrom' :: a -> 'Prelude.Maybe' b+-- @+--+-- for types that can be converted from/to each other, handling the possibility+-- of a failure.+--+-- == About default instances+--+-- Default 'From' instances are provided for the following types in base:+--+-- * 'Int'+--+-- * 'Integer'+--+-- * t'Data.Int.Int8'+--+-- * t'Data.Int.Int16'+--+-- * t'Data.Int.Int32'+--+-- * t'Data.Int.Int64'+--+-- * t'Data.Word.Word8'+--+-- * t'Data.Word.Word16'+--+-- * t'Data.Word.Word32'+--+-- * t'Data.Word.Word64'+--+-- Any pair of the above types (except self-self) are convertible using 'from'.+-- In addition to that, the above types can also be converted to 'Float' or+-- 'Double' using 'from'. The implementation uses 'fromIntegral'.+--+-- There are other possible default instances, like+--+-- @+-- 'Char' -> 'Int'+-- @+--+-- (using 'Data.Char.chr') or+--+-- @+-- 'Foreign.Ptr.Ptr' a -> 'Foreign.Ptr.Ptr' b+-- @+--+-- (using 'Foreign.Ptr.castPtr'), but we plan to carefully examine and discuss+-- before adding them, as it is difficult to selectively import/export+-- typeclass instances.+--+-- Separate packages will also provide useful instances, like @from-string@.+module From (+ -- ** From+ From (..),++ -- ** TryFrom+ TryFrom (..),+) where++import From.Classes+import From.Num ()
+ src/From/Classes.hs view
@@ -0,0 +1,15 @@+{-# LANGUAGE MultiParamTypeClasses #-}++module From.Classes (+ From (..),+ TryFrom (..),+) where++-- | The type conversion class where conversion is (mostly) safe and expected+-- to be successful.+class From a b where+ from :: a -> b++-- | The type conversion class where conversion can fail+class TryFrom a b where+ tryFrom :: a -> Maybe b
+ src/From/Num.hs view
@@ -0,0 +1,448 @@+{-# LANGUAGE MultiParamTypeClasses #-}+{-# OPTIONS_GHC -Wno-orphans #-}++module From.Num () where++import Data.Int+import Data.Word+import From.Classes++-- | Implementation is 'fromIntegral'+instance From Int Integer where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Int8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Int16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Int32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Int64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Word8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Word16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Word32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Word64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int Double where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Int where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Int8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Int16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Int32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Int64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Word8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Word16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Word32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Word64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Integer Double where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Int where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Integer where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Int16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Int32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Int64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Word8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Word16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Word32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Word64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int8 Double where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Int where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Integer where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Int8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Int32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Int64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Word8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Word16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Word32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Word64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int16 Double where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Int where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Integer where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Int8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Int16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Int64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Word8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Word16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Word32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Word64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int32 Double where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Int where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Integer where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Int8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Int16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Int32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Word8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Word16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Word32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Word64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Int64 Double where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Int where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Integer where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Int8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Int16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Int32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Int64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Word16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Word32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Word64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word8 Double where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Int where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Integer where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Int8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Int16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Int32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Int64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Word8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Word32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Word64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word16 Double where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Int where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Integer where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Int8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Int16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Int32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Int64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Word8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Word16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Word64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word32 Double where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Int where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Integer where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Int8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Int16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Int32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Int64 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Word8 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Word16 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Word32 where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Float where+ from = fromIntegral++-- | Implementation is 'fromIntegral'+instance From Word64 Double where+ from = fromIntegral
+ test/Main.hs view
@@ -0,0 +1,90 @@+{-# LANGUAGE OverloadedStrings #-}++module Main (main) where++import Control.Exception+import Data.ByteString (ByteString)+import qualified Data.ByteString as B+import Data.ByteString.Builder (Builder)+import qualified Data.ByteString.Builder as B+import RawFilePath+import System.Exit+import System.IO+import System.Posix.Env.ByteString+import System.Posix.Temp.ByteString++srcTypes :: [ByteString]+srcTypes =+ [ "Int"+ , "Integer"+ , "Int8"+ , "Int16"+ , "Int32"+ , "Int64"+ , "Word8"+ , "Word16"+ , "Word32"+ , "Word64"+ ]++dstTypes :: [ByteString]+dstTypes =+ [ "Int"+ , "Integer"+ , "Int8"+ , "Int16"+ , "Int32"+ , "Int64"+ , "Word8"+ , "Word16"+ , "Word32"+ , "Word64"+ , "Float"+ , "Double"+ ]++main :: IO ()+main = do+ args <- getArgs+ let shouldKeepFile = "--keep" `elem` args+ bracket acquire (release shouldKeepFile) $ \(tmpPath, hdl) -> do+ B.putStr $ tmpPath <> "\n"+ B.hPutBuilder hdl $ header <> mconcat instancePart+ hClose hdl+ diffExitCode <-+ runProcess "diff" ["-u", "--color=always", tmpPath, "src/From/Num.hs"]+ case diffExitCode of+ ExitSuccess -> return ()+ _ -> exitWith diffExitCode+ where+ acquire = mkstemps "haskell-from-" ".hs"+ release shouldKeepFile (path, hdl)+ | shouldKeepFile = hClose hdl+ | otherwise = hClose hdl >> removeFile path++ runProcess cmd args = startProcess (proc cmd args) >>= waitForProcess++ instanceLine src dst =+ mconcat ["instance From ", B.byteString src, " ", B.byteString dst, " where\n"]+ instancePart =+ [ mconcat+ [ "\n"+ , "-- | Implementation is 'fromIntegral'\n"+ , instanceLine src dst+ , " from = fromIntegral\n"+ ]+ | src <- srcTypes+ , dst <- dstTypes+ , src /= dst+ ]++header :: Builder+header =+ "{-# LANGUAGE MultiParamTypeClasses #-}\n\+ \{-# OPTIONS_GHC -Wno-orphans #-}\n\+ \\n\+ \module From.Num () where\n\+ \\n\+ \import Data.Int\n\+ \import Data.Word\n\+ \import From.Classes\n"