trial-0.0.0.0: Trial Data Structure

# trial-0.0.0.0: Trial Data Structure

The `Trial` Data Structure is a `Either`-like structure that keeps events history inside. The data type allows to keep track of the `Fatality` level of each such event entry (`Warning` or `Error`).

    data Trial e a
               │ │
               │ ╰╴Resulting type
               │
               ╰╴An error item type

        -- | Unsuccessful case
        = Fiasco (DList (Fatality, e))
                  │      │         │
                  │      │         ╰╴One error item
                  │      │
                  │      ╰╴Level of damage
                  │
                  ╰╴Efficient list-container for error type items

        -- | Successful case
        | Result (DList e) a
                  │     │  │
                  │     │  ╰╴Result
                  │     │
                  │     ╰╴One warning item
                  │
                  ╰╴Efficient list-container for warning type items

Modules

trial-0.0.0.0

- Trial