| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Journal
Description
A journal can be used (when running under the ExprTest service) to set points and affect evaluation environment.
Synopsis
- data JournalSink = NullSink
- getJournalSinkFd :: Fd -> IO JournalSink
- class ToJSON e => JournalMsg e where
- journal :: JournalSink -> e -> IO ()
- data Points = Points {}
Journal Sinks
data JournalSink #
A journal is either NullSink (journalling does nothing) or is a sing
created with getJournalSinkFd.
Constructors
| NullSink |
getJournalSinkFd :: Fd -> IO JournalSink #
Get a JournalSink from a file descriptor. Journalling to aprropriate
file descriptor provided by ExprTest service allows you to control evaluation
environment and assing points.
class ToJSON e => JournalMsg e where #
Minimal complete definition
Nothing
Instances
| JournalMsg Points # | |
Defined in Test.Journal Methods journal :: JournalSink -> Points -> IO () # | |
Journal Entries
Used for assigning points.
Instances
| FromJSON Points # | |
Defined in Test.Journal | |
| ToJSON Points # | |
Defined in Test.Journal Methods toEncoding :: Points -> Encoding toJSONList :: [Points] -> Value toEncodingList :: [Points] -> Encoding | |
| Show Points # | |
| Eq Points # | |
| JournalMsg Points # | |
Defined in Test.Journal Methods journal :: JournalSink -> Points -> IO () # | |