BitPalindrome.hs

{-# LANGUAGE ScopedTypeVariables #-}

module BitPalindrome where

import CLaSH.Prelude

-- Not used anywhere, but using (!) is more idiomatic than "slice x x"
sl8 :: BitVector 8 -> (Bit, Bit, Bit, Bit, Bit, Bit, Bit, Bit)
sl8 a = (a ! 0, a ! 1, a ! 2, a ! 3, a ! 4, a ! 5, a ! 6, a ! 7)

-- (==) on Vectors will become a comparison tree in HW
palindrome :: forall n . KnownNat n => BitVector n -> Bool
palindrome bv = v == reverse v
  where
    v :: Vec n Bit
    v = unpack bv

topEntity :: BitVector 8 -> Bool
topEntity = palindrome