HORIZON HASKELLDocslts/ghc-10.0.x2b276322026-10-31Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 2b27632 · 2026-10-31

Modulehnix-0.17.0Haskell2010

Nix.Type.Infer

Synopsis
  • Packagehnix-0.17.0
  • Exports5
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceInfer.hs
datadata TypeError
#
Instances5Eq, Ord, Show, MonadError, MonadState
datadata InferError
#
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