[Haskell-cafe] Need ideas how to model the lack of something

Tillmann Rendel rendel at informatik.uni-tuebingen.de
Thu Dec 17 16:13:40 UTC 2015


martin wrote:
> I started like this
> data C a = C {
>              insert :: a -> Maybe (C a),
>              remove :: Maybe (a, C a)
>          }
> but I could not implement anything sensible on top of this.

Looks reasonable to me. What do you want to implement on top of it?

For starters, here are three values of this type:

stack ::

More information about the Haskell-Cafe mailing list