Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. idUnsinkName :: forall (n :: S) (o :: S) (o' :: S) . UnsinkName n n o o'

   free-foil	Control.Monad.Foil.Internal

   Trivial unsinking. If no scope extension took place, any name is free (since it cannot be bound by anything).

2. idWithNameBinderList :: forall (o :: S) (o' :: S) (r :: S) (n :: S) . DExt o o' => WithNameBinderList r n n o o'

   free-foil	Control.Monad.Foil.Internal

   Empty list of name binders (identity).

3. idWithRefreshedPattern :: forall (e :: S -> Type) (o :: S) (o' :: S) (n :: S) . (Sinkable e, DExt o o') => WithRefreshedPattern e n n o o'

   free-foil	Control.Monad.Foil.Internal

   Trivial substitution (coercion via sink).

4. idWithRefreshedPattern' :: forall (e :: S -> Type) (o :: S) (o' :: S) (n :: S) . (Sinkable e, DExt o o') => WithRefreshedPattern' e n n o o'

   free-foil	Control.Monad.Foil.Internal

   Trivial substitution extension (coercion via sink).

5. identitySubst :: forall (e :: S -> Type) (i :: S) . InjectName e => Substitution e i i

   free-foil	Control.Monad.Foil.Internal

   Identity substitution maps all names to expresion-variables.

6. idempotent :: forall (p :: k1) . Idempotent c => Proof (c p p == p)

   gdp	Logic.Classes

   No documentation available.

7. identityMatrix :: Render ()

   gi-cairo-render	GI.Cairo.Render

   Resets the current transformation matrix (CTM) by setting it equal to the identity matrix. That is, the user-space and device-space axes will be aligned and one user-space unit will transform to one device-space unit.

8. identity :: Matrix

   gi-cairo-render	GI.Cairo.Render.Matrix

   No documentation available.

9. identity_extern_uid :: Identity -> Text

   gitlab-haskell	GitLab.Types

   No documentation available.

10. identity_provider :: Identity -> Text

    gitlab-haskell	GitLab.Types

    No documentation available.

Page 318 of many | Previous | Next