Hoogle Search

Within LTS Haskell 24.42 (ghc-9.10.3)

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

  1. allocBytesToElemCount :: Unbox a => a -> Int -> Int

    streamly-core Streamly.Internal.Data.MutArray

    Given an Unboxed type (unused first arg) and real allocation size (including overhead), return how many elements of that type will completely fit in it, returns at least 1.

  2. allArgs :: forall (m :: Type -> Type) . Monad m => ReaderT Arguments (MP m) [Val]

    typst Typst.Util

    No documentation available.

  3. allPrefixes :: Q [Name]

    units Data.Metrology.Parser

    Gets a list of the names of all unit prefixes with Show instances in scope. Example usage: 

    $( do units    <- allUnits
prefixes <- allPrefixes
makeQuasiQuoter "unit" prefixes units )

  4. allUnits :: Q [Name]

    units Data.Metrology.Parser

    Gets a list of the names of all units with Show instances in scope. Example usage: 

    $( do units <- allUnits
makeQuasiQuoter "unit" [] units )

  5. allTrueEntries :: forall (idx :: Ctx BaseType) . IsExprBuilder sym => sym -> SymArray sym idx BaseBoolType -> IO (Pred sym)

    what4 What4.Interface

    Return true if all entries in the array are true.

  6. allSupported :: Logic

    what4 What4.Protocol.SMTLib2

    Deprecated: Use allLogic instead

  7. all_supported :: Logic

    what4 What4.Protocol.SMTLib2

    Deprecated: Use allLogic instead

  8. allLogic :: Logic

    what4 What4.Protocol.SMTLib2.Syntax

    Set the logic to all supported logics.

  9. allSupported :: Logic

    what4 What4.Protocol.SMTLib2.Syntax

    Deprecated: Use allLogic instead

  10. allConstraint :: forall (t :: kt) . AllConstraint c w => Dict (c (w t))

    witness Data.Type.Witness.General.AllConstraint

    No documentation available.

Page 121 of many | Previous | Next