Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. msumFirst :: (MonoidalAlt f, Traversable t) => t (f a) -> f a

   invertible	Control.Invertible.Monoidal

   Fold a structure with >| (|<), thus always applying the input to the first (last) item for generation.

2. msumIndex :: MonoidalAlt f => [f ()] -> f Int

   invertible	Control.Invertible.Monoidal

   Try a list of monoidal actions in sequence, producing the index of the first successful action, and evaluating the action with the given index.

3. msumLast :: (MonoidalAlt f, Traversable t) => t (f a) -> f a

   invertible	Control.Invertible.Monoidal

   Fold a structure with >| (|<), thus always applying the input to the first (last) item for generation.

4. itemSummary :: Item -> Maybe Text

   json-feed	JsonFeed

   A plain text sentence or two describing the item. This might be presented in a timeline, for instance, where a detail view would display all of itemContentHtml or itemContentText.

5. data DSum (tag :: k -> Type) (f :: k -> Type)

   lambdabot-core	Lambdabot.Main

   A basic dependent sum type where the first component is a tag that specifies the type of the second. For example, think of a GADT such as:

   data Tag a where
   AString :: Tag String
   AnInt   :: Tag Int
   Rec     :: Tag (DSum Tag Identity)
   

   Then we can write expressions where the RHS of (:=>) has different types depending on the Tag constructor used. Here are some expressions of type DSum Tag Identity:

   AString :=> Identity "hello!"
   AnInt   :=> Identity 42
   

   Often, the f we choose has an Applicative instance, and we can use the helper function (==>). The following expressions all have the type Applicative f => DSum Tag f:

   AString ==> "hello!"
   AnInt   ==> 42
   

   We can write functions that consume DSum Tag f values by matching, such as:

   toString :: DSum Tag Identity -> String
   toString (AString :=> Identity str) = str
   toString (AnInt   :=> Identity int) = show int
   toString (Rec     :=> Identity sum) = toString sum
   

   The (:=>) constructor and (==>) helper are chosen to resemble the (key => value) construction for dictionary entries in many dynamic languages. The :=> and ==> operators have very low precedence and bind to the right, making repeated use of these operators behave as you'd expect:

   -- Parses as: Rec ==> (AnInt ==> (3 + 4))
   -- Has type: Applicative f => DSum Tag f
   Rec ==> AnInt ==> 3 + 4
   

   The precedence of these operators is just above that of $, so foo bar $ AString ==> "eep" is equivalent to foo bar (AString ==> "eep"). To use the Eq, Ord, Read, and Show instances for DSum tag f, you will need an ArgDict instance for your tag type. Use deriveArgDict from the constraints-extras package to generate this instance.

6. happyResume :: Int# -> L Token -> Happy_Int -> Happy_IntList -> HappyStk HappyAbsSyn -> P HappyAbsSyn

   language-c-quote	Language.C.Parser.Parser

   No documentation available.

7. prettyPrintChecksum :: Checksum -> Doc ann

   language-docker	Language.Docker.PrettyPrint

   No documentation available.

8. data Checksum

   language-docker	Language.Docker.Syntax

   No documentation available.

9. Checksum :: Text -> Checksum

   language-docker	Language.Docker.Syntax

   No documentation available.

10. NoChecksum :: Checksum

    language-docker	Language.Docker.Syntax

    No documentation available.

Page 216 of many | Previous | Next