Hoogle Search

Within LTS Haskell 24.17 (ghc-9.10.3)

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

  1. (:|) :: forall a (m :: Type -> Type) x b . (a -> m x) -> FTCQueue m x b -> ViewL m a b

    heftia Data.FTCQueue

    No documentation available.

  2. (:|) :: a -> [a] -> NonEmpty a

    ihaskell IHaskellPrelude

    No documentation available.

  3. (:|) :: a -> [a] -> NonEmpty a

    incipit-base Incipit.Base

    No documentation available.

  4. (:|) :: a -> [a] -> NonEmpty a

    keyed-vals-hspec-tests Test.KeyedVals.Hspec

    No documentation available.

  5. (:|) :: a -> [a] -> NonEmpty a

    Agda Agda.Utils.List1

    No documentation available.

  6. (:|) :: BinOp

    opaleye Opaleye.Internal.HaskellDB.PrimQuery

    No documentation available.

  7. (:|) :: Rule -> Condition -> Rule

    srtree Algorithm.EqSat.DB

    No documentation available.

  8. (:|) :: Rule -> Condition -> Rule

    srtree Algorithm.EqSat.Simplify

    No documentation available.

  9. (:|) :: a -> [a] -> NonEmpty a

    srtree Algorithm.SRTree.NonlinearOpt

    No documentation available.

  10. type (e :: k) :| (es :: [k]) = Member e es

    vary Vary

    Constrain es to be any type list containing e. Useful to talk about variants generically without having to specify the exact type list right away. For instance, the type of from is 

    Vary.from :: (a :| l) => a -> Vary l
    because we can use it to construct any Vary as long as there is an a somewhere in its list of types.

Page 3 of many | Previous | Next