unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-25 09:17:27 +03:00
Code Issues Projects Releases Wiki Activity

DFOs now JSON serializable

Browse Source
This commit is contained in:
Paul Chiusano 2015-09-30 16:27:33 -04:00
parent 83c7db40f5
commit cf18f9bcad
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
shared/src/Unison/View.hs
View File

@ -1,7 +1,9 @@
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
module Unison.View where
import Data.Aeson.TH
import Data.String (IsString(..))
import Data.Text (Text)
import Unison.Doc (Doc)
@ -136,3 +138,10 @@ instantiate op opP name args | arity op == length args =
g (Just (Arg 0)) = opP
g (Just (Arg i)) = snd $ args !! (i - 1)
instantiate _ _ _ _ = Nothing
-- boring serialization code
deriveJSON defaultOptions ''Precedence
deriveJSON defaultOptions ''Var
deriveJSON defaultOptions ''Segment
deriveJSON defaultOptions ''DFO