Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
+>> ) :: forall (n :: Nat) a . KnownNat n => a -> Vec n a -> Vec n aclash-prelude Clash.Prelude Add an element to the head of a vector, and extract all but the last element.
>>> 1 +>> (3:>4:>5:>Nil) 1 :> 3 :> 4 :> Nil >>> 1 +>> Nil Nil
(
++ ) :: forall (n :: Nat) a (m :: Nat) . Vec n a -> Vec m a -> Vec (n + m) aclash-prelude Clash.Prelude.Safe Append two vectors.
>>> (1:>2:>3:>Nil) ++ (7:>8:>Nil) 1 :> 2 :> 3 :> 7 :> 8 :> Nil
(
+>> ) :: forall (n :: Nat) a . KnownNat n => a -> Vec n a -> Vec n aclash-prelude Clash.Prelude.Safe Add an element to the head of a vector, and extract all but the last element.
>>> 1 +>> (3:>4:>5:>Nil) 1 :> 3 :> 4 :> Nil >>> 1 +>> Nil Nil
-
clash-prelude Clash.Sized.BitVector Concatenate two BitVectors
(
+>>. ) :: forall (n :: Nat) . KnownNat n => Bit -> BitVector n -> BitVector nclash-prelude Clash.Sized.BitVector Shift in a bit from the MSB side of a BitVector. Equal to right shifting the BitVector by one and replacing the MSB with the bit to be shifted in.
>>> 1 +>>. 0b1111_0000 :: BitVector 8 0b1111_1000 >>> 0 +>>. 0b1111_0000 :: BitVector 8 0b0111_1000
(
+# ) :: forall (n :: Nat) . KnownNat n => BitVector n -> BitVector n -> BitVector nclash-prelude Clash.Sized.Internal.BitVector No documentation available.
-
clash-prelude Clash.Sized.Internal.BitVector Concatenate two BitVectors
(
+# ) :: forall (n :: Nat) . KnownNat n => Index n -> Index n -> Index nclash-prelude Clash.Sized.Internal.Index No documentation available.
(
+# ) :: forall (n :: Nat) . KnownNat n => Signed n -> Signed n -> Signed nclash-prelude Clash.Sized.Internal.Signed No documentation available.
(
+# ) :: forall (n :: Nat) . KnownNat n => Unsigned n -> Unsigned n -> Unsigned nclash-prelude Clash.Sized.Internal.Unsigned No documentation available.