Add renderTextDefault for GenericError

anoma · Feb 12, 2024 · 67baec3 · 67baec3
1 parent ff4db7e
commit 67baec3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Juvix/Data/Error/GenericError.hs b/src/Juvix/Data/Error/GenericError.hs
@@ -74,6 +74,9 @@ render ansi endChar err = do
 renderText :: (ToGenericError e, Member (Reader GenericOptions) r) => e -> Sem r Text
 renderText = render False False
 
+renderTextDefault :: (ToGenericError e) => e -> Text
+renderTextDefault = run . runReader defaultGenericOptions . renderText
+
 -- | Render the error with Ansi formatting (if any).
 renderAnsiText :: (ToGenericError e, Member (Reader GenericOptions) r) => e -> Sem r Text
 renderAnsiText = render True False