Hoogle Search

Within LTS Haskell 24.58 (ghc-9.10.3)

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

  1. setQueueHead :: MonadIO m => Queue -> Ptr (GList (Ptr ())) -> m ()

    gi-glib GI.GLib.Structs.Queue

    Set the value of the “head” field. When overloading is enabled, this is equivalent to 

    set queue [ #head := value ]

  2. type ValidationCacheAddCallback = ServiceID -> Fingerprint -> Certificate -> IO ()

    tls Network.TLS

    Validation cache callback type

  3. cacheAdd :: ValidationCache -> ValidationCacheAddCallback

    tls Network.TLS

    cache adding callback

  4. data ModuleHeadAndImports l

    haskell-src-exts Language.Haskell.Exts.Parser

    No documentation available.

  5. ModuleHeadAndImports :: l -> [ModulePragma l] -> Maybe (ModuleHead l) -> [ImportDecl l] -> ModuleHeadAndImports l

    haskell-src-exts Language.Haskell.Exts.Parser

    No documentation available.

  6. data PragmasAndModuleHead l

    haskell-src-exts Language.Haskell.Exts.Parser

    No documentation available.

  7. PragmasAndModuleHead :: l -> [ModulePragma l] -> Maybe (ModuleHead l) -> PragmasAndModuleHead l

    haskell-src-exts Language.Haskell.Exts.Parser

    No documentation available.

  8. DHead :: l -> Name l -> DeclHead l

    haskell-src-exts Language.Haskell.Exts.Syntax

    type or class name

  9. data DeclHead l

    haskell-src-exts Language.Haskell.Exts.Syntax

    The head of a type or class declaration, which consists of the type or class name applied to some type variables class C a b is represented as 

    DHApp
()
(DHApp
() (DHead () (Ident () "C")) (UnkindedVar () (Ident () "a")))
(UnkindedVar () (Ident () "b"))
    (where the annotation type l is instantiated with ()) class (a :< b) c is represented as 
    DHApp
()
(DHParen
()
(DHApp
()
(DHInfix () (UnkindedVar () (Ident () "a")) (Symbol () ":<"))
(UnkindedVar () (Ident () "b"))))
(UnkindedVar () (Ident () "c"))

  10. data InstHead l

    haskell-src-exts Language.Haskell.Exts.Syntax

    The instance head. The split between rule/head allow us to represent instance (Bounded a => Bounded [a]) where faithfully. The structure of InstHead follows one of DeclHead. For example, instance C (Maybe a) Int where is represented as 

    IHApp
()
(IHApp
()
(IHCon () (UnQual () (Ident () "C")))
(TyParen
()
(TyApp
()
(TyCon () (UnQual () (Ident () "Maybe")))
(TyVar () (Ident () "a")))))
(TyCon () (UnQual () (Ident () "Int")))))

Page 172 of many | Previous | Next