Documentation

data NameKind Source

data TypeDeclarationKind Source

data Environment Source

emptyEnvironment :: EnvironmentSource

bindNames :: MonadState CheckState m => Map (ModulePath, Ident) (Type, NameKind) -> m a -> m aSource

bindLocalVariables :: (Functor m, MonadState CheckState m) => [(Ident, Type)] -> m a -> m aSource

lookupVariable :: (Functor m, MonadState CheckState m, MonadError String m) => Qualified Ident -> m TypeSource

data AnyUnifiable whereSource

data CheckState Source

newtype Check a Source

getEnv :: (Functor m, MonadState CheckState m) => m EnvironmentSource

putEnv :: MonadState CheckState m => Environment -> m ()Source

modifyEnv :: MonadState CheckState m => (Environment -> Environment) -> m ()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 a Source

liftCheck :: Check a -> Subst aSource

runSubst :: Unifiable a => Subst a -> Check (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 ()Source

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

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

fresh' :: Subst IntSource

fresh :: Unifiable t => Subst tSource

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