Documentation

data NameKind Source

data TypeDeclarationKind Source

data Environment Source

emptyEnvironment :: EnvironmentSource

data AnyUnifiable whereSource

data CheckState Source

newtype Check a Source

getEnv :: Check EnvironmentSource

putEnv :: Environment -> Check ()Source

modifyEnv :: (Environment -> Environment) -> Check ()Source

runCheck :: Check a -> Either String (a, Environment)Source

guardWith :: MonadError e m => e -> Bool -> m ()Source

rethrow :: MonadError e m => (e -> e) -> m a -> m aSource

withModule :: ProperName -> Check a -> Check aSource

newtype Substitution Source

data SubstState Source

newtype Subst m a Source

runSubst :: (Unifiable a, Monad m) => Subst m a -> m (a, Substitution, [AnyUnifiable])Source

substituteWith :: Typeable t => (Unknown t -> t) -> SubstitutionSource

substituteOne :: Unifiable t => Unknown t -> t -> SubstitutionSource

replace :: Unifiable t => Unknown t -> t -> Subst Check ()Source

class (Typeable t, Data t, Show t) => Unifiable t whereSource

occursCheck :: Unifiable t => Unknown s -> t -> Subst Check ()Source

fresh' :: Subst Check IntSource

fresh :: Unifiable t => Subst Check tSource

escapeCheckLater :: Unifiable t => t -> Subst Check ()Source