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. _TimeShow :: Parser ()

   dhall	Dhall.Parser.Token

   Parse the Time/show built-in This corresponds to the Time-show rule from the official grammar

2. _TimeZoneShow :: Parser ()

   dhall	Dhall.Parser.Token

   Parse the TimeZone/show built-in This corresponds to the TimeZone-show rule from the official grammar

3. _showConstructor :: Parser ()

   dhall	Dhall.Parser.Token

   Parse the showConstructor keyword This corresponds to the showConstructor rule from the official grammar

4. explicitShow :: forall (n :: Nat) . Fin n -> String

   fin	Data.Fin

   show displaying a structure of Fin.

   >>> explicitShow (0 :: Fin N.Nat1)
   "FZ"
   

   >>> explicitShow (2 :: Fin N.Nat3)
   "FS (FS FZ)"
   

5. explicitShowsPrec :: forall (n :: Nat) . Int -> Fin n -> ShowS

   fin	Data.Fin

   showsPrec displaying a structure of Fin.

6. explicitShow :: Nat -> String

   fin	Data.Nat

   show displaying a structure of Nat.

   >>> explicitShow 0
   "Z"
   

   >>> explicitShow 2
   "S (S Z)"
   

7. explicitShowsPrec :: Int -> Nat -> ShowS

   fin	Data.Nat

   showsPrec displaying a structure of Nat.

8. explicitShow :: Nat -> String

   fin	Data.Type.Nat

   show displaying a structure of Nat.

   >>> explicitShow 0
   "Z"
   

   >>> explicitShow 2
   "S (S Z)"
   

9. explicitShowsPrec :: Int -> Nat -> ShowS

   fin	Data.Type.Nat

   showsPrec displaying a structure of Nat.

10. type GShow1 = GShow Identity

    generic-data	Generic.Data

    Generic representation of Show1 types.

Page 284 of many | Previous | Next