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

import Numeric.LAPACK.Scalar (RealOf)


newtype Diagonal f g a = Diagonal {runDiagonal :: g (RealOf a) -> f a}

newtype TakeDiagonal f g a =
   TakeDiagonal {runTakeDiagonal :: f a -> g (RealOf a)}

newtype Determinant f a = Determinant {getDeterminant :: f a -> RealOf a}