lapack-0.3: src/Numeric/LAPACK/Shape/Private.hs

{-# LANGUAGE TypeFamilies #-}
module Numeric.LAPACK.Shape.Private where

import qualified Data.Array.Comfort.Shape as Shape


newtype Unchecked sh = Unchecked {deconsUnchecked :: sh}
   deriving (Show)

instance Eq (Unchecked sh) where
   Unchecked _ == Unchecked _   =  True

instance (Shape.C sh) => Shape.C (Unchecked sh) where
   size (Unchecked sh) = Shape.size sh
   uncheckedSize (Unchecked sh) = Shape.uncheckedSize sh