Dep.Class.Mergeable

Contents

Description

A module that defines three-value logic, for example used in thruth tables, Karnaugh cards, etc.

Synopsis

The `Mergeable` typeclass

A typeclass that specifies that it is sometimes possible to merge two values together into a new value.

Methods

Arguments

:: a	The first item to merge.
-> a	The second item to merge.
-> Maybe a	The result of the merge wrapped in a `Just`; `Nothing` if it is not possible to merge the two.

Try to merge two values into a new value. The result is wrapped in a Just if it is possible; otherwise Nothing is returned.

Instances details

Mergeable ThreeValue Source #
Instance details Defined in Dep.Data.ThreeValue Methods merge :: ThreeValue -> ThreeValue -> Maybe ThreeValue Source #
Mergeable (Maybe a) Source #
Instance details Defined in Dep.Class.Mergeable Methods merge :: Maybe a -> Maybe a -> Maybe (Maybe a) Source #

The Mergeable typeclass