reformat with make format

GiPHouse · Mar 6, 2024 · bc3cffd · bc3cffd
1 parent 69a7822
commit bc3cffd
Showing 1 changed file with 6 additions and 8 deletions.
diff --git a/src/Clash/Cores/Ethernet/PacketStream.hs b/src/Clash/Cores/Ethernet/PacketStream.hs
@@ -55,17 +55,16 @@ deriving instance
   => NFDataX (PacketStreamM2S dataWidth metaType)
 
 -- |
--- >>> PacketStreamM2S @3 @() ((0x34):> (0x43):> (0x21):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True == PacketStreamM2S @3 @() ((0x34):> (0x43):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True  
+-- >>> PacketStreamM2S @3 @() ((0x34):> (0x43):> (0x21):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True == PacketStreamM2S @3 @() ((0x34):> (0x43):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True
 -- True
--- >>> PacketStreamM2S @3 @() ((0x34):> (0x43):> (0x21):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True == PacketStreamM2S @3 @() ((0x35):> (0x43):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True  
+-- >>> PacketStreamM2S @3 @() ((0x34):> (0x43):> (0x21):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True == PacketStreamM2S @3 @() ((0x35):> (0x43):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True
 -- False
--- >>> PacketStreamM2S @3 @() ((0x34):> (0x43):> (0x21):>Nil :: Vec 3 (BitVector 8)) (Just 0 :: Maybe (Index 3)) () True == PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 0 :: Maybe (Index 3)) () True  
+-- >>> PacketStreamM2S @3 @() ((0x34):> (0x43):> (0x21):>Nil :: Vec 3 (BitVector 8)) (Just 0 :: Maybe (Index 3)) () True == PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 0 :: Maybe (Index 3)) () True
 -- True
--- >>> PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 0 :: Maybe (Index 3)) () True == PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True  
+-- >>> PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 0 :: Maybe (Index 3)) () True == PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Just 1 :: Maybe (Index 3)) () True
 -- False
--- >>> PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Nothing) () True == PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Nothing) () True  
+-- >>> PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Nothing) () True == PacketStreamM2S @3 @() ((0x34):> (0x23):> (0x24):>Nil :: Vec 3 (BitVector 8)) (Nothing) () True
 -- True
-
 instance ( KnownNat dataWidth, Eq metaType) => Eq (PacketStreamM2S dataWidth metaType) where
   st1 == st2 =
     _meta  st1 == _meta  st2 &&
@@ -79,13 +78,12 @@ instance ( KnownNat dataWidth, Eq metaType) => Eq (PacketStreamM2S dataWidth met
                                   -> Vec dataWidth (BitVector 8)
                                   -> Vec dataWidth (BitVector 8)
                                   -> Bool
-                                eqFrom n vec1 vec2 
+                                eqFrom n vec1 vec2
                                   | n == (maxBound @(Index dataWidth)) = vec1 == vec2
                                   | otherwise                          = eqFrom (succ n) (0 +>> vec1) (0 +>> vec2)
       _                     -> False
 
 
-
 -- Orphan hashable instances
 deriving instance (KnownNat n) => Hashable (BitVector n)
 deriving instance (KnownNat n) => Hashable (Index n)