module Biobase.Types.Partition where
import qualified Data.Vector.Unboxed as VU
import qualified Data.Vector.Generic as VG
import qualified Data.Vector.Generic.Mutable as VGM
import Data.Primitive.Types
import Biobase.Types.Ring
newtype Partition = Partition {unPartition :: Double}
deriving (Show, Read, Eq, Ord)
instance Ring Partition where
(Partition a) .+. (Partition b) = Partition $ a + b
(Partition a) .*. (Partition b) = Partition $ a * b
(Partition a) .^. k = Partition $ a ^ k
(Partition a) .^^. k = error ".^^. not defined for Partition"
neg (Partition a) = Partition $ negate a
one = Partition 1
zero = Partition 0
isZero (Partition a) = a == 0
deriving instance VGM.MVector VU.MVector Partition
deriving instance VG.Vector VU.Vector Partition
deriving instance VU.Unbox Partition
deriving instance Prim Partition