Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. foreign_key_violation :: ByteString

   postgresql-typed	Database.PostgreSQL.Typed.ErrCodes

   FOREIGN_KEY_VIOLATION: 23503 (Error)

2. formatValue :: RationalConvertible a => FormatMode -> a -> (a, Maybe Unit)

   prefix-units	Data.Prefix.Units

   Computes the scaled value and unit for a given value

3. foreignOptionsToPurescript :: Maybe ForeignOptions -> Text

   purescript-bridge	Language.PureScript.Bridge.Printer

   No documentation available.

4. format :: Element t => String -> (t -> String) -> Matrix t -> String

   qchas	QC

   Creates a string from a matrix given a separator and a function to show each entry. Using this function the user can easily define any desired display function:

   import Text.Printf(printf)
   

   disp = putStr . format "  " (printf "%.2f")
   

5. forAllDL :: (DynLogicModel s, Testable a) => DL s () -> (Actions s -> a) -> Property

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic

   No documentation available.

6. forAllMappedDL :: (DynLogicModel s, Testable a) => (rep -> DynLogicTest s) -> (DynLogicTest s -> rep) -> (Actions s -> srep) -> DL s () -> (srep -> a) -> Property

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic

   No documentation available.

7. forAllNonVariableQ :: QuantifyConstraints (HasNoVariables a) => Quantification a -> DL s a

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic

   Generate a random value using the given Quantification (or list/tuple of quantifications). Generated values will only shrink to smaller values that could also have been generated.

8. forAllQ :: Quantifiable q => q -> DL s (Quantifies q)

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic

   Generate a random value using the given Quantification (or list/tuple of quantifications). Generated values will only shrink to smaller values that could also have been generated.

9. forAllUniqueDL :: (DynLogicModel s, Testable a) => Annotated s -> DL s () -> (Actions s -> a) -> Property

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic

   No documentation available.

10. forAllVar :: Typeable a => DL s (Var a)

    quickcheck-dynamic	Test.QuickCheck.DynamicLogic

    No documentation available.

Page 181 of many | Previous | Next