Specific.hs

{-# LANGUAGE TypeFamilies         #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
-- | Vector space instances for concrete/specific types.
--
-- This module contains:
--
--     * 'RModule' instances for 'Int', 'Integer', 'Double' and 'Float'.
--
--     * 'VectorSpace' for 'Double' and 'Float'.

module Data.VectorSpace.Specific where

import Data.VectorSpace

-- | R-mobule instance for 'Int's.
instance RModule Int where
    type Groundring Int = Int
    (^+^) = (+)
    (^*) = (*)
    zeroVector = 0

-- | R-mobule instance for 'Integer's.
instance RModule Integer where
    type Groundring Integer = Integer
    (^+^) = (+)
    (^*) = (*)
    zeroVector = 0


-- | R-mobule instance for 'Double's.
instance RModule Double where
    type Groundring Double = Double
    (^+^) = (+)
    (^*) = (*)
    zeroVector = 0

-- | R-mobule instance for 'Floating's.
instance RModule Float where
    type Groundring Float = Float
    (^+^) = (+)
    (^*) = (*)
    zeroVector = 0

-- | Vector-space instance for 'Double'.
instance VectorSpace Double where

-- | Vector-space instance for 'Floating's.
instance VectorSpace Float where