Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

  1. (./=.) :: (Eq a, Applicative f) => f a -> f a -> f Bool

    clash-prelude Clash.Signal.Internal

    The above type is a generalization for:

    (./=.) :: Eq a => Signal a -> Signal a -> Signal Bool
    
    It is a version of (/=) that returns a Signal of Bool

  2. (.<.) :: (Ord a, Applicative f) => f a -> f a -> f Bool

    clash-prelude Clash.Signal.Internal

    The above type is a generalization for:

    (.<.) :: Ord a => Signal a -> Signal a -> Signal Bool
    
    It is a version of (<) that returns a Signal of Bool

  3. (.<=.) :: (Ord a, Applicative f) => f a -> f a -> f Bool

    clash-prelude Clash.Signal.Internal

    The above type is a generalization for:

    (.<=.) :: Ord a => Signal a -> Signal a -> Signal Bool
    
    It is a version of (<=) that returns a Signal of Bool

  4. (.==.) :: (Eq a, Applicative f) => f a -> f a -> f Bool

    clash-prelude Clash.Signal.Internal

    The above type is a generalization for:

    (.==.) :: Eq a => Signal a -> Signal a -> Signal Bool
    
    It is a version of (==) that returns a Signal of Bool

  5. (.>.) :: (Ord a, Applicative f) => f a -> f a -> f Bool

    clash-prelude Clash.Signal.Internal

    The above type is a generalization for:

    (.>.) :: Ord a => Signal a -> Signal a -> Signal Bool
    
    It is a version of (>) that returns a Signal of Bool

  6. (.>=.) :: (Ord a, Applicative f) => f a -> f a -> f Bool

    clash-prelude Clash.Signal.Internal

    The above type is a generalization for:

    (.>=.) :: Ord a => Signal a -> Signal a -> Signal Bool
    
    It is a version of (>=) that returns a Signal of Bool

  7. (.||.) :: Applicative f => f Bool -> f Bool -> f Bool

    clash-prelude Clash.Signal.Internal

    The above type is a generalization for:

    (.||.) :: Signal Bool -> Signal Bool -> Signal Bool
    
    It is a version of (||) that returns a Signal of Bool

  8. (.<<+) :: 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
    

  9. (.|) :: forall (m :: Type -> Type) a b c r . Monad m => ConduitT a b m () -> ConduitT b c m r -> ConduitT a c m r

    classy-prelude-conduit ClassyPrelude.Conduit

    Combine two Conduits together into a new Conduit (aka fuse). Output from the upstream (left) conduit will be fed into the downstream (right) conduit. Processing will terminate when downstream (right) returns. Leftover data returned from the right Conduit will be discarded. Equivalent to fuse and =$=, however the latter is deprecated and will be removed in a future version. Note that, while this operator looks like categorical composition (from Control.Category), there are a few reasons it's different:

    • The position of the type parameters to ConduitT do not match. We would need to change ConduitT i o m r to ConduitT r m i o, which would preclude a Monad or MonadTrans instance.
    • The result value from upstream and downstream are allowed to differ between upstream and downstream. In other words, we would need the type signature here to look like ConduitT a b m r -> ConduitT b c m r -> ConduitT a c m r.
    • Due to leftovers, we do not have a left identity in Conduit. This can be achieved with the underlying Pipe datatype, but this is not generally recommended. See https://stackoverflow.com/a/15263700.

  10. (.=) :: Eq t => Lens s s t t -> FieldDescription t -> SectionSpec s ()

    config-ini Data.Ini.Config.Bidir

    Associate a field description with a field. If this field is not present when parsing, it will attempt to fall back on a default, and if no default value is present, it will fail to parse. When serializing an INI file, this will produce all the comments associated with the field description followed by the value of the field in the.

Page 37 of many | Previous | Next