Safe Haskell | None |
---|
Documentation
data Environment Source
Environment | |
|
data AnyUnifiable whereSource
AnyUnifiable :: forall t. Unifiable t => t -> AnyUnifiable |
data CheckState Source
MonadState CheckState Check |
Check | |
|
putEnv :: Environment -> Check ()Source
modifyEnv :: (Environment -> Environment) -> Check ()Source
withModule :: ProperName -> Check a -> Check aSource
newtype Substitution Source
Substitution | |
|
data SubstState Source
Subst | |
|
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
class (Typeable t, Data t, Show t) => Unifiable t whereSource
escapeCheckLater :: Unifiable t => t -> Subst Check ()Source