wgaffa/ffxwt - Change JQ7UT7FELK3N6YWOMHTSGUA6AWRLVFTG3PT5MBZPLGVTLAAGQQRQC

Able to add new Primers and save to file

Created by wgaffa on February 19, 2023

JQ7UT7FELK3N6YWOMHTSGUA6AWRLVFTG3PT5MBZPLGVTLAAGQQRQC

Dependencies

In channels

main

Change contents

Insertion in app/Main.hs at line 14 [5.1294]

[2.363]

[4.120]

import qualified Data.Text.IO                   as TextIO
import qualified Data.Text.Lazy                 as Text

Replacement in app/Main.hs at line 30 [5.1294]

B:BD[6.243] → [6.243:300]

B:BD[6.300] → [7.0:63]

∅:D[7.63] → [4.298:357]

B:BD[4.298] → [4.298:357]

import           AlBhed                         (Primer)
import           AlBhed.Index                   (Index, toDoc)
import           Data.JSON                      (fromJson)

[6.243]

[2.664]

import           AlBhed                         (Primer (..))
import           AlBhed.Index                   (Index, addLocation, toDoc)
import           Data.JSON                      (fromJson, toJson)

Replacement in app/Main.hs at line 63 [5.1294]

∅:D[4.636] → [6.890:1051]

B:BD[6.890] → [6.890:1051]

primerDispatch (Primer.Add vol loc)         = undefined
primerDispatch (Primer.New vol from to loc) = undefined
primerDispatch Primer.List                  = do

[4.636]

[6.1051]

primerDispatch command = do

Replacement in app/Main.hs at line 66 [5.1294]

∅:D[3.25] → [7.64:101]

B:BD[6.1096] → [7.64:101]

    liftIO . print . toDoc $ primers

[3.25]

[6.1123]

    case command of
        (Primer.Add vol loc) -> undefined
        (Primer.New vol from to loc) ->
            let index = addLocation (Primer vol from to) loc primers
                in saveIndex index
        Primer.List -> liftIO . print . toDoc $ primers

Insertion in app/Main.hs at line 75 [5.1294]

[4.661]

[3.26]

saveIndex :: Index -> App ()
saveIndex index = do
    config <- ask
    let filename = Options.fromRun $  Options.dataFile config
    liftIO $ withFile filename WriteMode
        (\handle -> let json = toJson index in TextIO.hPutStr handle $ Text.toStrict json)