Hoogle Search

Within LTS Haskell 24.48 (ghc-9.10.3)

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

Exact lookup

1. formatRealFloat :: RealFloat a => a -> Formatter

   vformat	Text.Format

   Formatter for RealFloat values

2. formatString :: String -> Formatter

   vformat	Text.Format

   Formatter for string values

3. formatWord :: (Integral a, Bounded a) => a -> Formatter

   vformat	Text.Format

   Formatter for Word values

4. format1QQ :: QuasiQuoter

   vformat	Text.Format.TH

   Same as formatQQ, but for Format1.

5. formatQQ :: QuasiQuoter

   vformat	Text.Format.TH

   A QuasiQuoter for Format with which you can write multi-line Format. Note: ">>>" after "[formatQQ|" means starting from the next line, "<<<" before "|]" means ending from the previous line.

   Example

   >>> :set -XTemplateHaskell
   
   >>> :set -XQuasiQuotes
   
   >>> import     Text.Format
   
   >>> import     Text.Format.TH
   
   >>> :{
   fmt1 :: Format
   fmt1 = [formatQQ|>>>
   first line {hi}
   newline {words}
   last line {bye}
   <<<|]
   fmt2 :: Format
   fmt2 = [formatQQ|first line {hi}
   newline {words}
   last line {bye}|]
   fmt3 :: Format
   fmt3 = "first line {hi}\nnewline {words}\nlast line {bye}"
   :}
   
   >>> format fmt1 ("hi" := "hi") ("words"  := "say something") ("bye" := "bye")
   "first line hi\nnewline say something\nlast line bye"
   
   >>> format fmt2 ("hi" := "hi") ("words"  := "say something") ("bye" := "bye")
   "first line hi\nnewline say something\nlast line bye"
   
   >>> format fmt3 ("hi" := "hi") ("words"  := "say something") ("bye" := "bye")
   "first line hi\nnewline say something\nlast line bye"
   

6. formatPathSegments :: Site url a -> url -> ([Text], [(Text, Maybe Text)])

   web-routes	Web.Routes.Site

   This function must be the inverse of parsePathSegments.

7. form :: Mod c -> View c () -> View c ()

   web-view	Web.View

   No documentation available.

8. form :: Mod c -> View c () -> View c ()

   web-view	Web.View.Element

   No documentation available.

9. forallQuantifiers :: forall t f . Functor f => (QuantifierInfoMap t -> f (QuantifierInfoMap t)) -> CollectedVarInfo t -> f (CollectedVarInfo t)

   what4	What4.Expr.VarIdentification

   Expressions appearing in the problem as existentially quantified when the problem is expressed in negation normal form. This is a map from the existential quantifier element to the info.

10. forallPred :: forall (tp :: BaseType) . IsSymExprBuilder sym => sym -> BoundVar sym tp -> Pred sym -> IO (Pred sym)

    what4	What4.Interface

    forallPred sym v e returns an expression that represents forall v . e. Throws a user error if bound var has already been used in a quantifier.

Page 147 of many | Previous | Next