Hoogle Search

Within LTS Haskell 24.49 (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) a . Vec n a -> a -> Vec n a

   clash-prelude	Clash.Explicit.Prelude

   Add an element to the tail of a vector, and extract all but the first element.

   >>> (3:>4:>5:>Nil) <<+ 1
   4 :> 5 :> 1 :> Nil
   
   >>> Nil <<+ 1
   Nil
   

2. (<<+) :: forall (n :: Nat) a . Vec n a -> a -> Vec n a

   clash-prelude	Clash.Explicit.Prelude.Safe

   Add an element to the tail of a vector, and extract all but the first element.

   >>> (3:>4:>5:>Nil) <<+ 1
   4 :> 5 :> 1 :> Nil
   
   >>> Nil <<+ 1
   Nil
   

3. (<<+) :: forall (n :: Nat) a . Vec n a -> a -> Vec n a

   clash-prelude	Clash.Prelude

   Add an element to the tail of a vector, and extract all but the first element.

   >>> (3:>4:>5:>Nil) <<+ 1
   4 :> 5 :> 1 :> Nil
   
   >>> Nil <<+ 1
   Nil
   

4. (<<+) :: forall (n :: Nat) a . Vec n a -> a -> Vec n a

   clash-prelude	Clash.Prelude.Safe

   Add an element to the tail of a vector, and extract all but the first element.

   >>> (3:>4:>5:>Nil) <<+ 1
   4 :> 5 :> 1 :> Nil
   
   >>> Nil <<+ 1
   Nil
   

5. (.<<+) :: forall (n :: Nat) . KnownNat n => BitVector n -> Bit -> BitVector n

   clash-prelude	Clash.Sized.BitVector

   Shift in a bit from the LSB side of a BitVector. Equal to left shifting the BitVector by one and replacing the LSB with the bit to be shifted in.

   >>> 0b1111_0000 .<<+ 0 :: BitVector 8
   0b1110_0000
   
   >>> 0b1111_0000 .<<+ 1 :: BitVector 8
   0b1110_0001
   

6. (<<+) :: forall (n :: Nat) a . Vec n a -> a -> Vec n a

   clash-prelude	Clash.Sized.Vector

   Add an element to the tail of a vector, and extract all but the first element.

   >>> (3:>4:>5:>Nil) <<+ 1
   4 :> 5 :> 1 :> Nil
   
   >>> Nil <<+ 1
   Nil
   

7. ($$+) :: Monad m => ConduitT () a m () -> ConduitT a Void m b -> m (SealedConduitT () a m (), b)

   classy-prelude-conduit	ClassyPrelude.Conduit

   The connect-and-resume operator. This does not close the Source, but instead returns it to be used again. This allows a Source to be used incrementally in a large program, without forcing the entire program to live in the Sink monad. Mnemonic: connect + do more. Since 0.5.0

8. ($$++) :: Monad m => SealedConduitT () a m () -> ConduitT a Void m b -> m (SealedConduitT () a m (), b)

   classy-prelude-conduit	ClassyPrelude.Conduit

   Continue processing after usage of $$+. Since 0.5.0

9. ($$+-) :: Monad m => SealedConduitT () a m () -> ConduitT a Void m b -> m b

   classy-prelude-conduit	ClassyPrelude.Conduit

   Same as $$++ and connectResume, but doesn't include the updated SealedConduitT. NOTE In previous versions, this would cause finalizers to run. Since version 1.3.0, there are no finalizers in conduit. Since 0.5.0

10. ($=+) :: forall (m :: Type -> Type) a b . Monad m => SealedConduitT () a m () -> ConduitT a b m () -> SealedConduitT () b m ()

    classy-prelude-conduit	ClassyPrelude.Conduit

    Left fusion for a sealed source. Since 1.0.16

Page 56 of many | Previous | Next