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. format1QQ :: QuasiQuoter

   vformat	Text.Format.TH

   Same as formatQQ, but for Format1.

2. 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"
   

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

   web-routes	Web.Routes.Site

   This function must be the inverse of parsePathSegments.

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

   web-view	Web.View

   No documentation available.

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

   web-view	Web.View.Element

   No documentation available.

6. 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.

7. 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.

8. forall_ :: [(Text, Sort)] -> Term -> Term

   what4	What4.Protocol.SMTLib2.Syntax

   forall_ vars t denotes a predicate that holds if t for every valuation of the variables in vars.

9. forallExpr :: SMTWriter h => [(Text, Some TypeMap)] -> Term h -> Term h

   what4	What4.Protocol.SMTWriter

   Create a forall expression

10. forgetModelAndCore :: SatResult a b -> SatResult () ()

    what4	What4.SatResult

    No documentation available.

Page 147 of many | Previous | Next