Matterhorn.LastRunState

Documentation

data LastRunState

Run state of the program. This is saved in a file on program exit and | looked up from the file on program startup.

Instances

ToJSON LastRunState

Defined in Matterhorn.LastRunState

Methods

toJSON :: LastRunState -> Value

toEncoding :: LastRunState -> Encoding

toJSONList :: [LastRunState] -> Value

toEncodingList :: [LastRunState] -> Encoding

FromJSON LastRunState

Defined in Matterhorn.LastRunState

Methods

parseJSON :: Value -> Parser LastRunState

parseJSONList :: Value -> Parser [LastRunState]

lrsHost :: Lens' LastRunState Hostname

lrsPort :: Lens' LastRunState Port

lrsUserId :: Lens' LastRunState UserId

lrsSelectedChannelId :: Lens' LastRunState ChannelId

writeLastRunStates :: ChatState -> IO ()

Writes the run state to a file. The file is specific to the current team. | Writes only if the current channel is an ordrinary or a private channel.

readLastRunState :: TeamId -> IO (Either String LastRunState)

Reads the last run state from a file given the current team ID.

isValidLastRunState :: ChatResources -> User -> LastRunState -> Bool

Checks if the given last run state is valid for the current server and user.