Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
smartName :: Term DeBruijn uni DefaultFun () -> PrettyMonad s Text Source #
freshVarName :: PrettyMonad s Text Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
smartName :: Term DeBruijn uni DefaultFun () -> PrettyMonad s Text Source #
freshVarName :: PrettyMonad s Text Source #