| ||||
| ||||
| Documentation | ||||
| transVarT :: (Var -> Var) -> Type -> Type | ||||
| transVarE :: (Var -> Var) -> Effect -> Effect | ||||
| transVarR :: (Var -> Var) -> Region -> Region | ||||
| transVarN :: (Var -> Var) -> Env -> Env | ||||
| transVarF :: (Var -> Var) -> Fetter -> Fetter | ||||
| Produced by Haddock version 0.7 |