Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

  1. idExtendScope :: forall (n :: S) (o :: S) (o' :: S) . ExtendScope n n o o'

    free-foil Control.Monad.Foil.Internal

    Identity scope extension (no extension).

  2. idNamesOf :: forall (n :: S) (o :: S) (o' :: S) . NamesOf n n o o'

    free-foil Control.Monad.Foil.Internal

    Empty list of names in scope n.

  3. 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).

  4. 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).

  5. 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).

  6. 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).

  7. 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.

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

    gdp Logic.Classes

    No documentation available.

  9. 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.

  10. identity :: Matrix

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

    No documentation available.

Page 318 of many | Previous | Next