Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. type PropertyMap a b = Map a Seq b

   tree-fun	Math.TreeFun.Types

   No documentation available.

2. data PropertySuperTree a b

   tree-fun	Math.TreeFun.Types

   No documentation available.

3. PropertySuperTree :: !Tree (SuperNode a) -> !PropertyMap a b -> PropertySuperTree a b

   tree-fun	Math.TreeFun.Types

   No documentation available.

4. data Place

   twitter-types	Web.Twitter.Types

   This type represents a place, named locations with corresponding geo coordinates. See https://dev.twitter.com/docs/platform-objects/places.

5. Place :: HashMap Text Text -> Maybe BoundingBox -> Text -> Text -> Text -> Text -> Text -> Text -> Text -> Place

   twitter-types	Web.Twitter.Types

   No documentation available.

6. module TypeFun.Data.Peano

   No documentation available.

7. data Proxy (t :: k)

   type-hint	Type.Hint

   Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one). Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom.

   >>> Proxy :: Proxy (Void, Int -> Int)
   Proxy
   

   Proxy can even hold types of higher kinds,

   >>> Proxy :: Proxy Either
   Proxy
   

   >>> Proxy :: Proxy Functor
   Proxy
   

   >>> Proxy :: Proxy complicatedStructure
   Proxy
   

8. Proxy :: Proxy (t :: k)

   type-hint	Type.Hint

   No documentation available.

9. type PDoc = Doc Symbol

   type-level-show	TypeLevelShow.Doc

   Promoted Doc.

10. type Pred (n :: Natural) = n - 1

    type-natural	Data.Type.Natural

    No documentation available.

Page 1067 of many | Previous | Next