2017-03-31 19:58:17 +03:00
|
|
|
{-# LANGUAGE GADTs #-}
|
2017-03-31 18:52:51 +03:00
|
|
|
module Command
|
|
|
|
|
( module C
|
|
|
|
|
) where
|
|
|
|
|
|
|
|
|
|
import Command.Diff as C
|
|
|
|
|
import Command.Parse as C
|
2017-03-31 19:58:17 +03:00
|
|
|
import Control.Monad.Free.Freer
|
|
|
|
|
import Prologue
|
|
|
|
|
import Source
|
|
|
|
|
|
|
|
|
|
data CommandF f where
|
|
|
|
|
ReadFile :: FilePath -> CommandF SourceBlob
|
|
|
|
|
|
|
|
|
|
type Command = Freer CommandF
|
2017-03-31 19:58:27 +03:00
|
|
|
|
|
|
|
|
runCommand :: Command a -> IO a
|
|
|
|
|
runCommand = iterFreerA $ \ command yield -> case command of
|
|
|
|
|
ReadFile path -> do
|
|
|
|
|
source <- readAndTranscodeFile path
|
|
|
|
|
yield (sourceBlob source path)
|
