Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. allShow :: forall k w (t :: k) . AllConstraint Show w => w t -> String

   witness	Data.Type.Witness.General.AllConstraint

   No documentation available.

2. listProductShow :: forall w (t :: [Type]) . (forall a . () => w a -> Dict (Show a)) -> ListType w t -> Dict (Show (ListProduct t))

   witness	Data.Type.Witness.Specific.List.Product

   No documentation available.

3. listSumShow :: forall w (t :: [Type]) . (forall a . () => w a -> Dict (Show a)) -> ListType w t -> Dict (Show (ListSum t))

   witness	Data.Type.Witness.Specific.List.Sum

   No documentation available.

4. prettyShow :: Pretty a => Bool -> JSModuleStyle -> a -> String

   Agda	Agda.Compiler.JS.Pretty

   No documentation available.

5. Cmd_show_module_contents :: Rewrite -> InteractionId -> range -> String -> Interaction' range

   Agda	Agda.Interaction.Base

   Shows all the top-level names in the given module, along with their types. Uses the scope of the given goal.

6. Cmd_show_module_contents_toplevel :: Rewrite -> String -> Interaction' range

   Agda	Agda.Interaction.Base

   Shows all the top-level names in the given module, along with their types. Uses the top-level scope.

7. Cmd_show_version :: Interaction' range

   Agda	Agda.Interaction.Base

   Displays version of the running Agda

8. UseShowInstance :: ComputeMode

   Agda	Agda.Interaction.Base

   No documentation available.

9. _optShowGeneralized :: PragmaOptions -> WithDefault 'True

   Agda	Agda.Interaction.Options

   Show generalized parameters in Pi types

10. _optShowGeneralized :: PragmaOptions -> WithDefault 'True

    Agda	Agda.Interaction.Options

    Show generalized parameters in Pi types

Page 365 of many | Previous | Next