diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-04-18 13:54:16 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-04-18 14:04:42 -0400 |
commit | ccdb5a3c6a28cc6745d337bdb67e62d70216ef7e (patch) | |
tree | 1a63fac950bf66bba59812d8e2f6b66aa1a05c63 /Types.hs | |
parent | 88a9ce01d153ad609aa02084de0a93448c29cba4 (diff) | |
download | debug-me-ccdb5a3c6a28cc6745d337bdb67e62d70216ef7e.tar.gz |
refactor out Log
Diffstat (limited to 'Types.hs')
-rw-r--r-- | Types.hs | 28 |
1 files changed, 0 insertions, 28 deletions
@@ -16,7 +16,6 @@ import Val import GHC.Generics (Generic) import Data.Aeson import qualified Data.Aeson.Types as Aeson -import Data.Time.Clock.POSIX -- | Things that the developer sees. data Seen = Seen @@ -52,25 +51,6 @@ data Activity a = Activity } deriving (Show, Generic) -data SomeActivity - = ActivitySeen (Activity Seen) - | ActivityEntered (Activity Entered) - deriving (Show, Generic) - --- | A log of Activity both Entered and Seen, which can be recorded to --- prove what happened in a debug-me session. --- --- Note that the time stamp is included to allow replaying logs, but --- it's not part of the provable session. -data ActivityLog = ActivityLog - { loggedActivity :: SomeActivity - , loggedHash :: Hash - , loggedTimestamp :: Timestamp - } - deriving (Show, Generic) - -type Timestamp = POSIXTime - newtype Signature = Signature Val deriving (Show, Generic) @@ -93,8 +73,6 @@ instance ToJSON (Activity Seen) instance FromJSON (Activity Seen) instance ToJSON (Activity Entered) instance FromJSON (Activity Entered) -instance ToJSON (ActivityLog) -instance FromJSON (ActivityLog) instance ToJSON Signature instance FromJSON Signature instance ToJSON Hash @@ -117,9 +95,3 @@ instance ToJSON (Proto Entered) where toEncoding = genericToEncoding sumOptions instance FromJSON (Proto Entered) where parseJSON = genericParseJSON sumOptions - -instance ToJSON SomeActivity where - toJSON = genericToJSON sumOptions - toEncoding = genericToEncoding sumOptions -instance FromJSON SomeActivity where - parseJSON = genericParseJSON sumOptions |