HORIZON HASKELLDocslts/ghc-10.0.xc62e4de2026-10-19Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c62e4de · 2026-10-19

Modulehnix-0.17.0Haskell2010

Nix.Type.Infer

  • 4 types
  • 1 value
  • Packagehnix-0.17.0
  • Exports5
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceInfer.hs
datadata TypeError
#

Constructors

Instances5Eq, Ord, Show, MonadError, MonadState
datadata InferError
#

Constructors

Instances5Show, Semigroup, Monoid, Exception, MonadError
newtypenewtype Subst
#

Substitution of the basic type definition by a type variable.

Constructors

Instances5Eq, Ord, Show, Semigroup, Monoid
  • Eq SubstDefined in hnix-0.17.0 · Nix.Type.Infer
  • Ord SubstDefined in hnix-0.17.0 · Nix.Type.Infer
  • Show SubstDefined in hnix-0.17.0 · Nix.Type.Infer
  • Semigroup SubstDefined in hnix-0.17.0 · Nix.Type.Infer
  • Monoid SubstDefined in hnix-0.17.0 · Nix.Type.Infer