mirror of
https://github.com/github/semantic.git
synced 2024-11-24 08:54:07 +03:00
Organize imports, not using TokenizerEffs
This commit is contained in:
parent
1dc89961b2
commit
d42d02fe62
@ -7,7 +7,6 @@ module Reprinting.Tokenize
|
||||
, remark
|
||||
-- * The Reprinter monad
|
||||
, Tokenizer
|
||||
, TokenizerEffs
|
||||
, yield
|
||||
, control
|
||||
, within
|
||||
@ -22,20 +21,18 @@ module Reprinting.Tokenize
|
||||
import Prelude hiding (fail, log)
|
||||
import Prologue hiding (Element)
|
||||
|
||||
import Control.Rule
|
||||
import Control.Monad.Effect
|
||||
import Control.Monad.Effect.State
|
||||
import Control.Monad.Effect.Reader
|
||||
import Control.Monad.Effect.State
|
||||
import Control.Monad.Effect.Writer
|
||||
import Data.Sequence (singleton)
|
||||
import Lens.Micro
|
||||
|
||||
import Data.History
|
||||
import Data.Range
|
||||
import Data.Record
|
||||
import Data.Reprinting.Token
|
||||
import Data.Sequence (singleton)
|
||||
import Data.Source
|
||||
import Data.Term
|
||||
import Data.Reprinting.Token
|
||||
import Lens.Micro
|
||||
|
||||
-- | The 'Tokenizer' monad represents a context in which 'Control'
|
||||
-- tokens and 'Element' tokens can be sent to some downstream
|
||||
@ -43,8 +40,6 @@ import Data.Reprinting.Token
|
||||
-- typeclass.
|
||||
type Tokenizer = Eff '[Reader RPContext, State RPState, Writer (Seq Token)]
|
||||
|
||||
type TokenizerEffs = '[Reader RPContext, State RPState, Writer (Seq Token)]
|
||||
|
||||
-- | Yield an 'Element' token in a 'Tokenizer' context.
|
||||
yield :: Element -> Tokenizer ()
|
||||
yield = tell . singleton . TElement
|
||||
|
Loading…
Reference in New Issue
Block a user