| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Unison.PrettyPrintEnv.MonadPretty
Synopsis
- type MonadPretty v (m :: Type -> Type) = (Var v, MonadReader (Env v) m)
- data Env v = Env {
- boundTerms :: !(Set v)
- boundTypes :: !(Set v)
- freeTerms :: !(Set v)
- ppe :: !PrettyPrintEnv
- forceRawStrings :: !Bool
- runPretty :: Var v => PrettyPrintEnv -> Reader (Env v) a -> a
- runPrettyForDiff :: Var v => PrettyPrintEnv -> Reader (Env v) a -> a
- addTypeVars :: MonadPretty v m => [v] -> m a -> m a
- willCaptureType :: MonadPretty v m => [v] -> m Bool
- withBoundTerm :: MonadPretty v m => v -> m a -> m a
- withBoundTerms :: MonadPretty v m => [v] -> m a -> m a
Documentation
type MonadPretty v (m :: Type -> Type) = (Var v, MonadReader (Env v) m) Source #
Constructors
| Env | |
Fields
| |
Instances
runPrettyForDiff :: Var v => PrettyPrintEnv -> Reader (Env v) a -> a Source #
Like runPretty, but enables raw string rendering for multiline text.
This is useful for diff output where we want actual newlines for better diffing.
addTypeVars :: MonadPretty v m => [v] -> m a -> m a Source #
Add type variables to the set of variables that need to be avoided
willCaptureType :: MonadPretty v m => [v] -> m Bool Source #
Check if a list of type variables contains any variables that need to be avoided
withBoundTerm :: MonadPretty v m => v -> m a -> m a Source #
withBoundTerms :: MonadPretty v m => [v] -> m a -> m a Source #