Contents Index

Type.Error

Documentation

data Error

Constructors ErrorSanityCoreMissing eVarsMissing :: [String] ErrorUnifyCtorMismatch eCtor1 :: Type eTypeSource1 :: TypeSource eCtor2 :: Type eTypeSource2 :: TypeSource ErrorInfiniteTypeClassId eClassId :: ClassId ErrorInfiniteTypeGen eVar :: Var eClassIds :: [ClassId] eType :: Type eLoops :: [(Var, Type)] ErrorSigScheme eSig :: (Var, Type) eScheme :: (Var, Type) eClashSig :: Type eClashScheme :: Type ErrorSigEffects eSig :: (Var, Type) eScheme :: (Var, Type) eEffSig :: [Effect] eEffScheme :: [Effect] ErrorFieldNotPresent eField :: Var eConstructor :: Type ErrorAmbiguousProjection eField :: Var ErrorImpureTopLevelEffect eEff :: Effect eEffFunV :: Var eEffType :: Type ePureFunV :: Var ePureType :: Type ErrorMutabilityConflict eRegion :: Region eMutableFetter :: Fetter eMutableSource :: TypeSource eConstFetter :: Fetter eConstSource :: TypeSource ErrorMutabilityPureReadWrite eRegion :: Region eReadEff :: Effect eReadSource :: TypeSource ePureFetter :: Fetter ePureSource :: TypeSource eWriteEff :: Effect eWriteSource :: TypeSource Instances Pretty Error

selectSourceTS :: [TypeSource] -> TypeSource

prettyTypeConflict :: Type -> TypeSource -> PrettyP

prettyMConflictTS :: TypeSource -> PrettyP

prettyTSE :: TypeSource -> PrettyP

prettyTSP :: TypeSource -> PrettyP

getTSP :: TypeSource -> SourcePos

Produced by Haddock version 0.7