torsor (empty) → 0.1

raw patch · 5 files changed

+232/−0 lines, 5 filesdep +basesetup-changed

Dependencies added: base

Files

• LICENSE +30/−0
• README.md +1/−0
• Setup.hs +2/−0
• src/Torsor.hs +175/−0
• torsor.cabal +24/−0

@@ -0,0 +1,30 @@+Copyright Andrew Martin (c) 2017++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.++    * Neither the name of Andrew Martin nor the names of other+      contributors may be used to endorse or promote products derived+      from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS+"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+OWNER OR CONTRIBUTORS 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.

@@ -0,0 +1,1 @@+# torsor

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,175 @@+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE FunctionalDependencies #-}++{- | The typeclasses provides in this module are equivalent+     to three of the typeclasses from the @vector-space@+     package. This package uses MPTCs with functional dependencies+     instead of type families in order to improved error+     messages.+-}++module Torsor+  ( Additive(..)+  , Torsor(..)+  , Scaling(..)+  ) where++import Data.Int+import Data.Word++class Additive v where+  zero :: v+  invert :: v -> v+  plus :: v -> v -> v+  minus :: v -> v -> v++class Additive v => Torsor p v | p -> v where+  add :: v -> p -> p+  difference :: p -> p -> v++class (Additive v, Additive s) => Scaling v s | v -> s where+  scale :: s -> v -> v++instance Additive Int where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Int Int where+  add = (+)+  difference = (-)++instance Scaling Int Int where+  scale = (*)++instance Additive Word where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Word Word where+  add = (+)+  difference = (-)++instance Scaling Word Word where+  scale = (*)++instance Additive Double where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Double Double where+  add = (+)+  difference = (-)++instance Scaling Double Double where+  scale = (*)++instance Additive Int64 where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Int64 Int64 where+  add = (+)+  difference = (-)++instance Scaling Int64 Int64 where+  scale = (*)++instance Additive Word64 where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Word64 Word64 where+  add = (+)+  difference = (-)++instance Scaling Word64 Word64 where+  scale = (*)++instance Additive Word32 where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Word32 Word32 where+  add = (+)+  difference = (-)++instance Scaling Word32 Word32 where+  scale = (*)++instance Additive Word16 where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Word16 Word16 where+  add = (+)+  difference = (-)++instance Scaling Word16 Word16 where+  scale = (*)++instance Additive Word8 where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Word8 Word8 where+  add = (+)+  difference = (-)++instance Scaling Word8 Word8 where+  scale = (*)++instance Additive Int32 where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Int32 Int32 where+  add = (+)+  difference = (-)++instance Scaling Int32 Int32 where+  scale = (*)++instance Additive Int16 where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Int16 Int16 where+  add = (+)+  difference = (-)++instance Scaling Int16 Int16 where+  scale = (*)++instance Additive Int8 where+  zero = 0+  invert = negate+  plus = (+)+  minus = (-)++instance Torsor Int8 Int8 where+  add = (+)+  difference = (-)++instance Scaling Int8 Int8 where+  scale = (*)+

@@ -0,0 +1,24 @@+name: torsor+version: 0.1+synopsis: Torsor Typeclass+description: Torsor Typeclass+homepage: https://github.com/andrewthad/torsor#readme+license: BSD3+license-file: LICENSE+author: Andrew Martin+maintainer: andrew.thaddeus@gmail.com+copyright: 2017 Andrew Martin+category: Web+build-type: Simple+extra-source-files: README.md+cabal-version: >=1.10++library+  hs-source-dirs: src+  exposed-modules: Torsor+  build-depends: base >= 4.7 && < 5+  default-language: Haskell2010++source-repository head+  type: git+  location: https://github.com/andrewthad/torsor