Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. (+#) :: forall (n :: Nat) . KnownNat n => BitVector n -> BitVector n -> BitVector n

   clash-prelude	Clash.Sized.Internal.BitVector

   No documentation available.

2. (+#) :: forall (n :: Nat) . KnownNat n => Index n -> Index n -> Index n

   clash-prelude	Clash.Sized.Internal.Index

   No documentation available.

3. (+#) :: forall (n :: Nat) . KnownNat n => Signed n -> Signed n -> Signed n

   clash-prelude	Clash.Sized.Internal.Signed

   No documentation available.

4. (+#) :: forall (n :: Nat) . KnownNat n => Unsigned n -> Unsigned n -> Unsigned n

   clash-prelude	Clash.Sized.Internal.Unsigned

   No documentation available.

5. (+#) :: Int# -> Int# -> Int#

   ihaskell	IHaskellPrelude

   No documentation available.

6. (+##) :: Double# -> Double# -> Double#

   ihaskell	IHaskellPrelude

   No documentation available.

7. (++#) :: forall (m :: Nat) (n :: Nat) . KnownNat m => BitVector n -> BitVector m -> BitVector (n + m)

   clash-prelude	Clash.Sized.BitVector

   Concatenate two BitVectors

8. (++#) :: forall (m :: Nat) (n :: Nat) . KnownNat m => BitVector n -> BitVector m -> BitVector (n + m)

   clash-prelude	Clash.Sized.Internal.BitVector

   Concatenate two BitVectors

9. (++#) :: DeBruijn a => [a] -> Substitution' a -> Substitution' a

   Agda	Agda.TypeChecking.Substitute.Class

   No documentation available.

Page 1 of 1