Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. data FBoundedLattice a

    lattices Algebra.Lattice.Free.Final

    No documentation available.

  2. liftFBoundedLattice :: a -> FBoundedLattice a

    lattices Algebra.Lattice.Free.Final

    No documentation available.

  3. lowerFBoundedLattice :: FBoundedLattice a -> forall b . BoundedLattice b => (a -> b) -> b

    lattices Algebra.Lattice.Free.Final

    No documentation available.

  4. retractFBoundedLattice :: BoundedLattice a => FBoundedLattice a -> a

    lattices Algebra.Lattice.Free.Final

    No documentation available.

  5. promoteBoundedInstance :: OptionsMonad q => Name -> q [Dec]

    singletons-th Data.Singletons.TH

    Produce an instance for PBounded from the given type

  6. promoteBoundedInstances :: OptionsMonad q => [Name] -> q [Dec]

    singletons-th Data.Singletons.TH

    Produce instances for PBounded from the given types

  7. singBoundedInstance :: OptionsMonad q => Name -> q [Dec]

    singletons-th Data.Singletons.TH

    Create instance of SBounded for the given type

  8. singBoundedInstances :: OptionsMonad q => [Name] -> q [Dec]

    singletons-th Data.Singletons.TH

    Create instances of SBounded for the given types

  9. class UnboundedStream (i :: Type -> Type) (o :: Type -> Type) | i -> o

    stm-conduit Data.Conduit.Utils

    Class for structures that can handle unbounded stream of values. Such streams break conduit assumptions that constant memory will be used, because if receiver is slower then sender than values will be accumulated.

  10. pairBounded :: forall m (o :: Type -> Type) i a . (MonadIO m, IsConduit m o, BoundedStream i o) => i a -> Int -> m (ConduitT () a m (), ConduitT a Void m ())

    stm-conduit Data.Conduit.Utils

    Create bounded conduit pair, see BoundedStream class description.

Page 31 of many | Previous | Next