1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00

Relax need for Eff

This commit is contained in:
Timothy Clem 2018-08-20 09:03:23 -07:00
parent f98cda72cb
commit b9a3e3d254

View File

@ -5,21 +5,19 @@ module Reprinting.Typeset
import Prologue
import Control.Rule
import Data.Text.Prettyprint.Doc
import Reprinting.Translate
import Data.Machine
import Control.Monad.Effect (Eff)
import Data.Reprinting.Splice
import Data.Text.Prettyprint.Doc
typeset :: Seq Splice -> Doc a
typeset = foldMap step
typesetting :: ProcessT (Eff effs) Splice (Doc a)
typesetting :: Monad m => ProcessT m Splice (Doc a)
typesetting = auto step
step :: Splice -> Doc a
step (Directive Don't) = mempty
step (Original t) = pretty t
step (Original t ) = pretty t
step (Insert _ _ t) = pretty t
step (Directive SoftWrap) = softline
step (Directive (HardWrap 0 _)) = line