Safe Haskell | None |
---|
Documentation
data Environment Source
Environment | |
|
bindNames :: MonadState CheckState m => Map (ModuleName, Ident) (Type, NameKind) -> m a -> m aSource
bindTypes :: MonadState CheckState m => Map (ModuleName, ProperName) (Kind, TypeDeclarationKind) -> m a -> m aSource
bindLocalVariables :: (Functor m, MonadState CheckState m) => ModuleName -> [(Ident, Type)] -> m a -> m aSource
bindLocalTypeVariables :: (Functor m, MonadState CheckState m) => ModuleName -> [(ProperName, Kind)] -> m a -> m aSource
lookupVariable :: (Functor m, MonadState CheckState m, MonadError String m) => ModuleName -> Qualified Ident -> m TypeSource
lookupTypeVariable :: (Functor m, MonadState CheckState m, MonadError String m) => ModuleName -> Qualified ProperName -> m KindSource
data AnyUnifiable whereSource
AnyUnifiable :: forall t. Unifiable t => t -> AnyUnifiable |
data CheckState Source
getEnv :: (Functor m, MonadState CheckState m) => m EnvironmentSource
putEnv :: MonadState CheckState m => Environment -> m ()Source
modifyEnv :: MonadState CheckState m => (Environment -> Environment) -> m ()Source
guardWith :: MonadError e m => e -> Bool -> m ()Source
rethrow :: MonadError e m => (e -> e) -> m a -> m aSource
newtype Substitution Source
Substitution | |
|
data SubstState Source
newtype SubstContext Source
Subst | |
|
runSubst :: Unifiable a => SubstContext -> Subst a -> Check (a, Substitution, [AnyUnifiable])Source
substituteWith :: Typeable t => (Unknown t -> t) -> SubstitutionSource
substituteOne :: Unifiable t => Unknown t -> t -> SubstitutionSource
class (Typeable t, Data t, Show t) => Unifiable t whereSource
occursCheck :: Unifiable t => Unknown s -> t -> Subst ()Source
escapeCheckLater :: Unifiable t => t -> Subst ()Source