Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

  1. identity :: Ix a => ((a, a), (a, a)) -> Relation a a

    ersatz Ersatz.Relation

    Constructs the identity relation <math>.

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

    free-foil Control.Monad.Foil

    Identity substitution maps all names to expresion-variables.

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

    free-foil Control.Monad.Foil.Internal

    Identity scope extension (no extension).

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

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

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

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

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

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

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

    gdp Logic.Classes

    No documentation available.

Page 317 of many | Previous | Next