BitPalindrome3.hs

module BitPalindrome3 where

import CLaSH.Prelude

-- evenPalindrome :: (Eq a, KnownNat m) => Vec (m + m) a -> Bool
evenPalindrome v = l == reverse r
  where
    (l,r) = splitAtI v

-- unevenPalindrome :: (Eq a, KnownNat m) => Vec (m + (m + 1)) a -> Bool
unevenPalindrome v = l == reverse (tail r)
  where
    (l,r) = splitAtI v

topEntity :: BitVector 8 -> Bool
topEntity = evenPalindrome . bv2v

-- topEntity :: BitVector 9 -> Bool
-- topEntity = unevenPalindrome . bv2v