Contents Index

Type.Instantiate

Documentation

instantiateT :: Monad m => (Var -> m Var) -> Type -> m Type

instT :: Monad m => (?newVarInst :: Var -> m Var) -> (?bound :: [(Var, Var)]) -> Type -> m Type

instE :: Monad m => (?newVarInst :: Var -> m Var) -> (?bound :: [(Var, Var)]) -> Effect -> m Effect

Produced by Haddock version 0.7