Hoogle Search
Within LTS Haskell 24.28 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
module Control.Comonad.Trans.
Identity No documentation available.
newtype
IdentityT (f :: k -> Type) (a :: k)comonad Control.Comonad.Trans.Identity The trivial monad transformer, which maps a monad to an equivalent monad.
IdentityT :: f a -> IdentityT (f :: k -> Type) (a :: k)comonad Control.Comonad.Trans.Identity No documentation available.
module GHC.Builtin.PrimOps.
Ids PrimOp's Ids
IDIV :: Format -> Operand -> Instrghc GHC.CmmToAsm.X86.Instr No documentation available.
type
IdUnfoldingFun = Id -> Unfoldingghc GHC.Core No documentation available.
type
IdSubstEnv = IdEnv CoreExprghc GHC.Core.Subst A substitution of Exprs for non-coercion Ids
type
IdSubstEnv = IdEnv CoreExprghc GHC.Core.TyCo.Subst A substitution of Exprs for non-coercion Ids
type
IdSubstEnv = IdEnv CoreExprghc GHC.Core.Type A substitution of Exprs for non-coercion Ids
-
ghc GHC.Hs.Binds A type signature in generated code, notably the code generated for record selectors. We simply record the desired Id itself, replete with its name, type and IdDetails. Otherwise it's just like a type signature: there should be an accompanying binding